Method of formalization of processes of recognition of types of air objects on the basis of using the mathematical apparatus of algebra of predicates was developed in the article. The method is based on the definition of semantic components at the stage of preliminary information processing in the formation of a radar, spectral image and allows to obtain significant decreases in the volume of transmitted data.. In automated military systems, the recognition of aircraft types is necessary for constructing a plan of tactical and strategic measures and choosing an algorithm for countering an air enemy. A successful solution of the problem affects the quality of combat operations.
algebra of predicates, recognition of air objects, spectral image, human operator