|
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.
Citation:
A. P. Eremeev, I. E. Kurilenko, “The branching-time temporal logiñ and its application to intelligent decision support systems”, Artificial Intelligence and Decision Making, 2011, no. 1, 14–26
Linking options:
https://www.mathnet.ru/eng/iipr452 https://www.mathnet.ru/eng/iipr/y2011/i1/p14
|
Statistics & downloads: |
Abstract page: | 18 | Full-text PDF : | 21 | References: | 1 |
|