Formal model of knowledge processing in situational awareness systems
Journal Title: Vìsnik Nacìonalʹnogo unìversitetu "Lʹvìvsʹka polìtehnìka". Serìâ Ìnformacìjnì sistemi ta merežì - Year 2017, Vol 872, Issue
Abstract
In the article are described models and methods of formalizing and modeling process of decision making in systems with situation awareness (SAW systems). The definitions of mathematical formalization of situation are discussed. Also, the unifying algebraic model, allowing the usage of different tools for situation awareness modeling, based of Algebra of Systems was proposed. We analyze the term of description logic and its advantages and disadvantages. The mappings between algebraic model, description logic and interpreted systems are proposed.
Authors and Affiliations
Yevhen Burov, Khrystyna Mykich
Analytical review of medical mobile diagnostic systems
Existing mobile medical systems have been analyzed. It has been demonstrated that the existing systems are effective in different ways and have different efficacy. The choice of smart watch Apple Watch as a mobile medica...
Gamemethod of Coalitions Formation Inmulti-agent Systems
The stochastic game method of coalitions formation in multiagent systems is offered. Adaptive algorithm for stochastic game solving are developed. Computer modelling of stochastic game is executed. The parameter influenc...
The efficiency of using genetic algorithms to find optimized solutions
In the article the theoretical principles were justified, methodological and practical recommendations to enhance the effectiveness of the information system were proposed. The analysis of the basic models of genetic alg...
Features modeling syntax of sentence for Slavic and Germanic languages using generative context-free grammars
This paper presents the generative grammar application in linguistic modelling. Description of syntax sentence modelling is applied to automate the processes of analysis and the synthesis of texts in the natural language...
Methods and Means of Distance Learning for the Modern Youth Promotion and Involvement to Independent Scientific Research Conducting
New information, telecommunication technologies contribute to the optimization in the management of studies. This paper is devoted to the implementation of innovative approaches to improving the curriculum of higher educ...