An implementation of inference in temporal branching time models
- Авторлар: Eremeev A.1, Kurilenko I.1
-
Мекемелер:
- Moscow Power Engineering Institute (National Research University)
- Шығарылым: Том 56, № 1 (2017)
- Беттер: 105-124
- Бөлім: Systems Analysis and Operations Research
- URL: https://journals.rcsi.science/1064-2307/article/view/219783
- DOI: https://doi.org/10.1134/S1064230716060046
- ID: 219783
Дәйексөз келтіру
Аннотация
Issues concerning the implementation of temporal reasoning (inference) for models based on branching time logic as applied to intelligent decision support systems are considered. The focus is on the construction of a qualitative (interval) and quantitative (metric) branching time model. The inference is reduced to solving the temporal constraint satisfaction problem, and the corresponding procedures (algorithms) are proposed. An example of the practical application of the proposed techniques in a prototype of a real-time intelligent decision support system is described.
Авторлар туралы
A. Eremeev
Moscow Power Engineering Institute (National Research University)
Хат алмасуға жауапты Автор.
Email: eremeev@appmat.ru
Ресей, Moscow
I. Kurilenko
Moscow Power Engineering Institute (National Research University)
Email: eremeev@appmat.ru
Ресей, Moscow
![](/img/style/loading.gif)