Моделирование и минимизация систем знаний в терминах многозначной логики предикатов

Содержание
Введение.
Глава 1. Аналитический обзор
1.1 .Продукционная модель знаний.
1.2.Логическая модель знаний.
1.3.Методы представления знаний семантической сетью
1.4.Фреймовая модель знаний
1.5.Мягкие методы моделирования знаний.
1.6.Поиск логической взаимосвязи на заданной предметной области
Глава 2. Логический подход к моделированию баз знаний.
2.1 Модель представления знаний
2.2 Постановка задачи моделирования баз знаний.
2.2.1 Формальная постановка задачи
2.3 Основные понятия и определения.
2.4 Аксиоматические системы исчисления высказываний
2.5 Логика исчисления предикатов.
2.5.1. Методы логического вывода.
2.6 Основные сведения о многозначных логиках.
2.6.1. Алгебра переменнозначных логик
Глава 3. Моделирование и минимизация баз знаний.
3.1 Формальное представление системы данных
3.2 Исследование моделируемой функции
3.2.1 Разбиение предметной области на классы
3.2.2 Модифицируемость рассуждений
3.3 Моделирование организации баз знаний по переменнозначным признакам
3.3.1 Анализ моделируемых баз знаний и правил вывода
3.4 Формальная постановка задачи в пространстве трехзначиых
признаков
3.4.1 Моделирование базы знаний в трехмерном пространстве признаков.
3.4.2 Алгоритм построения сокращенных ДНФ трехзначных
3.4.3 Основные свойства функции
Глава 4. Логические алгоритмы и программный комплекс
4.1 Алгоритмы моделирования базы знаний
4.2 Анализ данных программного комплекса диагностики
гастритов.
4.3 Описание программного комплекса моделирования баз
Заключение.
Список использованной литературы