Введение
1 Дескриптивные логики и табличный алгоритм вывода 15
1.1 Современные подходы к обработке знаний 15
1.2 Структура дескриптивных языков 18
1.3 Блок терминологии 23
1.4 Блок утверждений 25
1.5 Табличный алгоритм 27
2 Исчисление именующих ограничений 35
2.1 Общая схема 35
2.2 Основные определения 39
2.3 Система логического вывода 46
2.4 Корреляция с дескриптивной логикой 56
2.5 Корректность и полнота исчисления 60
2.6 Расширение исчисления 79
2.7 Революционный вывод в дескриптивной логике 81
3 Язык CLP и обобщенный подход к логическому программированию 83
3.1 Язык CLP(K) 83
3.2 Дескриптивные термы, как обобщение эрбрановых термов . 92
3.3 Амальгама, как обобщение унификации 94
3.4 Корректность обобщенного подхода 100
Заключение 103
Литература
