Radio-Emitting Objects State Recognition Based on Formal Systems under a Priori Uncertainty

On the basis of formal systems the problem of creating knowledge models for the task of recognition of radio-emitting objects and their states in terms of a priori uncertainty is considered. As a formal system the first order predicate calculus extended by aletic modal logic operators is used. The mechanism of logical inference is developed using a modified method of resolutions. The examples of construction of knowledge models, implemented with the use of expert system are given and experimental studies, which confirmed their effectiveness and high reliability of the results achieved, are carried out.