ОГЛАВЛЕНИЕ
ВВЕДЕНИЕ.
ЛОГИЧЕСКИЙ ВЫВОД И МЕТОДЫ ПОВЫШЕНИЯ ЕГО ЭФФЕКТИВНОСТИ В
СИСТЕМАХ ИИ ОБЗОР.
Глава 1. МЕТОД ПОСТРОЕНИЯ ЛОГИЧЕСКОГО ВЫВОДА В ИВ, ОПИРАЮЩИЙСЯ НА ФОРМАЛЬНОГРАММАТИЧЕСКУЮ МОДЕЛЬ
1.1. Хорновские дизъюнкты ИВ и КСграмматики.
1. 2. Моделирование множества гипотез ИВ КСграмматикой.
1.3. Построение логической шкалы и проверка выводимости целей
1.4. Алгоритм предварительной настройки для построения
логических выводов.
1. 5. Построение опровержений в множествах дизъюнктов
ИВ методом с предварительной настройкой
1.6. Особенности построения опровержений в рекурсивном
случае.
1.7. Основные результаты и выводы главы 1
Глава 2. МЕТОД ПОСТРОЕНИЯ ЛОГИЧЕСКОГО ВЫВОДА В ИП, ИСПОЛЬЗУЮЩИЙ ПРОПОЗИЦИОНАЛЬНУЮ МАБСТРАКЦИЮ.
2.1. Пропозициональные абстракция и табстракция.
2.2. Использование пропозициональной юабстракции для
обобщения метода логического вывода на ИП
2. 3. Процедура параллельного построения схем и выводов
в исходном множестве гипотез.
2. 4. Свойства метода логического вывода в ИП.
2. 5. Основные результаты и выводы главы 2
Глава 3. МЕТОД С ПРЕДВАРИТЕЛЬНОЙ. НАСТРОЙКОЙ ДЛЯ ИП, ИСПОЛЬЗУЮЩИЙ АБСТРАКЦИОННОЕ ОТОБРАЖЕНИЕ С РАСШИРЕННЫМИ ВЫСКАЗЫВАНИЯМИ
3.1. Абстракционное отображение и множества дизъюнктов
с расширенными высказываниями.
3.2. Формальнограмматическая модель логического вывода в множествах дизъюнктов с расширенными высказываниями.
3.3. Процедура параллельного построения схем в множестве дизъюнктов с расширенными высказываниями и выводов в ИП
3.4. Использование комбинации абстракционных отображений
3. 5. Выбор ведущих аргументов для абстракции с удалением аргументов
3.6. Основные результаты и выводы главы 3
ЗАКЛЮЧЕНИЕ.
ЛИТЕРАТУРА
- Київ+380960830922