Введение.
Глава 1. Логические подходы к управлению знаниями.
1.1. Подход на базе классических и интуиционистских теорий
1.2. Модальные логики.
1.3. Дескриптивные логики.
1.4. Выводы.
Глава 2. Структурные функциональные модели
2.1. Язык теории. Основные определения
2.2. Нерекурсивные детерминированные Смодсли.
2.3. Рекурсивные детерминированные Смодели.
2.4. Интерпретация Смодели.
2.5. Выводы.
Глава 3. Установление выводимости в РДСмодели
3.1. Формальное исчисление. Правила вывода
3.1.1. Исчисление .
3.1.2. Корректность и полнота исчисления 5
3.2. Стратегия и алгоритм вывода в классе РДС.
3.2.1. Описание алгоритма.
3.2.2. Корректность алгоритма построения вывода.
3.2.3. Особенности введения рекурсии
3.3. Проблемы реализации систем построения вывода.
3.4. Выводы.
Глава 4. Модальная логика и обратный метод
4.1. Базовые понятия и соглашения.
4.1.1. Синтаксис и семантика логики КТ.
4.1.2. Мультимножества и секвенции.
4.1.3. Прямое и обратное исчисление секвенций для логики знания .
4.2. Исчисление путей для логики КТ
4.2.1. Прямое исчисление путей.
4.2.2. Обратное исчисление путей.
4.3. Анализ избыточностей и полнота К4
4.4. Выводы
Глава 5. Фупорядочснис
5.1. Определения и соглашения
5.2. Полнота КЬ без секвенций, относящихся к
5.3. Предпосылка как критерий избыточности.
5.4. Выводы
Заключение.
Список цитируемой литературы
- Київ+380960830922