Введение
ГЛАВА 1. Моделирование времени в искусственном интеллекте 15
1.1. Значение и основные свойства времени 15
1.2. Моделирование времени в ИИ и компьютерных науках 20
1.2.1. Фактор времени в ИИ 20
1.2.2. Области приложения и направления исследований 21
1.2.3. Основные задачи, использующие фактор времени 25
1.2.4. Основные подходы к представлению времени в ИИ 27
1.2.5. Задачи, связанные с введением фактора времени 30
1.2.6. Направления исследований 33
1.3. Сравнительный анализ систем 34
1.4. Фактор времени в ИСППР — уточнение задач исследования 37
1.4.1. Время в современных инструментальных средствах разработки ЭС 37
1.4.2. ИСППР РВ семиотического типа 39
1.4.3. Особенности ИСППР РВ для помощи ЛПР при управлении сложными техническими объектами 41
1.4.4. Требования к разработке моделей времени в ИСППР РВ 45
1.5. Выводы по главе 1 46
ГЛАВА 2. Методика построения моделей времени 47
2.1. Требования к разработке моделей времени 47
2.2. Структура модели времени 50
2.3. Онтология времени 53
2.4. Теории времени 57.
2.4.1. Алгебраическое представление структуры времени 58
2.4.2. Сравнительный анализ теорий времени 59
2.5. Методы временной квалификации 65
2.5.1. Метод временных аргументов 67
2.5.2. Модальная временная логика 68
2.5.3. Метод овеществления утверждений 69
2.5.4. Расширения метода овеществления 72
2.6. Теория временных утверждений 74
2.7. Языки представления и механизмы вывода 78
2.8. Сравнение моделей времени 83
2.9. Методика построения моделей явного представления времени . 83
2.10. Выводы по главе 2 86
ГЛАВА 3. Алгебраические методы представления временных зависимостей 87
3.1. Задача согласования временных ограничений 87
3.1.1. Основные определения и задачи 88
3.1.2. Методы решения ЗСВО 91
3.2. Модели на основе качественной точечной ЗСВО 93
3.3. Качественные интервальные ЗСВО: алгебра Аллена 98
3.3.1. Определения 98
3.3.2. Полиномиальные подклассы 102
3.3.3. Алгоритмы решения ЗСВО 106
3.4. Обобщенный алгоритм решения ЗСВО 119
3.5. Качественные точечно-интервальные ЗСВО 123
3.6. Метрические точечные ЗСВО 127
3.7. Комбинированные качественные и метрические ЗСВО 133
3.8. Комбинированные ЗСВО с длительностями.. 135
3.9. Сравнительный анализ моделей ... 137.
3.10. Классификация моделей представления временных зависимостей.. 141
3.11. Выводы по главе 3 143
ГЛАВА 4. Реализация системы представления временных зависимостей 144
4.1. Основные требования и функции СПВЗ 144
4.2. Принципы построения СПВЗ 147
4.3. Архитектура СПВЗ 150
4.4. Программная реализация СПВЗ 157
4.5. Экспериментальное исследование алгоритмов 159
4.5.1. Методы получения тестовых данных 159
4.5.2. Методы проведения экспериментов и анализа результатов 161
4.5.3. Результаты экспериментов 162
4.6. Выводы по главе 4 166
ГЛАВА 5. Пример применения системы представления временных зависимостей в интеллектуальной системе поддержки принятия решений реального времени . 168
5.1. Описание объекта .. 168
5.2. Прототип ИСППР РВ ... 170
5.2.1. Схема функционирования . 170
5.2.2. Прогнозирование с временными зависимостями 170
5.3. Описание разработанной модели времени 176
5.3.1. Онтология времени 176
5.3.2. Методы представления временных зависимостей 179
5.3.3. Метод временной квалификации 181
5.3.4. Теория временных утверждений 181
5.3.5. Язык представления и алгоритмы вывода 182
5.4. Модель прогнозирования состояния НТУ СУЗ 184
5.4.1. Описание параметров НТУ СУЗ 184.
5.4.2. Диагнозы на входе блока прогнозирования 185
5.4.3. Правила прогнозирования состояния элементов НТУ СУЗ 186
5.5. Пример прогнозирования последствий аномальных ситуаций 190
5.6. Выводы по главе 5 191
Заключение 193
Литература 195
Приложения 225
