Оглавление
УСЛОВНЫЙ АЛФАВИТ.
ВВЕДЕНИЕ.
ГЛАВА 1. ОБЗОР МЕТОДОВ ВЫВОДА ДЛЯ СИСТЕМ ПРИНЯТИЯ РЕШЕНИЙ.
1.1. Последовательные стратегии в доказательстве теорем.
1.2.РИНЦИПЫ распараллеливания
1.3. План поиска и параллелизм на уровне термов
1.4. План поиска и параллелизм на уровне дизъюнктов
1.5. Параллелизм и план поиска на уровне поиска
1.5.1. Параллельный поиск с использованием подхода главныйподчиненный.
1.5.2. Параллельный поиск с использованием равноправных процессов
1.5.3. Распределенный план поиска
ГЛАВА 2. ВЫВОД НА АНАЛИТИЧЕСКИХ ТАБЛИЦАХ.
2.1. Метод аналитических таблиц для пропозициональной логики
2.1.1. Непротиворечивость и полнота метода аналитических таблиц для пропозициональной логики.
2.1.2. Повышение эффективности вывода на аналитических таблицах.
2.1.3. Последовательный метод аналитических таблиц для пропозициональной логики.
2.2. Метод аналитических таблиц для логики предикатов первого ПОРЯДКА.
2.2.1 Стратегия выбора формул
2.2.2. Метод полного перебора
2.3. Алгоритм метода полного перебора БТМ
ВБ1ВОДЫ.
ГЛАВА 3. МЕТОД АНАЛИТИЧЕСКИХ ТАБЛИЦ С ФИКТИВНЫМИ ПЕРЕМЕННЫМИ
3.1. Подстановки и их свойства.
3.2. Согласование
3.3. Композиция подстановок
3.4. Алгоритм согласования.
3.5. Введение гранулы и теней
3.6. Работа с множественными конфликтами подстановок.
3.7. Эвристики, улучшающие процедуру опровержения
3.8. Последовательный метод с фиктивными переменными БТМ
3.9. Параллельный метод с фиктивными переменными РТМ,
ВЫВОДЫ.
ГЛАВА 4. МОДИФИКАЦИИ ПАРАЛЛЕЛЬНОГО МЕТОДА
АНАЛИ ТИЧЕСКИХ ТАБЛИЦ С ФИКТИВНЫМИ ПЕРЕМЕННЫМИ
4.1. Параллельный метод полного перебора, использующий стратегию поиска в ширину РШеМ
4.2. Параллельный метод полного перебора, использующий стратегию поиска в глубину РТМей
4.3. Параллельный метод с фиктивными переменными, использующий стратегию поиска в ширину РТМ,УМ
4.4. Параллельный метод с фиктивными переменными, использующий стратегию поиска в глубин у РТМ1
4.5. Программная реализация разработанных методов и их сравнение
4.5.1. Структура программного комплекса РТМ
4.5.2.Гестирование методов
4.5.3. Сравнение метода полного перебора с методом с фиктивными переменными
4.5.4. Сравнение последовательного метода с фиктивными переменными с параллельным методом, использующим стратегии поиска в глубину и в ширину.
ЗАКЛЮЧЕНИЕ
СПИСОК ЛИТЕРАТУРЫ
- Київ+380960830922