Automation methods for logical derivation and their application in the control of dynamic and intelligent systems

The paper is devoted to developing methods of knowledge representation and processing for automated solving of some classes of problems, including the search for logical derivations, synthesis of conditions for derivability, and action planning. The capabilities of the methods are illustrated by examples of problems of attaining target states in dynamic and intelligent systems.