In this paper we put forward a logical-structure method for recognition of objects on high resolution satellite images. This approach is based on logical reasoning with the use of structural description of objects. A search for object boundaries on an image is implemented as a unification of the built-in predicate line with account for the set of… (More)
To solve the problems of urban object recognition a logical method using its structural specifications is proposed. The main idea of the method is to perform the object recognition as a logical inference on the set of rules, describing the correct object shape.