KNOWLEDGE FORMALIZATION METHOD ABOUT THE SITUATION ANALYSIS OF THE SURVEY FOR THE SUPPORTING DECISION SYSTEM OF THE AUTOMATED AIR TRAFFIC CONTROL SYSTEM
The paper proposes an apparatus for formalizing knowledge of objects, relationships and goals of the management process, which takes into the features of the automated air traffic control system at the stage of assessing the situation, as well as the logical and analytical nature of decision-making...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
National Defence University of Ukraine named after Ivan Cherniakhovsky
2018-12-01
|
| Series: | Sučasnì Informacìjnì Tehnologìï u Sferì Bezpeki ta Oboroni |
| Subjects: | |
| Online Access: | http://sit.nuou.org.ua/article/view/154379 |
| Summary: | The paper proposes an apparatus for formalizing knowledge of objects, relationships and goals of the management process, which takes into the features of the automated air traffic control system at the stage of assessing the situation, as well as the logical and analytical nature of decision-making tasks by decision makers and the process of performing functional tasks.
As a basis, it is proposed to choose a combined model of knowledge formalization, which allows you to use the advantages of the apparatus of the system of target settings and the apparatus for calculating first-order predicates. To move from a scattered description of the properties of the subject area (SA) in a natural language or using a system of axioms to a single formalized model of knowledge about it, it is proposed to iteratively use the multi-stage procedure of knowledge formalization. To improve the descriptive capabilities of the developed method and to take into account the morphism isomorphism, a procedure for interpreting modal knowledge is proposed.
The proposed apparatus allows the submission of formalized descriptions for the following components of assessing situations (AS): combining disparate data from sources of information; identification of the type of AS in the responsibility area; conducting recognition of the degree of danger of AS and obtaining quantitative assessments characterizing them; identification of additional informational signs from the available data. |
|---|---|
| ISSN: | 2311-7249 2410-7336 |