Auto-epistemic logic for expert system´s inference engine

In this article rated the use of modal logic as expert system´s inference engine. For example, auto-epistemic logic is an evolution of the one of famous modal logic - McDermott modal logic. Nonmonotonic property is an essential thing of those systems. It increase to inference engine the flexibility in vagueness conditions, but there is a severity of mathematical apparatus. Such as fundamental properties as fullness and adequacy rated, and thanks to this properties that we may to say about right results of the inference system. Given a notion of the normal modal system and pointed out the axioms, at the expense of which this systems stand more fullness. Given a decision procedure for the auto-epistemic logic and described situations, at which the use of this procedure has many advantages for expert system´s inference engine.