1. Science
  2. Видання
  3. Системи обробки інформації
  4. 1(152)'2018
  5. Apparatus of knowledge formalization for a support system of decision making by operators of air traffic automated control system

Apparatus of knowledge formalization for a support system of decision making by operators of air traffic automated control system

Ю.І. Полонський, С.Г. Шило, І.О. Борозенець, В.С. Мажаров
Системи обробки інформації. — 2018. — № 1(152). – С. 41-45.
UDK 623.765:681.513.6
Article language: english
Annotations languages:


Annotation: The article is devoted to the improvement of the information support system of decision-making processes by operators of the air traffic automated control system. The apparatus of knowledge base formalization of the subject domain was proposed, based on the basic factors of the categories theory and the existence calculus. It is proposed to present structures for description of objects with the help of objectives system. Axioms are formed based on the network model of tasks and objectives for each of the subtasks and the type of theory. The basis for their construction is the semantic network presentation of the object and the formulas of separate subobjects. Each presentation of the object in the theory of physical reality is mapped to the correspondence of the aggregate of information converters, which transform information about the original concepts that satisfy the initial conditions, into information about the resulting concepts that must meet the new conditions. As a result, the proposed formalization apparatus allows the synthesis of programs to solve decision-making support tasks.


Keywords: potentially conflict situations, information model, operator activity, categorical knowledge model
Reference:
Polonskii, Iu.І., Shilo, S.G., Borozenets, І.O. and Mazharov, V.S. (2018), Apparatus of knowledge formalization for a support system of decision making by operators of air traffic automated control system, Information Processing Systems, Vol. 1(152), pp. 41-45. https://doi.org/10.30748/soi.2018.152.06.