BC/NW 2013: №1 (22):8.1

ИСПОЛЬЗОВАНИЕ ТОЧЕЧНО-ИНТЕРВАЛЬНОЙ ВРЕМЕННОЙ ЛОГИКИ В ПРОЦЕССЕ ПОДДЕРЖКИ ПРИНЯТИЯ РЕШЕНИЙ

Шорникова Д.А., Куриленко И.Е. (НИУ «МЭИ»)

Разработка современных интеллектуальных систем поддержки принятия решений реального времени (ИСППР РВ) предполагает учет специфики решаемых задач: наличие временных ограничений при поиске решения задачи, неопределенность в исходных данных. Для этого необходимо иметь средства представления фактора времени и временных зависимостей, на основе которых моделируются и временные рассуждения. Одним из подходов к представлению временных зависимостей является явное моделирование времени [1—3].

В классе подходов, основанных на явном моделировании времени, можно использовать модели, построенные на основе представления информации, как ограничений между временными примитивами (моментами, интервалами или их комбинациями). Множество примитивов и операций над ними представляется задачей согласования временных ограничений (ЗСВО), решение которой сводится к поиску не противоречащих друг другу ограничений.

В точечно-интервальной модели времени в качестве примитивов используются моменты времени и интервалы. Интервал представляется парой моментов (sX, eX), причем предполагается, что sX < eX. Отношения определяет R = {<, m, o, s, d, f, }. Если X — момент (pX=sX=eX), Y — интервал, то отношения можно представить, как:

X<Y pX<sY; X s Y eX=s; Xd Y  sY<pX<eY; Xf Y  pY=eY [2].

Специфика ИСППР РВ накладывает жесткие ограничения на эффективность процесса вывода. В связи с этим точечно-интервальная логика выглядит перспективной для реализации на ее основе модуля временных рассуждений для ИСППР РВ.

Работа выполнена при финансовой поддержке РФФИ (проекты № 11-01-00140-а, № 12-07-00508-a).

Литература

1. Вагин В.Н., Еремеев А.П. Некоторые базовые принципы построения интеллектуальных систем поддержки принятия решений реального времени // Известия РАН. Теория и системы управления. 2001. №6. С. 114—123.

2. Еремеев А.П., Троицкий В.В. Модели представления временных зависимостей в интеллектуальных системах поддержки принятия решений // Изв. РАН. Теория и системы управления. 2003. № 5. С. 75—88.

3. Еремеев А.П., Куриленко И.Е. Реализация механизма временных рассуждений в современных интеллектуальных системах // Изв. РАН. Теория и системы управления. 2007. № 2. С. 120—136.