Logical Simulation of an Automated Technological System of Operations

It is proposed to use the language of mathematical logic (predicate logic) to construct models. Examples of the verbal descriptions of the proposed models for diagnostic processes are presented. In this paper the role played by logical simulation in the analysis of technological systems is considered. In addition to the practical application of this method for an automated technological system of operations (ATSO), the interactions between the components of this system are considered.