Настоящий международный стандарт определяет семейство логических языков, предназначенных для использования при представлении и обмене информацией и данными между разрозненными компьютерными системами. Следующие особенности являются существенными для разработки настоящего международного стандарта:
•Языки семейства имеют декларативную семантику. Можно понять значение выражений на этих языках, не обращаясь к переводчику для работы с этими выражениями. • Языки этой семьи логически всеобъемлющи — в самом общем виде они обеспечивают выражение произвольных логических предложений первого порядка. • Обмен информацией между гетерогенными компьютерными системами. В сферу применения настоящего международного стандарта входят:
•представление информации в онтологиях и базах знаний;
•спецификация выражений, которые являются входными или выходными данными механизмов вывода;
•формальные интерпретации символов языка. Следующие вопросы выходят за рамки настоящего международного стандарта:
•спецификация теории доказательства или правил вывода;
•спецификация трансляторов между обозначениями гетерогенных компьютерных систем;
•компьютерные операционные методы обеспечения отношений между символами в логической «универсуме дискурса» и индивидами в «реальном мире». Этот международный стандарт описывает синтаксис и семантику Common Logic. Он определяет абстрактный синтаксис и связанную с ним теоретико-модельную семантику для конкретного расширения логики первого порядка. Целью является то, что содержание любой системы, использующей логику первого порядка, может быть представлено в этом международном стандарте. Цель состоит в том, чтобы облегчить обмен логической информацией первого порядка между системами. Проблемы, связанные с вычислимостью с использованием настоящего международного стандарта (эффективность, оптимизация и т. д.), не рассматриваются.
ISO/IEC 24707:2007 История
2018ISO/IEC 24707:2018 Информационные технологии — Common Logic (CL) — основа для семейства логических языков.
2007ISO/IEC 24707:2007 Информационные технологии - Common Logic (CL): основа для семейства логических языков.