Метод и система логического вывода модифицируемых заключений

ОГЛАВЛЕНИЕ
Введение.
Глава 1. Анализ методов и машин логического вывода и систем обработки знаний.
1.1 Методы и машины логического вывода.
1.1.1 Классификация видов логического вывода.
1.1.2 Классификация методов логического вывода
1.1.3 Метод деления дизъюнктов.
1.1.4 Машины логического вывода
1.2 Системы обработки знаний СОЗ.
1.2.1 Определение и структура
1.2.2 Классификация
1.2.3 Режимы функционирования
1.2.4 Оценка эффективности.
1.3 Вывода по главе 1
Глава 2. Разработка метода логического вывода модифицируемых заключений.
2.1 Формальные системы.
2.2 Постановка задачи логического вывода.
2.3 Расширение формулы заключения
2.3.1 Унификация литералов.
2.3.2 Согласование решений.
2.3.3 Согласование значений общих переменных в конъюнкциях дизъюнктов.
2.3.4 Частичное деление дизъюнктов.
2.3.5 Полное деление дизъюнктов
2.3.6 Процедура вывода.
2.3.7 Построение абдуктивных объяснений
2.3.8 Метод параллельного вывода с расширением формулы заключения
2.4 Минимизация формулы заключения
2.4.1 Процедура минимизации заключения
2.4.2 Метод минимизации заключения
2.5 Выбор вариантов модификации.
2.6 Особенности вывода в исчислении высказываний
2.7 Пример вывода.
2.8 Выводы по главе 2.
Глава 3. Разработка системы логического вывода модифицируемых заключений
3.1 Структура системы логического вывода
3.1.1 Обобщенная структура системы
3.1.2 Детализованная структура системы
3.2 Режимы работы системы логического вывода
3.2.1 Режим вывода модифицируемых заключений
3.2.2 Режим дедуктивного вывода.
3.2.3 Режим абдуктивного вывода.
3.2.4 Режим настройки.
3.2.5 Режим непосредственного доступа к базам знаний
3.2.6 Создание базы знаний
3.3 Машина логического вывода модифицируемых заключений.
3.4 Язык декларативного логического программирования
3.4.1 Структура логической программы
3.4.2 Идентификаторы и константы
3.4.3 Комментарии
3.4.4 Пример логической программы
3.5 Оценка эффективности систем логического вывода.
3.5.1 Критерии оценки эффективности
3.5.2 Расчет времени вывода
3.5.3 Расчет степени модификации заключения.
3.6 Выводы по главе 3.
Глава 4. Применение систем логического вывода модифицируемых заключений
4.1 Области применения
4.2 Интеллектуальные обучающие системы
4.3 Экспертные системы
4.4 Интеллектуальное управление вычислительными процессами
4.5 Модуль логического вывода модифицируемых заключений.
4.5.1 Общая характеристика разрабатываемого программного
обеспечения.
4.5.2 Структура модуля вывода.
4.5.3 Язык описания базы знаний и заключения
4.5.4 Реализация блоков модуля
4.6 Учебная программа логического вывода ЛогикаВ.
4.6.1 Структура программы.
4.6.2 Язык описания исходных данных.
4.6.3 Интерфейс пользователя
4.6.4 Пример использования программы
4.7 Выводы по главе 4.
Заключение.
Список сокращений.
Библиографический список
Приложения.
ВВЕДЕНИЕ
Данная диссертационная работа посвящена разработке нового метода логическог о вывода модифицируемых заключений на знаниях, представленных в виде формул исчисления высказываний и исчисления предикатов первого порядка, а также системы логического вывода модифицируемых заключений. Рассматриваются вопросы построения систем обработки знаний и машин логического вывода, использующих данный метод, в том числе особенности их программной реализации на современных параллельных вычислительных платформах. Приводятся области возможного применения данного метода логического вывода, рассматривается применение логического вывода модифицируемых заключений для интеллектуального управления вычислительными процессами, в обучающих системах и в экспертных системах.
Актуальность