Interface modeling algorithms for dispatch control

The article offers mathematical tools for programming dispatcher tasks on programmable logic matrices, which allow to obtain closed axiomatic models of the dispatcher’s professional activity in the course of the dispatcher’s dialogue with the computer and implement it in the form of optimal combinational logic schemes with pairwise alternative outputs. These tools implement a user-friendly interface for modeling a logically complete consistent system of axioms written in the production language in a tabular form that resembles decision tables with a limited input. The modeling dialog completely frees the dispatcher from the need to know the properties of axiomatic models and requires only professional skills of dispatcher management. Its function in this dialogue is only to specify the desired action in a specific situation that occurs during the object management process. Such situations are constantly formed during the field work in crop production. Sudden failure of power units, two or three-day period of adverse weather increases the risk of violation of agricultural deadlines. This requires prompt decision - making on re-completing units, changing the plan of mechanized work. The search of all possible situations and obtaining on their basis an optimal set of consistent products closing the axiomatic model is provided exclusively by the interface software, which is developed using algorithms for negating and minimizing disjunctive normal forms of logical functions and includes software tools for modeling logically complete consistent decision tables and optimizing them in order to obtain optimal combinational logical devices with their subsequent hardware implementation in the form of microchips. In addition, these software tools are offered as one of the tools for software implementation of branched algorithms with high complexity indicators according to M. V. Arapov in the automated design of control systems for various purposes.