Введение
ГЛАВА 1. Моделирование временных рассуждений в интеллектуальных системах 15
1.1. Области применения временного вывода 15
1.2. Способы представления информации о времени 20
1.3. Неявное моделирование времени 21
1.4. Явное моделирование времени 23
1.5. Временные расширения сетей Петри 25
1.6. Модальные временные логики 27
1.7. Модели времени на основе парадигмы согласования ограничений 36
1.7.1. Качественная точечная модель времени 39
1.7.2. Интервальная модель времени 46
1.7.3. Точечно-интервальная качественная модель времени 48
1.7.4. Проблема временной неперекрываемости 49
1.7.5. Точечная метрическая модель времени 52
1.7.6. Качественная алгебра 55
1.7.7. Выбор формализма для построения системы временных рассуждений 57
1.8. Выводы по главе 1 59
ГЛАВА 2. Алгоритмы решения задач временного вывода 60
2.1. Временная логика TLM 60
2.2. Построение процедур вывода для временной логики TLM 63
2.3. Решение качественных точечных ЗСВО 64
2.3.1. Решение задачи АТ 67
2.3.2. Решение задачи МИМ 68
2.3.3. Алгоритм проверки согласованности 69
2.3.4. Решение задачи QUERY 73
2.3.5. Вычисления всех выполнимых ограничений 80
2.3.6. Сравнение вычислительной сложности ВРА, СРА и РА 82
2.4. Решение дизъюнктивных ЗСВО 83
2.4.1. Базовые алгоритмы решения ограниченных дизъюнктивных ЗСВО 84
2.4.2. Алгоритмы сокращения пространства поиска при решении ограниченных дизъюнктивных ЗСВО 90
2.4.3. Решение дизъюнктивных ЗСВО 94
2.5. Улучшенные алгоритмы решения единичных ЗСВО 97
2.6. Пошаговые алгоритмы решения ЗСВО 101
2.6.1. Алгоритмы предотвращения полного повторного решения единичных ЗСВО 102
2.6.2. Пошаговое решение дизъюнктивных ЗСВО 108
2.6.3. Пошаговые алгоритмы решения единичных ЗСВО ПО
2.7. Решение интервальных и точечно-интервальных ЗСВО 114
2.7.1 Решение интервальных ЗСВО 115
2.7.2. Представление ограничений временной неперекрываемости. 118
2.7.3. Решение точечно-интервальных ЗСВО 119
2.8. Обработка метрической информации 120
2.9. Качественная алгебра 122
2.10. Выводы по главе 2 123
ГЛАВА 3. Реализация системы временных рассуждений 126
3.1. Требования к СВР 126
3.2. Базовые принципы реализации СВР 128
3.3. Язык представления временных ограничений 130
3.4. Программная реализация СВР 132
3.5. Графический редактор сетей временных ограничений 143
3.6. Интеграция СВР со средой CLIPS 148
3.7. Экспериментальное исследование алгоритмов 152
3.7.1. Методика проведения экспериментов и анализа результатов 153
3.7.2. Результаты экспериментов 153
3.8. Выводы по главе 3 162
ГЛАВА 4. Практическое применение СВР 164
4.1. Назначение интеллектуальной системы управления парковками. 164
4.2. Элементы предметной области 166
4.3. Реализация ИС УП 169
4.4. Решение задачи анализа аварийных ситуаций 172
4.5. Выводы по главе 4 176
Заключение 177
Список литературы
