The paper proposes a method for processing and formalizing the messages of operators in automated air traffic control system on limited interaction language. The model of the limited natural interaction language is obtained, that takes into account peculiarities of the professional language of users and the internal language of the intellectual system. Texts of a limited natural language represent a surface structure of the language of interaction, expression of the internal language of interaction of the intellectual system represent a level of meaning. The surface-syntactic level of the language is specified by the structure of the noun phrases, the deep level by the trees of the syntactic subordination, in which semantic relations are established. At the same time, the links between the word forms are established not only with the knowledge of the syntax of the language, but also with the knowledge of the subject area and the semantics of the internal language intellectual system. To transfer from one level to another, it is suggested to use a multi-level description of the interaction language. Intermediate levels at transition from the surface structure of the messages to the level of meaning are noun phrases and the trees of the syntactic subordination.

No abstract

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.

Significance. A human-operator cannot conduct a situation assessment in a timely manner and to react in a proper manner when situation changes. The problem is worsening with the uncertain procedure of selection of dispatchers for duty shifts in control centers and their adequate preparation to carry out the tasks for intended purpose. This doesn't allow to reach the adequate level of competency during the process of their professional activities. Aim of the article. Developing an imitation model of the operator's complex activities to make a decision based on the situation assessment. The results of the work. The analysis of automated air traffic control system (AATCS) operator activities while assessing the situation with use of existing automation complexes allowed to identify following limitations of informational support of AATCS, which are influencing the effectiveness of its work. Most of the time of situation assessment (up to 41%) is spent by operator to receive additional information from another decision makers and informational elements, showed as part of informational model (IM). These time expenditures are due to low level of information content of information elements presented as part of IM and which are not corresponding to the character of the operator's activity in situation assessment. Methods for reducing the errors of the ACS operator can be divided into the following groups: automation of the most complex operations; introduction of information redundancy at the stage of designing systems for ensuring operators activities; increasing the workload of operators; advanced training for the operator; increased responsibility for errors with increasing interest in error-free operation etc. Conclusions. The generalized analysis of the operator's activity is conducted, the features of the operator's work with the information model are marked; the directions of the conceptual model formation in the decision-making process during the situation assessment are determined; simulation modeling has been carried out and a model of the operator's activity has been developed for the study of the activities of decision-makers during the situation assessment; giving the estimation of time expenses for performance of the various actions connected with the analysis of information models in various conditions.