Abstract
Situational interactive mode organization is described for one class of interactive systems generated by the GRAF-PROTSESS system of productions using a given application domain model. Static correctness of the model is established by situational formalization using a special procedure which constructs the interactive system help function.
Similar content being viewed by others
Literature Cited
O. L. Perevozchikova and E. L. Yushchenko, Interactive Systems [in Russian], Naukova Dumka, Kiev (1990).
O. L. Perevozchikova, A. Yu. Boboshko, I. V. Krishtopa, et al., DISUPP — Interactive Application Package Management System [in Russian], Kiev (1990). Unpublished manuscript, GosFAP SSSR 06.09.90, No. 50900001073.
D. A. Pospelov, Situational Control: Theory and Practice [in Russian], Nauka, Moscow (1986).
A. Yu. Boboshko, G. É. Mikailov, O. L. Perevozchikova, and O. I. Tkachenko, Some Aspects of Using DISUPPP for Construction and Application of a Computational Mathematics Knowledge Base [in Russian], Kiev (1988). Unpublished manuscript, VINITI 15.12.88, No. 8778–1388.
O. S. Molokova, Development of Help Tools in Expert Systems [in Russian], Thesis. Unpublished manuscript, VNTITsentr No. 048.80 001378, Inst. Avtomatiki i Protsessov Upravleniya s Vychisl. Tsentrom, DO Akad. Nauk SSSR, Vladivostok (1986).
V. G. Ovchinnikov, "Computer-aided hypertext systems: function, architecture, and future development," Nauchno-Tekhnicheskaya Informatsiya, Ser. 1, Organizatsiya i Metodika Informatsionnoi Raboty, VINITI, Moscow, No. 12, 2–9 (1990).
V. V. Martynov, "USK-4 — a special language for knowledge representation and transformation," Izv. Akad. Nauk SSSR, Tekh. Kibern., No. 5, 71–75 (1989).
A. I. Migunov, "Using intensional logic models for description and enlargement of knowledge," Izv. Akad. Nauk SSSR, Tekh. Kibern., No. 5, 86–95 (1988).
Knowledge Representation in Man—Machine and Robotic Systems [in Russian], VINITI VTs Akad. Nauk SSSR, Moscow (1984).
V. I. Drakin, É. V. Popov, and A. B. Preobrazhenskii, Communication of End Users with Data Processing Systems [in Russian], Radio i Svyaz’, Moscow (1988).
L. Ermen, V. Lesser, and D. Reddy, "The Hearsay-II speech understanding system: integrating knowledge to resolve uncertainty," Comput. Surveys,12, No. 2, 213–218 (1980).
O. I. Tkachenko, Situational Knowledge Representation in Interactive Systems [in Russian], Thesis, IK Akad. Nauk UkrSSR, Kiev (1989).
Additional information
Translated from Kibernetika i Sistemnyi Analiz, No. 5, pp. 13–21, September–October, 1991.
Rights and permissions
About this article
Cite this article
Perevozchikova, O.L., Tkachenko, O.I. Situational interactive mode organization. Cybern Syst Anal 27, 646–652 (1991). https://doi.org/10.1007/BF01130533
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01130533