Общая логика
 | Эта статья нуждается в дополнительных цитатах для проверки . ( январь 2015 г. ) |
Common Logic ( CL ) — это основа семейства логических языков , основанная на логике первого порядка и предназначенная для облегчения обмена и передачи знаний в компьютерных системах. [1]
Определение CL допускает и поощряет развитие множества различных синтаксических форм, называемых диалектами . Диалект может использовать любой желаемый синтаксис, но должна быть возможность точно продемонстрировать, как конкретный синтаксис диалекта соответствует абстрактной семантике CL, которая основана на теоретической интерпретации модели. Каждый диалект может тогда рассматриваться как формальный язык . Как только синтаксическое соответствие установлено, диалект получает семантику CL бесплатно, поскольку они указаны только относительно абстрактного синтаксиса и, следовательно, наследуются любым соответствующим диалектом. Кроме того, все диалекты CL сопоставимы (т. е. могут быть автоматически переведены на общий язык), хотя некоторые из них могут быть более выразительными, чем другие.
В общем, менее выразительное подмножество CL может быть переведено в более выразительную версию CL, но обратный перевод определен только для подмножества более крупного языка.
Стандарт ИСО
[ редактировать ]Common Logic опубликован ISO как «ISO/IEC 24707:2007 – Информационные технологии. Common Logic (CL): основа для семейства языков, основанных на логике». [2] Его можно приобрести в каталоге ISO, а также он доступен бесплатно в индексе общедоступных стандартов ISO. [3] [4]
Стандарт CL включает спецификации для трех диалектов: формата обмена общей логикой ( CLIF ) (Приложение A), формата обмена концептуальными графами ( CGIF ) (Приложение B) и нотации на основе XML для общей логики ( XCL ) (Приложение C). ).Семантика этих диалектов определяется в Стандарте путем их перевода в абстрактный синтаксис и семантику общей логики.Многие другие языки, основанные на логике, также можно определить как подмножества CL посредством аналогичных переводов; среди них — языки RDF и OWL , определенные W3C .
Разработка стандарта ISO началась в июне 2003 года в рамках Рабочей группы 2 (Метаданные) Подкомитета 32 (Обмен данными) при ОТК 1 ISO/IEC и была завершена в октябре 2007 года. Техническое исправление, исправляющее некоторые ошибки в исходном стандарте, в настоящее время готовится.
Реализации
[ редактировать ]- COLORE — хранилище онтологий общей логики.
- Hets поддерживает общую логику
- cltools — это библиотека PROLOG с частичной поддержкой Common Logic.
См. также
[ редактировать ]Ссылки
[ редактировать ]- ^ Сова, Джон Ф. « Сводка концептуальных графиков ». Концептуальные структуры: текущие исследования и практика 3 (1992): 66.
- ^ Международная организация по стандартизации (ISO)
- ^ Стандарт общей логики, первое издание
- ^ Стандарт общей логики, второе издание
Дальнейшее чтение
[ редактировать ]- Сова, Джон Ф. (25 марта 2008 г.), Common Logic For Healthcare Information Technology (PDF) , получено 17 января 2024 г.
- Сова, Джон Ф. (10 января 2011 г.), «Введение в общую логику» (PDF) , получено 17 января 2024 г.
ISO Стандарты по номеру стандарта |
|---|
