Рассмотрение проблемы построения формальных систем оперирования темпоральной информацией. Оценка существующих подходов представления времени и временных зависимостей в программных системах. Характеристика задачи согласования временных ограничений.
Аннотация к работе
СИСТЕМА ВРЕМЕННОГО ВЫВОДА ДЛЯ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ ПОДДЕРЖКИ ПРИНЯТИЯ РЕШЕНИЙО важности наличия средств представления времени и временных (темпоральных) зависимостей (в данных и знаниях) в интеллектуальных системах (ИС) говорится практически с момента их появления (см. например работы Д.А. Существующие подходы представления времени и временных зависимостей в программных системах можно разбить на два основных класса - основанные на моделировании изменений во времени и основанные на явном моделировании времени [6]. В первом случае время представляется неявно посредством моделирования изменений состояний системы во времени, которые рассматриваются как мгновенные снимки мира. В третью группу входят модели, построенные на основе представления информации о времени в виде ограничений (зависимостей) между временными примитивами (моментами, интервалами или их комбинациями). В зависимости от выбора временных примитивов различаются точечная (на базе моментов времени) [11], интервальная (на базе интервалов времени) [12] и интервально-точечная (допустимы и моменты и интервалы) [13] модели времени.Предложенные в работе алгоритмы и соответствующая программная реализация позволяют расширить область применения механизма временных рассуждений на широкий класс современных интеллектуальных систем.