Введение
Глава 1. Логические подходы к управлению знаниями 16
1.1. Подход на базе классических и интуиционистских теорий 18
1.2. Модальные логики 24
1.3. Дескриптивные логики 31
1.4. Выводы 34
Глава 2. Структурные функциональные модели 35
2.1. Язык теории. Основные определения 35
2.2. Нерекурсивные детерминированные С-модели 46
2.3. Рекурсивные детерминированные С-модели 51
2.4. Интерпретация С-модели 57
2.5. Выводы 60
Глава 3. Установление выводимости в РДС-модели 62
3.1. Формальное исчисление. Правила вывода ...62
3.1.1. Исчисление /? 65
3.1.2. Корректность и полнота исчисления ЛЯ 68
3.2. Стратегия и алгоритм вывода в классе РДС 76
3.2.1. Описание алгоритма 76
3.2.2. Корректность алгоритма построения вывода 81
3.2.3. Особенности введения рекурсии 84
3.3. Проблемы реализации систем построения вывода 86
3.4. Выводы 92
Глава 4. Модальная логика и обратный метод 93
4.1. Базовые понятия и соглашения 97
4.1.1. Синтаксиси семантика логики КГ 100
4.1.2. Мультимножества и секвенции 105
4.1.3. Прямое и обратное исчисление секвенций для логики знания...108
4.2. Исчисление путей для логики КТ ...113
4.2.1. Прямое исчисление путей 115
4.2.2. Обратное исчисление путей 118
4.3. Анализ избыточностей и полнота A7*V 120
4.4. Выводы 127
Глава 5. Ф-упорядоченис 128
5.1. Определения и соглашения 128
5.2. Полнота ЛТЛрбез секвенций, относящихся к у 147
5.3. Предпосылка как критерий избыточности 157
5.4. Выводы 179
Заключение 181
Список цитируемой литературы 187
