Исследование и разработка методов и программных средств временного (темпорального) вывода в интеллектуальных системах поддержки принятия решений

ОГЛАВЛЕНИЕ
ОГЛАВЛЕНИЕ.
СПИСОК ОСНОВНЫХ СОКРАЩЕНИЙ.
ВВЕДЕНИЕ.
ГЛАВА 1. Моделирование временных рассуждений в интеллектуальных системах
1.1. Области применения временного вывода.
1.2. Способы представления информации о времени.
1.3. Неявное моделирование времени
1.4. Явное моделирование времени
1.5. Временные расширения сетей Петри.
1.6. Модальные временные логики.
1.7. Модели времени на основе парадигмы согласования ограничений
1.7.1. Качественная точечная модель времени.
1.7.2. Интервальная модель времени
1.7.3. Точечноинтервальная качественная модель времени.
1.7.4. Проблема временной неперекрываемости.
1.7.5. Точечная метрическая модель времени
1.7.6. Качественная алгебра.
1.7.7. Выбор формализма для построения системы временных рассуждений.
1.8. Выводы по главе 1
ГЛАВА 2. Алгоритмы решения задач временного вывода
2.1. Временная логика .
2.2. Построение процедур вывода для временной логики
2.3. Решение качественных точечных ЗСВО.
2.3.1. Решение задачи .
2.3.2. Решение задачи I.
2.3.3. Алгоритм проверки согласованности
2.3.4. Решение задачи
2.3.5. Вычисления всех выполнимых ограничений
2.3.6. Сравнение вычислительной сложности ВРА, СРА и РА
2.4. Решение дизъюнктивных ЗСВО
2.4.1. Базовые алгоритмы решения ограниченных дизъюнктивных ЗСВО.
2.4.2. Алгоритмы сокращения пространства поиска при решении ограниченных дизъюнктивных ЗСВО
2.4.3. Решение дизъюнктивных ЗСВО
2.5. Улучшенные алгоритмы решения единичных ЗСВО.
2.6. Пошаговые алгоритмы решения ЗСВО
2.6.1. Алгоритмы предотвращения полного повторного решения единичных ЗСВО.
2.6.2. Пошаговое решение дизъюнктивных ЗСВО.
2.6.3. Пошаговые алгоритмы решения единичных ЗСВО.
2.7. Решение интервальных и точечноинтервальных ЗСВО.
2.7.1 Решение интервальных ЗСВО.
2.7.2. Представление ограничений временной неперекрываемости.
2.7.3. Решение точечноинтервальных ЗСВО.
2.8. Обработка метрической информации.
2.9. Качественная алгебра.
2 Выводы по главе 2
ГЛАВА 3. Реализация системы временных рассуждений.
3.1. Требования к СВР
3.2. Базовые принципы реализации СВР.
3.3. Язык представления временных ограничений.
3.4. Программная реализация СВР
3.5. Графический редактор сетей временных ограничений
3.6. Интеграция СВР со средой I.
3.7. Экспериментальное исследование алгоритмов.
3.7.1. Методика проведения экспериментов и анализа результатов
3.7.2. Результаты экспериментов.
3.8. Выводы по главе 3.
ГЛАВА 4. Практическое применение СВР.
4.1. Назначение интеллектуальной системы управления парковками.
4.2. Элементы предметной области
4.3. Реализация ИС УП.
4.4. Решение задачи анализа аварийных ситуаций.
4.5. Выводы по главе 4.
ЗАКЛЮЧЕНИЕ.
Список литературы