РАССУЖДЕНИЯ С ТЕМПОРАЛЬНЫМИ ОГРАНИЧЕНИЯМИ

Работа посвящена вопросам организации темпоральных рассуждений на основе методов удовлетворения ограничений. Приводятся определение задачи удовлетворения ограничений и понятие их совместности. Рассматриваются возможности представления задач планирования в виде сети интервальных ограничений. В качестве математического аппарата для формализации темпоральных рассуждений описывается интервальная алгебра Алена, основными операциями которой являются композиция и пересечение временных отношений. Приводится алгоритм достижения совместности по путям, реализующий один из видов локальной совместности на сети интервальных ограничений и использующий вычисления на основе операций интервальной алгебры. Представлен пример применения данного алгоритма. В заключении рассматриваются перспективы развития методов темпоральных рассуждений.