GB/T 30880-2014
Информационные технологии. Common Logic (CL): основа для семейства логических языков. (Англоязычная версия)

Стандартный №

GB/T 30880-2014

язык

Китайский, Доступно на английском

Дата публикации

2014

Разместил

General Administration of Quality Supervision, Inspection and Quarantine of the People‘s Republic of China

Последняя версия

GB/T 30880-2014

сфера применения

Этот стандарт определяет семейство логических языков, используемых для представления и обмена данными и информацией между различными компьютерными системами. Следующие особенности имеют решающее значение для разработки этого стандарта: 　——язык в семье имеет общедоступную семантику, и значение этих выражений можно понять без помощи переводчика, выполняющего выражения на языке; 　——язык семейства логически всеобъемлющий и может определять выражения для произвольных логических предложений первого порядка; 　——Обмен информацией между разнородными компьютерными системами. В сферу применения настоящего стандарта входят: 　——представление информации в онтологиях и базах знаний; 　——спецификация входных или выходных выражений для механизмов вывода; 　——формальная интерпретация символов в языках. Следующее содержание выходит за рамки настоящего стандарта: 　——спецификация теории доказательства и правил вывода; 　——спецификация трансляторов между символами гетерогенных компьютерных систем; Компьютерное манипулирование отношениями. Этот международный стандарт дает синтаксис и семантику общей логики. Настоящий международный стандарт определяет абстрактный синтаксис общей логики и определяет семантику связанного теоретизирования модели для конкретных расширений логики первого порядка. Его цель состоит в том, чтобы содержание любой системы, использующей логику первого порядка, могло быть выражено в этом стандарте, тем самым облегчая обмен информацией, основанный на логике первого порядка, между системами. Этот стандарт не рассматривает вопросы, связанные с вычислительной мощностью (такие как эффективность, оптимизация и т. д.).

GB/T 30880-2014 Ссылочный документ

• GB 13000-2010 Информационные технологии. Универсальный набор символов с многооктетной кодировкой (UCS)
• GB/T 5271.15-2008 Информационные технологии.Словарь.Часть 15:Языки программирования.
• ISO/IEC 14977:1996 Информационные технологии. Синтаксический метаязык. Расширенный BNF.

GB/T 30880-2014 История

• 2014 GB/T 30880-2014 Информационные технологии. Common Logic (CL): основа для семейства логических языков.