G.V. Rybina1, A. V. Mozgachev2, D.V. Demidov3

1–3 Federal State Budgetary Educational Institution of Higher Vocational Education National Research Nuclear University MEPhI (Moscow, Russia)
 

Extensions of task-oriented methodology for dynamic integrated expert systems construction are considered. Scientific and technological problems related to temporal knowledge representation and processing are discussed. Current versions of the universal AT-SOLVER and temporal solver are described.

Rybina G.V., Mozgachev A.V., Demidov D.V. Dynamic integrated expert systems: synergy of universal and temporal solvers. Information-measuring and Control Systems. 2023. V. 21. № 2. P. 81–90. DOI: https://doi.org/ 10.18127/j20700814-202302-10 (in Russian)

1. Ry'bina G.V. Teoriya i texnologiya postroeniya integrirovanny'x e'kspertny'x sistem. Monografiya. M.: Nauchtexlitizdat. 2008. 482 s. (in Russian).
2. Ry'bina G.V., Mozgachev A.V., Parondzhanov S.S., So Ti Xa Aung Dinamicheskie integrirovanny'e e'kspertny'e sistemy': metody' predstavleniya i obrabotki temporal'ny'x znanij. Pribory' i sistemy'. Upravlenie, kontrol', diagnostika. 2013. № 6. S. 63–73 (in Russian).
3. Ry'bina G.V. E'kspertny'e sistemy' i instrumental'ny'e sredstva dlya ix razrabotki: nekotory'e itogi. Informaczionno-izmeritel'ny'e i upravlyayushhie sistemy'. 2013. T. 11. № 5. S. 35-48 (in Russian).
4. Ry'bina G.V., Mozgachev A.V. Realizacziya temporal'nogo vy'voda v dinamicheskix integrirovanny'x e'kspertny'x sistemax. Iskusstvenny'j intellekt i prinyatie reshenij. 2014. № 1. S. 95–106 (in Russian).
5. Ry'bina G.V. Instrumental'ny'e sredstva dlya postroeniya dinamicheskix integrirovanny'x e'kspertny'x sistem: razvitie kompleksa AT-TEXNOLOGIJa. Iskusstvenny'j intellekt i prinyatie reshenij. 2010. № 1. S. 41–48 (in Russian).
6. Ry'bina G.V., Demidov D.V., Shanczer D.I., Mozgachev A.V. Dinamicheskie integrirovanny'e e'kspertny'e sistemy': novy'e vozmozhnosti instrumental'nogo kompleksa AT-TEXNOLOGIJa. Informaczionno-izmeritel'ny'e i upravlyayushhie sistemy'. 2011. № 6. S. 7–15 (in Russian).
7. Shoham Y. Temporal logics in AI: Semantical and ontological considerations. Artificial Intelligence. 1987. № 33(1).
8. Shoham Y. Goyal N. Representing time and action in AI. revised version of: Problems in formal temporal reasoning. Artificial Intelligence. 1988. № 36(1).
9. Allen J. Maintaining knowledge about temporal intervals. Communications of the ACM. 1983. № 26 (11).
10. Allen. J. Time and time again: The many ways to represent time. Journal of Intelligent Information Systems. 1991. № 6(4).
11. Ladkin, P., Anger F., Rodriguez R. Temporal reasoning with intervals in branching time. TR-90-028, International Computer Science Institute. 1990.
12. Spranger S. Representation of Temporal Knowledge for Web-based Applications. Munchen. 2002.
13. Moore B. Questions and Answers about G2. Copyright, Gensym Corporation. 1993.
14. Osipov G.S. Dinamicheskie intellektual'ny'e sistemy'. Iskusstvenny'j intellekt i prinyatie reshenij. 2008. № 1. S. 47-54 (in Russian).
15. Osipov G.S. Metody' iskusstvennogo intellekta. M.: Fizmatlit. 2011. 296 s.
16. Eremeev A.P. Logika vetvyashhegosya vremeni i ee primenenie v intellektual'ny'x sistemax podderzhki prinyatiya reshenij. Desyataya naczional'naya konferencziya po iskusstvennomu intellektu s mezhdunarodny'm uchastiem KII-2006: Trudy' konferenczii v 3-x tomax. M.: Fizmatlit. 2006. T. 3 (in Russian).
17. Eremeev A.P., Troiczkij V.V. Konczepczii i modeli predstavleniya vremeni i ix primenenie v intellektual'ny'x sistemax. Novosti iskusstvennogo intellekta. 2004. № 1 (in Russian).
18. Eremeev A.P., Kurilenko I.E. Komponenta vremenny'x rassuzhdenij dlya intellektual'ny'x sistem podderzhki prinyatiya resheniya real'nogo vremeni. Iskusstvenny'j intellekt i prinyatie reshenij. 2009. № 1.S. 31–45 (in Russian).
19. Eremeev A.P., Korolev Ju.I. Seti Petri kak instrument dlya razrabotki intellektual'ny'x sistem podderzhki prinyatiya reshenij real'nogo vremeni. Gibridny'e i sinergeticheskie intellektual'ny'e sistemy': teoriya i praktika. Materialy' 1-go mezhdunarodnogo simpoziuma. Kaliningrad: Izd-vo BFU im. I. Kanta. 2012. Ch. 2 (in Russian).
20. Plesnevich G.S. Metod analiticheskix tablicz dlya logiki soby'tij. Trudy' Mezhdunarodnoj konferenczii «Intellektual'noe upravlenie: novy'e intellektual'ny'e texnologii v zadachax upravleniya (ICIT'99)». Pereslavl'-Zalesskij: IPS. 1999 (in Russian).
21. Popov E'.V., Fominy'x I.B., Kisel' E.B., Shapot M.D. Staticheskie i dinamicheskie e'kspertny'e sistemy'. Uchebnoe posobie. M.: Finansy' i statistika. 1996 (in Russian).
22. Stefanyuk V.L. Dinamicheskaya e'kspertnaya sistema i logicheskaya problema frejma. Mezhdunarodnaya konferencziya po iskusstvennomu intellektu (AIS’07/CAD-2007). M.: Fizmatlit. 2007. T. 2 (in Russian).
23. Ry'bina G.V., Demidov D.V. Modeli, metody' i programmny'e sredstva vy'voda v integrirovanny'x e'kspertny'x sistemax. Inzhenernaya fizika. 2007. № 2. S. 1–10 (in Russian).
24. Ry'bina G.V. Prakticheskoe primenenie zadachno-orientirovannoj metodologii postroeniya integrirovanny'x e'kspertny'x sistem (obzor prilozhenij v staticheskix i dinamicheskix problemny'x oblastyax). Pribory' i sistemy'. Upravlenie, kontrol', diagnostika. 2011. № 12. S. 10–28 (in Russian).