Formal and Logic Models of Knowledge and the Procedure for Logical Inference in the Problems of Recognition of Radio-Emitting Objects and their States

The problem of formalizing the computational- logical problem of recognizing radio-emitting objects and their states on the basis of the formal-logical approach is considered. As a formal system for creating logical models of knowledge and a logical inference procedure, calculus of first-order predicates is used. A new method for formalizing the problem was developed, which ensured the creation of an intelligent expert system for recognizing radio-emitting objects and their states. Experimental studies were carried out, which confirmed their effectiveness and high reliability of the results.