Информационные технологии
Общая логика (CL)
Основы семейства языков, основанных на логике Information technology
Common Logic (CL)
Aframework for a family of logic-based languages (В настоящем стандарте описано семейство логических языков, разработанных для представления информации и данных и обмена ими между разнородными компьютерными системами
Следующие особенности имеют особую важность для построения настоящего стандарта:
языки в семье имеют декларативную семантику
Благодаря этому можно понять значение выражений на этих языках, не используя интерпретатор для обработки таких выражений;
языки в семье логически всесторонни — в самом общем виде они обеспечивают выражение произвольных логических высказываний первого порядка;
языки можно перевести с сохранением семантики в общий синтаксис на основе XML, что облегчает обмен информацией между разнородными компьютерными системами
В область применения настоящего стандарта входят следующие вопросы:
представление информации в онтологиях и базах знаний;
описание выражений, которые вводят в машины логического вывода или выводят из них;
формальные интерпретации символов, выраженных с помощью языка
Нижеследующее выходит за рамки настоящего стандарта:
описание теории доказательств или правил вывода;
описание переводчиков между обозначениями разнородных компьютерных систем;
компьютерные операционные методы формирования отношений между символами в логической «вселенной дискурса» и людьми в «реальном мире»
В настоящем стандарте описаны синтаксис и семантика CL
В настоящем стандарте также приведено определение абстрактного синтаксиса и связанной с ним теоретико-модельной семантики для специфичного расширения логики первого порядка
Цель состоит в том, чтобы представить содержимое любой системы, использующей логику первого порядка
Назначение настоящего стандарта — упростить обмен логической информацией первого порядка между системами
Вопросы, касающиеся вычислимости, не рассматриваются в настоящем стандарте (включая эффективность, оптимизацию и т
д