Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

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

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

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

Стандарт ISO [ править ]

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

Стандарт CL включает спецификации для трех диалектов, формата обмена общей логикой ( CLIF ) (приложение A), формата обмена концептуальными графами ( CGIF ) (приложение B) и нотации на основе XML для общей логики ( XCL ) (приложение C ). Семантика этих диалектов определяется в Стандарте путем их перевода в абстрактный синтаксис и семантику Common Logic. Многие другие языки, основанные на логике, также могут быть определены как подмножества CL посредством аналогичных переводов; Среди них есть языки RDF и OWL , которые были определены 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 Standard Первое издание
  4. ^ Стандарт Common Logic, второе издание