The Use of Mathematical Logic in the Automated Decoding of Images

In this paper we consider the current issues of automated interpretation of images of the terrain required in the modeling and visualization of data in geographic information systems. The aim of the work is to develop a method of interpretation of multispectral space images of area objects of the terrain, which takes into account the structural features of the images and with high accuracy makes a decision on the belonging of the object to the class. For this purpose, it is proposed to use the methods of traditional mathematical logic and fuzzy logic. The specific problems, the solution of which is expedient to produce methods of mathematical logic, are considered. However, real phenomena are described by many interrelated attributes. The ways of such interaction are unpredictable, so there is a need to apply the concept of fuzziness to the information obtained in solving the problems of classification of geoinformation objects, in particular, aerospace images.