350 rub
Journal Information-measuring and Control Systems №8 for 2014 г.
Article in number:
Synergy of all-purpose static solver and temporal reasoning tools in dynamic integrated expert systems
Keywords: dynamic integrated expert systems task-oriented methodology model of inference All-purpose solver temporal inference temporal solver AT-TECHNOLOGY workbench
Authors:
G.V. Rybina - Dr.Sc. (Eng.), Professor, RF President Prize Winner for Education, Department of Cybernetics, National Research Nuclear University MEPhI (Moscow). E-mail: galina@ailab.mephi.ru A.V. Mozgachev - Ph.D. (Eng.), Assistant, Department of Cybernetics, National Research Nuclear University MEPhI (Moscow). E-mail: galina@ailab.mephi.ru D.V. Demidov - Ph.D. (Eng.), Assistant, Department of Cybernetics, National Research Nuclear University MEPhI (Moscow). E-mail: galina@ailab.mephi.ru
Abstract:
The paper discusses scientific and technological problems of dynamic integrated expert systems development. Extensions of problem-oriented methodology for dynamic integrated expert systems development are considered. Attention is paid to the temporal knowledge representation and processing.
Pages: 27-33
References

  1. Ry'bina G.V. Teoriya i texnologiya postroeniya integrirovanny'x e'kspertny'x sistem. Monografiya. M.: Nauchtexlitizdat. 2008. 482 s.
  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.
  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.
  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.
  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.
  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.
  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.
  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.
  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.
  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.
  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.
  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.
  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.
  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.
  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.
  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.