zbMATH — the first resource for mathematics

Constructive semantics of anthropocentric systems for development and analysis of specifications for onboard intelligent systems. (English. Russian original) Zbl 1066.68554
J. Comput. Syst. Sci. Int. 37, No. 5, 796-806 (1998); translation from Izv. Akad. Nauk, Teor. Sist. Upr. 1998, No. 5, 140-151 (1998).
Summary: Anthropocentric systems – complex systems involving humans and equipment – are analyzed with respect to the content of and the approaches to the set of all problems solved by these systems. In a system, three global control levels and the hierarchically ordered semantic networks of typical situations and subsituations of the system operation are introduced. It is shown that functional integrity of the specifications of the system algorithms may be provided by constructing the schemes of the algorithms for the computers of the system and the decision graphs (operation algorithms) for the operators for each situation and subsituation. The need for the development of new types of algorithms for the first and the second global control levels is shown.

68T35 Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence