RUS  ENG
Full version
JOURNALS // Artificial Intelligence and Decision Making // Archive
Artificial Intelligence and Decision Making, 2011 Issue 1, Pages 14–26 (Mi iipr452)
Intelligent technologies

The branching-time temporal logiń and its application to intelligent decision support systems

A. P. Eremeev, I. E. Kurilenko

National Research University "Moscow Power Engineering Institute"

Abstract: Methods of producing temporal reasoning in intelligent decision support systems of real time are considered. The main attention is given to the branching-time temporal logic and its application to intelligent decision support systems.

Keywords: artificial intelligent, temporal reasoning intelligent decision-support systems.



Bibliographic databases:

© Steklov Math. Inst. of RAS, 2024