Vasylenko D. Methods for building a decision support system for air traffic services for solving air traffic control problems

The dissertation is devoted to the solution of the actual scientific problem related to the development of methods of formalization, replenishment and control of knowledge correctness for decision support system, designed to solve problems of air traffic control in the direct preparation and in the course of functioning in real time. Scientific novelty of the obtained results is that: has received further development of the method of formalizing knowledge about the tasks of air traffic services, which are solved in the direct preparation and in the course of operational management, in which, unlike the known, a description of various aspects of knowledge about these tasks performed in the framework of a single formalism based on four-dimensional logic of presence with expanded descriptive properties, principles of hierarchy, structuring and object-oriented approach to building a knowledge base of decision support systems, which allows, with the precision of isomorphism, to reflect the structure and content of the network model of the subject area, comprehensively and fully describe the pragmatic aspect of knowledge about the maintenance of air traffic, to simplify and speed up the search for solutions in the absence of time to make decisions, to provide air traffic services in real time; he method of replenishment of the hierarchical knowledge base of the decision support system improved for the operational management of air traffic services, which, unlike the known ones, differs from the using of address matrices and tables, which allowed to reduce their dimension and simplify the organization of logical interconnections between elements of the hierarchical knowledge base, and using parsing methods to allocate relevant knowledge located in libraries of knowledge base of different levels; the method of controlling the correctness of the knowledge of the knowledge base of the decision support system for the operational management of air traffic control services is improved, which, unlike the known ones, differs by exercising control over the relations between the target instructions, evaluating objects in the descriptions of the target guidelines and rules of the use of resources and their stock of actions.