Общая логика - Common Logic

Общая логика (CL) представляет собой основу для семейства логические языки, на основе логика первого порядка, предназначенные для облегчения обмена и передачи знания в компьютер -системы.[1]

Определение CL разрешает и поощряет разработку множества различных синтаксических форм, называемых диалекты. Диалект может использовать любой желаемый синтаксис, но должна быть возможность точно продемонстрировать, как конкретный синтаксис диалекта соответствует абстрактной семантике CL, которая основана на теоретической интерпретации модели. Тогда каждый диалект можно рассматривать как формальный язык. Как только синтаксическое соответствие установлено, диалект получает семантику CL бесплатно, поскольку они определены только относительно абстрактного синтаксиса и, следовательно, наследуются любым совместимым диалектом. Кроме того, все диалекты CL эквивалентны (т. Е. Могут автоматически переводиться друг на друга), хотя некоторые из них могут быть более выразительными, чем другие.

В общем, менее выразительное подмножество CL может быть переведено в более выразительную версию CL, но обратный перевод определен только на подмножестве более крупного языка.

Стандарт ISO

Common Logic издается ISO как «ISO / IEC 24707: 2007 - Информационные технологии - Общая логика (CL): структура для семейства языков, основанных на логике».[2] Его можно приобрести в каталоге ISO и бесплатно в указателе общедоступных стандартов ISO.[3]

Стандарт CL включает спецификации для трех диалектов: Общий формат обмена логикой (CLIF) (Приложение А), Концептуальный формат обмена графами (CGIF) (Приложение B) и нотацию на основе XML для Common Logic (XCL) (Приложение C). Семантика этих диалектов определена в Стандарте путем их перевода в абстрактный синтаксис и семантику Common Logic. Многие другие языки, основанные на логике, также могут быть определены как подмножества CL посредством аналогичных переводов; среди них есть RDF и СОВА языков, которые были определены W3C.

Разработка стандарта ISO началась в июне 2003 г. в Рабочей группе 2 (метаданные) Подкомитета 32 (обмен данными) в рамках ISO / IEC JTC1 и была завершена в октябре 2007 г. Техническое исправление, исправляющее некоторые ошибки в исходном стандарте, готовится в настоящее время.

Реализации

  • COLORE - это хранилище онтологий Common Logic
  • Hets поддерживает Common Logic
  • cltools - это библиотека пролога с частичной поддержкой Common Logic

Смотрите также

использованная литература

  1. ^ Сова, Джон Ф. "Сводка концептуальных графиков. »Концептуальные структуры: текущие исследования и практика 3 (1992): 66.
  2. ^ Международная организация по стандартизации (ISO)
  3. ^ Стандарт Common Logic, первое издание