ГОСТ Р 59791—2021
Н А Ц И О Н А Л Ь Н Ы ЙС Т А Н Д А Р ТР О С С И Й С К О ЙФ Е Д Е Р А Ц И И
Информационные технологии
ОБЩАЯ ЛОГИКА (CL)
Основы семейства языков, основанных на логике
Information technology. Common Logic (CL). A framework for a family of logic-based languages
Дата введения — 2022— 04— 30
1 Область применения
В настоящем стандарте описано семейство логических языков, разработанных для представле
ния информации и данных и обмена ими между разнородными компьютерными системами.
Следующие особенности имеют особую важность для построения настоящего стандарта:
- языки в семье имеют декларативную семантику. Благодаря этому можно понять значение выра
жений на этих языках, не используя интерпретатор для обработки таких выражений;
- языки в семье логически всесторонни — в самом общем виде они обеспечивают выражение про
извольных логических высказываний первого порядка;
- языки можно перевести с сохранением семантики в общий синтаксис на основе XML, что облег
чает обмен информацией между разнородными компьютерными системами.
В область применения настоящего стандарта входят следующие вопросы:
- представление информации в онтологиях и базах знаний;
- описание выражений, которые вводят в машины логического вывода или выводят из них;
- формальные интерпретации символов, выраженных с помощью языка.
Нижеследующее выходит за рамки настоящего стандарта:
- описание теории доказательств или правил вывода;
- описание переводчиков между обозначениями разнородных компьютерных систем;
- компьютерные операционные методы формирования отношений между символами в логиче
ской «вселенной дискурса» и людьми в «реальном мире».
В настоящем стандарте описаны синтаксис и семантика CL.
В настоящем стандарте также приведено определение абстрактного синтаксиса и связанной с
ним теоретико-модельной семантики для специфичного расширения логики первого порядка. Цель со
стоит в том, чтобы представить содержимое любой системы, использующей логику первого порядка.
Назначение настоящего стандарта — упростить обмен логической информацией первого порядка меж
ду системами.
Вопросы, касающиеся вычислимости, не рассматриваются в настоящем стандарте (включая эф
фективность, оптимизацию и т. д.).
2 Нормативные ссылки
В настоящем стандарте использована нормативная ссылка на следующий стандарт:
ГОСТ 33707— 2016 (ISO/IEC 2382:2015) Информационные технологии. Словарь
П р и м е ч а н и е — При пользовании настоящим стандартом целесообразно проверить действие ссылочных
стандартов в информационной системе общего пользования — на официальном сайте Федерального агентства по
Издание официальное
1