ISSN 2071-8594

Russian academy of sciences

Editor-in-Chief

Gennady Osipov

G.V. Rybina, A.V. Mozgachev. Temporal reasoning implementation in dynamic integrated expert systems

Abstract.

The scientific and technological problems of building dynamic integrated expert systems creation and approaches to their solution are discussed. The new stage of development of task-oriented methodology for the integrated expert systems creation are considered in the context of solving dynamic integrated expert systems constructing problems. Particular attention is paid to the theoretical questions related to the temporal knowledge representation and processing. The features of the temporal reasoning software for dynamic version of AT-TECHNOLOGY workbench are described.

Keywords:

integrated expert systems, dynamic integrated expert systems, task-oriented methodology, instrumental tools, time representation, Allen’s interval logic, temporal reasoner.

PP. 34-45.

Full version of the article in pdf.

REFERENCES

1. Osipov G.S. Metody iskusstvennogo intellekta.- M.: FIZMATLIT, 2011.
2. Rybina G.V. Teoriya i tekhnologiya postroeniya integrirovannykh ekspertnykh sistem. – M.: Nauchtekhlitizdat, 2008.
3. Rybina G.V., Parondzhanov S.S. Tekhnologiya postroeniya dinamicheskikh intellektualnykh sistem. Uchebnoe posobie. – M.: NIYaU MIFI, 2011.
4. Popov E.V., Fominykh I.B., Kisel Ye.B., Shapot M.D. Staticheskie i dinamicheskie ekspertnye sistemy. Uchebnoe posobie. – M.: Finansy i statistika, 1996.
5. Vasilev S.N. Ot klassicheskikh zadach regulirovaniya k intellektualnomu upravleniyu // Izv. RAN. TiSU. 2001. №1. S. 5-22.
6. Makarov I.M., Lokhin V.M., Manko S.V., Romanov M.P. Iskusstvennyy intellekt i intellektualnye sistemy upravleniya. Otdelenie informatsionnykh tekhnologiy i vychislitelnykh sistem RAN.– M.: Nauka, 2006.
7. Bashlykov A.A., Yeremeev A.P. Semioticheskie sistemy realnogo vremeni dlya intellektualnoy podderzhki prinyatiya resheniy pri upravlenii slozhnymi tekhnicheskimi obektami // Informatsionno-izmeritelnye i upravlyayushchie sistemy. 2013. №5. S. 49-57.
8. Tarasov V.B. Ot mnogoagentnykh sistem k intellektualnym organizatsiyam: filosofiya, psikhologiya, informatika.– M.: Editorial URSS, 2012.
9. Rybina G.V. Ekspertnye sistemy i instrumentalnye sredstva dlya ikh razrabotki: nekotorye itogi // Informatsionno-izmeritelnye i upravlyayushchie si-stemy. 2013. №5. S. 35-48.
10. Rybina G.V., Mozgachev A.V., Parondzhanov S.S., So Tikha Aung Dinamicheskie integrirovannye ekspertnye sistemy: predstavlenie i obrabotka temporalnykh znaniy // Pribory i sistemy. Upravlenie, kontrol, diagnostika. 2013. №6. S. 23-33.
11. Rybina G.V. Instrumentalnye sredstva postroeniya dinamicheskikh integrirovannykh ekspertnykh sistem: razvitie kompleksa AT-TYeKhNOLOGIYa // Iskusstvennyy intellekt i prinyatie resheniy. 2010. №1.
C. 41-48.
12. Rybina G.V., Parondzhanov S.S., Shantser D.I., Mozgachev A.V. Tendentsii razvitiya i primeneniya sovremennogo programmnogo instrumentariya dlya podderzhki postroeniya dinamicheskikh intellektualnykh sistem // Pribory i sistemy. Upravlenie, kontrol, diagnostika. 2010. №11. S. 2-11.
13. Rybina G.V., Demidov D.V., Shantser D.I., Mozgachev A.V. Dinamicheskie integrirovannye ekspertnye sistemy: novye vozmozhnosti instrumentalnogo kompleksa AT-TEKHNOLOGIYA // Informatsionno-izmeritelnye i upravlyayushchie sistemy. 2011. №6. S. 7-15.
14. Rybina G.V. Prakticheskoe primenenie zadachno-orientirovannoy metodologii postroeniya integrirovannykh ekspertnykh sistem (obzor prilozheniy v staticheskikh i dinamicheskikh problemnykh oblastyakh) // Pribory i sistemy. Upravlenie, kontrol, diagnostika. 2011. №12. S. 10-28.
15. Shoham Y. Temporal logics in AI: Semantical and ontological considerations // Artificial Intelligence. 1987. N. 33(1). P.37-63.
16. Shoham Y. Goyal N. Representing time and action in AI. revised version of: Problems in formal temporal reasoning // Artificial Intelligence. 1988. N. 36(1). P.49-61.
17. Yeremeev A.P., Troitskiy V.V. Kontseptsii i modeli predstavleniya vremeni i ikh primenenie v intellektualnykh sistemakh // Novosti iskusstvennogo intellekta. 2004. №1. C. 6–29.
18. Spranger S. Representation of Temporal Knowledge for Web-based Applications. – Munchen, 2002.
19. Allen. J. Time and time again: The many ways to represent time // Journal of Intelligent Information Systems. 1991. N. 6(4). P. 341-356.
20. Stefanyuk V.L. Dinamicheskaya ekspertnaya sistema i logicheskaya problema freyma // Mezhdunarodnaya konferentsiya po iskusstvennomu intellektu (AIS’07/CAD-2007).– M.: Fizmatlit. 2007. T.2. S. 107-113.
21. Fedunov B.Ye. Bortovye operativno sovetuyushchie ekspertnye sistemy – novyy klass algoritmov upravleniya antropotsentricheskimi obektami // Odinnadtsataya natsionalnaya konferentsiya po iskusstvennomu intellektu s mezhdunarodnym uchastiem. KII-2008: Trudy konferentsii v 3-kh tomakh. Tom 1.– M.: LYeNAND, 2008.
22. Osipov G.S. Dinamicheskie intellektualnye sistemy. // Iskusstvennyy intellekt i prinyatie resheniy. 2008. №1. S. 47-54.
23. Yeremeev A.P. Logika vetvyashchegosya vremeni i ee primenenie v intellektualnykh sistemakh podderzhki prinyatiya resheniy. // Desyataya natsionalnaya konferentsiya po iskusstvennomu intellektu s mezhdunarodnym uchastiem KII-2006: Trudy konferentsii v 3-kh tomakh.– M.: Fizmatlit, 2006. T.3. S. 746-754.
24. Yeremeev A.P., Kurilenko I.Ye. Komponenta vremennykh rassuzhdeniy dlya intellektualnykh sistem podderzhki prinyatiya resheniya realnogo vremeni // Iskusstvennyy intellekt i prinyatie resheniy. 2009. №1. C. 31-45.
25. Yeremeev A.P., Korolev Yu.I. Seti Petri kak instrument dlya razrabotki intellektualnykh sistem podderzhki prinyatiya resheniy realnogo vremeni // Gibridnye i sinergeticheskie intellektualnye sistemy: teoriya i praktika. Materialy 1-go mezhdunarodnogo simpoziuma - Kaliningrad: Izd-vo BFU im. I. Kanta, 2012, ch. 2, S. 108-117.
26. Allen J. Maintaining knowledge about temporal intervals // Communications of the ACM. 1983. N.26 (11). P.832-843.
27. Plesnevich G.S. Metod analiticheskikh tablits dlya logiki sobytiy. // Trudy Mezhdunarodnoy konferentsii "Intellektualnoe upravlenie: novye intellektualnye tekhnologii v zadachakh upravleniya (ICIT'99)".– Pereslavl-Zalesskiy: IPS, 1999.
28. Ladkin, P., Anger F., Rodriguez R. Temporal reasoning with intervals in branching time. TR-90-028, International Computer Science Institute, 1990.
29. Rybina G.V., Demidov D.V. Modeli, metody i programmnye sredstva vyvoda v integrirovannykh ekspertnykh sistemakh // Inzhenernaya fizika. №2, 2007. C. 51-60.
30. Moore B. Questions and Answers about G2. // Copyright, Gensym Corporation. 1993. P. 26-28.
31. Rybina G.V., Shantser D.I., Lipatov A.A. Imitatsionnoe modelirovanie vneshnego mira pri postroenii dinamicheskikh integrirovannykh ekspertnykh sistem // Trinadtsataya natsionalnaya konferentsiya po iskusstvennomu intellektu s mezhdunarodnym uchastiem. Trudy konferentsii. T.3.– Belgorod: Izd-vo BGTU, 2012. S.179-185.