А.П. Еремеев, И.Е. Куриленко "Темпоральные модели на основе логики ветвящегося времени в интеллектуальных системах"
Аннотация.
Рассматриваются методы организации временных (темпоральных) рассуждений (методы темпорального вывода) в интеллектуальных системах на примере систем поддержки принятия решений. Основное внимание уделяется темпоральной логике ветвящегося времени и ее использованию в системах реального времени.
Ключевые слова:
искусственный интеллект, интеллектуальная система поддержки принятия решений, темпоральная логика, логика ветвящегося времени.
Стр. 14-26.