А. П. Еремеев, И. Е. Куриленко, “Темпоральные модели на основе логики ветвящегося времени в интеллектуальных системах”, Искусственный интеллект и принятие решений, 2011, выпуск 1,страницы 14

Интеллектуальные системы

Темпоральные модели на основе логики ветвящегося времени в интеллектуальных системах

А. П. Еремеев, И. Е. Куриленко

Национальный исследовательский университет «Московский энергетический институт»

Аннотация: Рассматриваются методы организации временных (темпоральных) рассуждений (методы темпорального вывода) в интеллектуальных системах на примере систем поддержки принятия решений. Основное внимание уделяется темпоральной логике ветвящегося времени и ее использованию в системах реального времени.

Ключевые слова: искусственный интеллект, интеллектуальная система поддержки принятия решений, темпоральная логика, логика ветвящегося времени.