Automation methods for logical derivation and their application in the control of dynamic and intelligent systems
S. N. Vassilyev, G. M. Ponomarev · Proceedings of the Steklov Institute of Mathematics · 2012
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 reaching target states in dynamic and intelligent systems.