Рассмотрение современного подхода к моделированию темпоральных рассуждений в интеллектуальных системах. Операции над временными ограничениями. Алгоритмы вывода для ветвящейся временной логики, построенной на основе качественной точечной модели времени.
Аннотация к работе
Рассматривается современный подход к моделированию темпоральных (временных) рассуждений в интеллектуальных системах. Предлагаются алгоритмы вывода для ветвящейся временной логики, построенной на основе качественной точечной модели времени.В этом плане выделяются логики, построенные на основе представления информации о времени как ограничений (зависимостей) между временными примитивами. Зависимости между временными примитивами трактуются как ограничения на их расположение во времени. Сначала определим на базе ЕЗСВО сценарий как Si=(Vi,Ci,Sj), где S0=(V0,D,BTR,C0) - ЕЗСВО, интерпретируемая как начальный сценарий; Si - наследуемый сценарий, который расширяет множество переменных Vj и множество единичных ограничений Cj сценария Sj, j<i, множествами Vi и Ci соответственно; D - область определения переменных (множество целых чисел), BTR-множество базовых временных ограничений. Для каждого сценария, исходя из определения ЕЗСВО, можно поставить задачи поиска минимального представления и проверки согласованности, то есть можно говорить о согласованном или несогласованном сценарии и сценарии в минимальном представлении. Например, при добавлении в ветвящуюся ЗСВО ограничения типа Cij v Cxy для каждого текущего сценария должны быть добавлены три сценария - сценарий, в котором обязательно наличие ограничения Cij, сценарий, в котором обязательно наличие Сху и сценарий в котором обязательно наличие как Cij так и Сху.Рассмотренные алгоритмы реализованы в СВР POINTTIME, интегрирующей различные модели представления временных зависимостей (для метрического, интервального, смешанного представления времени, для линейной и ветвящейся структур времени, количественных и качественных временных зависимостей и т.д.).