ISSN 2071-8594

Российская академия наук

 

А.П. Еремеев, И.Е. Куриленко "Темпоральные модели на основе логики ветвящегося времени в интеллектуальных системах"

Аннотация.

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

Ключевые слова:

искусственный интеллект, интеллектуальная система поддержки принятия решений, темпоральная логика, логика ветвящегося времени.
Стр. 14-26.

Полная версия статьи в формате pdf.