СОДЕРЖАНИЕ
ВВЕДЕНИЕ.
1. ФОРМАЛЬНАЯ ТЕОРИЯ.
1.1. Основные определения.
1.2. Нерекурсивные и рекурсивные детерминированные Смодели.
1.3. Постановка задачи
Выводы к главе 1.
2. АЛГОРИТМЫ ПЛАНИРОВАНИЯ И СИНТЕЗА ПРОГРАММ.
2.1. Проблема эффективности и общие принципы построения машины вывода для
устойчивых баз знаний
2.2. Планирование и синтез в классе НДСмоделей
2.2.1. Правила вывода
2.2.2. Трансформация вариантной части
2.2.3. Компиляция НДСмодели.
2.2.4. Постановка задали и схемы алгоритмов вывода.
2.2.5. Извлечение программы из доказательства
2.3. Планирование и синтез в классе РДСмоделей
2.3.1. Формальная модель доказательства
2.3.2. Подготовка данных и алгоритм вывода на РДСмодели.
2.4. Программная реализация
Выводы к главе 2.
3. ОЦЕНКА ЭФФЕКТИВНОСТИ
3.1. Расчет вычислительных затрат на осуществление вывода в классе Смоделей.
3.2. Получение вида зависимости вычислительных затрат от объема спецификации РДС модели
3.3. Экспериментальные результаты
Выводы к главе 3.
4. ИНТЕРПРЕТАЦИЯ СМОДЕЛИ ДЛЯ РЯДА ЛОГИЧЕСКИХ ИСЧИСЛЕНИЙ.
4.1. Трансформация спецификаций языка Пролог в конструкции теории Смоделей
4.2. Упрощенный метод интерпретации для ряда логических исчислений.
4.3. Реализация методов преобразования и экспериментальные результаты
Выводы к главе 4.
ЗАКЛЮЧЕНИЕ
СПИСОК ЛИТЕРАТУРНЫХ ИСТОЧНИКОВ
- Київ+380960830922