Разработка и реализация методов и алгоритмов абдуктивного вывода с использованием систем поддержки истинности на основе предположений

Содержание
Введение.
1. Абдуктивный вывод обзор
1.1. Основные понятия и определения
1.2. Подходы к организации абдуктивного вывода.
1.2.1. Подход на основе покрытия множеств.
1.2.2. Подход на основе логики
1.2.3. Подход на уровне знаний
1.2.4. Подход на основе вероятностных методов.
1.3. Подходы к отбору гипотез
1.4. Организация абдуктивного вывода с применением теории аргументации.
1.4.1, Основные понятия теории аргументации.
1.4.2. Нахождение множества обоснованных гипотез
1.5. ДСМметод автоматического порождения гипотез
1.6. Выводы но главе 1.
2. Методы и алгоритмы абдуктивного вывода
2.1. Алгоритм нахождения минимальных покрытий
2.2. Алгоритм абдуктивного вывода с применением первичных импликаг.
2.2.1. Алгоритм трАА.
2.2.2. Примеры работы алгоритма трАА.
2.2.3. Эвристический метод для алгоритма трАА
2.3. Алгоритм абдуктивного вывода с применением теории аргументации
2.3.1. Алгоритм построения целевых деревьев.
2.3.2. Пример работы алгоритма построения целевых деревьев
2.3.3. Использование алгоритма целевых деревьев в организации абдуктивного вывода.
2.4. Абдуктивный вывод в логике предикатов первого порядка.
2.5. Выводы по главе 2.
3. Системы поддержки истинности
3.1. Обзор систем поддержки истинности.
3.1.1. Основные достоинства систем поддержки истинности.
3.1.2. Семейства систем поддержки истинности
3.2. Система поддержки истинности, основанная на предположениях
3.2.1. Архитектура систем рассуждения.
3.2.2. Основные определения.
3.2.3. Основные структуры данных
3.3. Алгоритм абдуктивного вывода с использованием систем поддержки истинности, основанных на предположениях.
3.4. Примеры работы алгоритма абдуктивного вывода с использованием систем поддержки истинности, основанных на предположениях.
3.5. Сравнение алгоритма абдуктивного вывода с использованием систем поддержки истинности, основанных на предположениях, и алгоритма ЬпрАА
3.6. Выводы по главе 3.
4. Решение задачи составления расписаний работ в сложных технических объектах и их подсистемах
4.1. Задача составления расписаний в искусственном интеллекте
4.2. Применение абдуктивного вывода в решении задачи составления расписаний
4.3. Задача о составлении расписания технических работ.
4.4. Модификация алгоритма абдуктивного вывода с использованием систем поддержки истинности, основанных на предположениях.
4.4.1. Первая модификация алгоритма абдуктивного вывода с использованием систем поддержки истинности, основанных на предположениях
4.4.2. Вторая модификация алгоритма абдуктивного вывода с использованием систем поддержки истинности, основанных на предположениях
4.5. Эвристический метод для алгоритма абдуктивного вывода с использованием систем поддержки истинности, основанных на предположениях.
4.6. Модификации алгоритмов 1трАА и 1трАЛН
4.7. Практические результаты.
4.8. Выводы по главе 4.
5. Реализация программного комплекса, осуществляющего составление расписаний работ в сложных технических объектах и их подсистемах с использованием системы поддержки истинности, основанной на предположениях.
5.1. Архитектура программного комплекса
5.2. Язык запросов программного комплекса
5.3. Сценарии взаимодействия пользователя и программного комплекса
5.4. Выводы по главе 5
5. Заключение.
Список литературы