DOI: https://doi.org/10.33099/2311-7249/2018-33-3-93-98

KNOWLEDGE FORMALIZATION METHOD ABOUT THE SITUATION ANALYSIS OF THE SURVEY FOR THE SUPPORTING DECISION SYSTEM OF THE AUTOMATED AIR TRAFFIC CONTROL SYSTEM

Serhii G. Shilo, Oleg M. Dmitriev, Irina V. Novikova

Abstract


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.


Keywords


decision maker; functional tasks; presentation of knowledge; apparatus of formalization; expert knowledge; predicate calculus; morphisms; modality

References


Regulations on Air Traffic Services Personnel Training in the State Air Traffic Service ofUkraine/ Training andCertificationCenterof the State Air Traffic Service ofUkraine. – 2009. – 64 p.

Dnipropetrovsk RSP of Zaporizhya OSP service. Working instructions of the airfield control tower of Zaporizhye, – 2013. – 91 p.

Operating instruction of the air traffic control manager at the TOWER workplace ofDonetsk. – 2009. – 44 p.

Formalized description of the process of selection of information signs for forming the model of the air environment / Y.Polonsky, I.Borosenets, S.Shilo, M. Litvinenko // Collection of scientific works of Kharkiv National University of Air Forces – 2016. – № 2. – p. 115-117.

Distribution of the time of airspace assessment by the decision maker in the control service of the unified air traffic control system / M.Pavlenko, S.Shilo, I.Borosezen, Y.Polonsky // Information processing systems. – 2016. – № 8. – p. 37–39.

Formalization of the activity of the human operator-operator of the aviation argotic system in non-emergency situations / T.Shmelev, Y.Sikirda // Radioelectronic and computer systems. – 2010. – №. 5. – p. 296–300.

Mathematical foundations of ergonomic research: monograph / P.Berdnik, G.Kuchuk, N.Kuchuk, D.Obidin, M.Pavlenko, A.Petrov, V.Rudenko, O.Timochko, - Kropivnitsky: NAU, 2016. – 248 p.

Dubois, D. and Prade, H. (2012), Possibility theory: an approach to computerized processing of uncertainty, Springer Science & Business Media, 216 p.

Kharchenko V., Shmelyova T., Sikirda Y. Decision making by the operator of the air navigation system: monograph / V.Kharchenko, T.Shmelev, Y.Sikirda, –Kirovograd: NAU, 2012. - 292 p.

Bondarenko M. Theory of Intellect / M.Bondarenko, Y.Shabanov-Kushnarenko. – Kharkiv: SMIT Company, 2006. – 576 p.

Totsenko V. Methods and systems for decision support / Algorithmic aspect. -K .: Scientific thought, 2002. – 382 p.

Yarushek V., Prokhorov V., Sudakov B., Mishin A. Theoretical bases of automation of processes of development of decisions in control systems. – Kharkiv: KhVU, 1993. – 446 p.

Dzharratano D., Riley G. Expert Systems: Principles of Development and Programming, 4th Edition. Williams Publishing House, 2007.

Shilo S. Model for assessing the operational situation of an emergency situation by the operational dispatch service of the Ministry of Emergencies / S.Shilo, A.Feshchenko and others // Collection of scientific works of the UZHS of Ukraine. – 2009. – #9. – p. 170-176.


GOST Style Citations


1. Положення про професійну підготовку персоналу організації повітряногоруху в державному підприємстві обслуговування повітряного руху України / Навчально-сертифікаційний центр Державного підприємства обслуговування повітряного руху України. – 2009. – 64 с.

2. Дніпропетровський РСП Запорізької служби ОПР. Робоча інструкція аеродромної диспетчерської вишки Запоріжжя, – 2013. – 91 с.

3. Рабочая инструкция диспетчера управления воздушным движением на рабочем месте TOWER Донецкого АДЦ. – 2009. – 44 с.

4. Формалізований опис процесу відбору інформаційних ознак для формування моделі повітряної обстановки / Ю.І. Полонський, І.О. Борозенець, С.Г. Шило, М.І. Литвиненко // Збірник наукових праць Харківського національного університету Повітряних Сил – 2016. – № 2. – С. 115-117.

5. Павленко М. А. Розподіл часу оцінки повітряної обстановки особою, що приймає рішення, в диспетчерській службі єдиної системи управління повітряним рухом / М. А. Павленко, С. Г. Шило, І. О. Борозенець, Ю. І. Полонський  // Системи обробки інформації. – 2016. – № 8. – С. 37–39.

6. Шмелева, Т.Ф. Формализация деятельности человека-оператора авиационной эргатической системы во внештатных ситуациях / Т.Ф. Шмелева, Ю.В. Сикирда // Радіоелектронні і комп’ютерні системи. – 2010. – №. 5. – С. 296–300.

7. Математические основы эргономических исследований : монография / П. Г. Бердник, Г. А. Кучук, Н. Г. Кучук, Д. Н. Обидин, М.А. Павленко, А.В. Петров, В.Н. Руденко, О.И. Тимочко. – Кропивницкий : КЛА НАУ, 2016. – 248 с.

8. .Dubois, D. and Prade, H. (2012), Possibility theory: an approach to computerized processing of uncertainty, Springer Science & Business Media, 216 p.

9. Харченко В.П., Шмельова Т.Ф., Сікірда Ю.В. Прийняття рішень оператором аеронавігаційної системи: монографія / В.П. Харченко, Т.Ф. Шмельова, Ю.В. Сікірда. - Кіровоград: КЛА НАУ, 2012. - 292 с.

10. Бондаренко М. Ф. Теория интеллекта / М. Ф. Бондаренко, Ю. П. Шабанов-Кушнаренко. – Харьков: Компания СМИТ, 2006. – 576 с.

11. Тоценко В.Г. Методы и системы поддержки принятия решений / Алгоритмический аспект. –К.: Наукова думка, 2002. – 382с.

12. Ярушек В.Е., Прохоров В.П., Судаков Б.Н., Мишин А.В. Теоретические основы автоматизации процессов выработки решений в системах управления. – Харьков: ХВУ, 1993. – 446 с.

13. Джарратано Д., Райли Г. Экспертные системы: принципы разработки и программирование, 4-е издание. – Издательский дом Вильямс, 2007.

14. Шило С.Г. Модель оцінки оперативної обстановки надзвичайної ситуації оперативно-диспетчерською службою МНС / С.Г. Шило, А.Б. Фещенко та інш. // Збірник наукових праць УЦЗ України. – 2009. – Вип. 9. – С. 170-176.





ISSN 2410-7336 (Online)

ISSN 2311-7249 (Print)