Logical methods of object recognition on satellite images using spatial constraints

A logical approach to object recognition on image is proposed. The main idea of the approach is to perform the object recognition as a logical inference on a set of rules describing an object shape.