Цикл
-
Основы CycL
- CycL — язык онтологий в проекте Cyc, разработанный Дугласом Ленатом.
- Раманатан и Гуха внесли значительный вклад в разработку языка.
- Существует похожий язык MELD.
-
Структура и функции CycL
- Изначально CycL был фреймворковым языком, но теперь это декларативный язык с классической логикой и расширениями.
- CycL используется для представления знаний в базе знаний Cyc.
- Исходный код CycL лицензирован как бесплатное программное обеспечение с открытым исходным кодом.
-
Основные идеи CycL
- Присвоение имен константам для обозначения понятий.
- Группировка констант в иерархию категорий.
- Определение общих правил для вывода о понятиях.
- Истинность предложений CycL зависит от контекста, представленного микротеориями.
-
Константы и функции истинности
- Константы начинаются с «#$» и чувствительны к регистру.
- Существуют константы для отдельных лиц, коллекций и функций истинности.
- Функции истинности могут быть логическими связками, кванторами и предикатами.
- Функциональные константы начинаются с заглавной буквы и заканчиваются «Fn».
-
Специализация и обобщение
- Предикаты #$isa и #$genls описывают специализацию и обобщение соответственно.
- Правила могут содержать переменные и строки с «?».
- Пример правила: если OBJ является экземпляром подмножества коллекции, а SUBSET — подколлекцией НАДМНОЖЕСТВА, то OBJ является экземпляром надмножества коллекции.
-
Микротеории
- База знаний разделена на микротеории, каждая из которых описывает определенную область знаний.
- Микротеории должны быть свободны от противоречий и имеют имена, начинающиеся с «Mt».
- Микротеории могут наследоваться и организовываться в иерархию.
-
Дополнительные ресурсы
- Статья содержит ссылку на список созданных языков и рекомендации.