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.