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 |
| _version_ | 1828413901627195392 |
|---|---|
| author | Serhii G. Shilo Oleg M. Dmitriev Irina V. Novikova |
| author_facet | Serhii G. Shilo Oleg M. Dmitriev Irina V. Novikova |
| author_sort | Serhii G. Shilo |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-12-10T13:17:45Z |
| format | Article |
| id | doaj.art-c4b66f46ec6f42138472eb166057c446 |
| institution | Directory Open Access Journal |
| issn | 2311-7249 2410-7336 |
| language | English |
| last_indexed | 2024-12-10T13:17:45Z |
| publishDate | 2018-12-01 |
| publisher | National Defence University of Ukraine named after Ivan Cherniakhovsky |
| record_format | Article |
| series | Sučasnì Informacìjnì Tehnologìï u Sferì Bezpeki ta Oboroni |
| spelling | doaj.art-c4b66f46ec6f42138472eb166057c4462022-12-22T01:47:29ZengNational Defence University of Ukraine named after Ivan CherniakhovskySučasnì Informacìjnì Tehnologìï u Sferì Bezpeki ta Oboroni2311-72492410-73362018-12-01333939810.33099/2311-7249/2018-33-3-93-98154379KNOWLEDGE FORMALIZATION METHOD ABOUT THE SITUATION ANALYSIS OF THE SURVEY FOR THE SUPPORTING DECISION SYSTEM OF THE AUTOMATED AIR TRAFFIC CONTROL SYSTEMSerhii G. Shilo0Oleg M. Dmitriev1Irina V. Novikova2Kharkov National Air Force University named after Ivan KozhedubКirovograd pilot academy National Air UniversityNational University of Defense of Ukraine after Ivana ChernyahovskogoThe 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.http://sit.nuou.org.ua/article/view/154379decision makerfunctional taskspresentation of knowledgeapparatus of formalizationexpert knowledgepredicate calculusmorphismsmodality |
| spellingShingle | Serhii G. Shilo Oleg M. Dmitriev Irina V. Novikova KNOWLEDGE FORMALIZATION METHOD ABOUT THE SITUATION ANALYSIS OF THE SURVEY FOR THE SUPPORTING DECISION SYSTEM OF THE AUTOMATED AIR TRAFFIC CONTROL SYSTEM Sučasnì Informacìjnì Tehnologìï u Sferì Bezpeki ta Oboroni decision maker functional tasks presentation of knowledge apparatus of formalization expert knowledge predicate calculus morphisms modality |
| title | KNOWLEDGE FORMALIZATION METHOD ABOUT THE SITUATION ANALYSIS OF THE SURVEY FOR THE SUPPORTING DECISION SYSTEM OF THE AUTOMATED AIR TRAFFIC CONTROL SYSTEM |
| title_full | KNOWLEDGE FORMALIZATION METHOD ABOUT THE SITUATION ANALYSIS OF THE SURVEY FOR THE SUPPORTING DECISION SYSTEM OF THE AUTOMATED AIR TRAFFIC CONTROL SYSTEM |
| title_fullStr | KNOWLEDGE FORMALIZATION METHOD ABOUT THE SITUATION ANALYSIS OF THE SURVEY FOR THE SUPPORTING DECISION SYSTEM OF THE AUTOMATED AIR TRAFFIC CONTROL SYSTEM |
| title_full_unstemmed | KNOWLEDGE FORMALIZATION METHOD ABOUT THE SITUATION ANALYSIS OF THE SURVEY FOR THE SUPPORTING DECISION SYSTEM OF THE AUTOMATED AIR TRAFFIC CONTROL SYSTEM |
| title_short | KNOWLEDGE FORMALIZATION METHOD ABOUT THE SITUATION ANALYSIS OF THE SURVEY FOR THE SUPPORTING DECISION SYSTEM OF THE AUTOMATED AIR TRAFFIC CONTROL SYSTEM |
| title_sort | knowledge formalization method about the situation analysis of the survey for the supporting decision system of the automated air traffic control system |
| topic | decision maker functional tasks presentation of knowledge apparatus of formalization expert knowledge predicate calculus morphisms modality |
| url | http://sit.nuou.org.ua/article/view/154379 |
| work_keys_str_mv | AT serhiigshilo knowledgeformalizationmethodaboutthesituationanalysisofthesurveyforthesupportingdecisionsystemoftheautomatedairtrafficcontrolsystem AT olegmdmitriev knowledgeformalizationmethodaboutthesituationanalysisofthesurveyforthesupportingdecisionsystemoftheautomatedairtrafficcontrolsystem AT irinavnovikova knowledgeformalizationmethodaboutthesituationanalysisofthesurveyforthesupportingdecisionsystemoftheautomatedairtrafficcontrolsystem |