Description: Development of advanced air traffic control systems requires the development of new approaches to the design and development of special mathematical and software. One of the promising ways to improve special software is the use of expert systems for real-time solutions to complex management problems. To develop the knowledge base and data of such systems is necessary to develop a method of formalization of knowledge of different nature, describing the evolving situation from different points of view and taking into account the dynamic nature of the management objects. Formalize the knowledge developed method, too, must implement the logical output in real time.
Keywords: the formalization of knowledge, knowledge, knowledge base, expert system