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
Keywords
Related Articles
- EP ID EP576405
- DOI -
- Views 174
- Downloads 0
The Problem of Optimal Tasks Processing in Nodes of the Distributed Information System
The problem of optimal processing tasks in the nodes of a distributed information system on the basis of a mathematical model belonging to a class of two-clustering problems, for which an optimization problem with a frac...
Big data model “entity-characteristic”
The problem that led to a Big database has been described in the article. The NoSQL databases features and categories are outlined. Big data model "entity-characterization" is introduced. This model allows to determin th...
File Structures Development for Optimal Visualization of Electromagnetic Data for Geophysical Study
Problems of geophysical data acquisition as well as their groups, characteristics and types are analyzed in the article as a component of information technology. On the base of detailed analysis of geophysical data acqui...
Architecture for the Information System of the Cryptocurrency Content Integration and Formation on the Basis of the Exchange Activity Analysis
The processes of content analysis, integration and formation with the consideration of cryptographic needs of the user are investigated. Using the developed formal model and conducted a critical analysis of methods and t...
Designing the Semistructured Data Dynamic Integration System Using Mash-up Technology
This paper describes the designing of semi-structured data dynamic integration system using Mash-Up technology. The functional requirements to dynamic data integration system based on Mash-Up technology have been charact...