Александр Анатольевич Зуенко1, Ольга Владимировна Фридман2
1, 2Институт информатики и математического моделирования имени В. А. Путилова Кольского научного центра Российской академии наук, Апатиты, Россия
Ключевые слова: задача удовлетворения ограничений, темпоральные рассуждения, сеть интервальных ограничений, интервальная алгебра Алена
Страницы: 43-51
Аннотация
Работа посвящена вопросам организации темпоральных рассуждений на основе методов удовлетворения
ограничений. Приводятся определение задачи удовлетворения ограничений и понятие их совместности.
Рассматриваются возможности представления задач планирования в виде сети интервальных ограничений.
В качестве математического аппарата для формализации темпоральных рассуждений описывается
интервальная алгебра Алена, основными операциями которой являются композиция и пересечение временных
отношений. Приводится алгоритм достижения совместности по путям, реализующий один из видов локальной
совместности на сети интервальных ограничений и использующий вычисления на основе операций интервальной
алгебры. Представлен пример применения данного алгоритма. В заключении рассматриваются перспективы
развития методов темпоральных рассуждений.