Logical image modelling and retrieval

A logical model of images is presented, as a theoretical foundation of information systems allowing the retrieval of images on the basis of their form (typically via visual queries) and content. The proposed model offers a multiple representation of images, extending along three dimensions: form, content and abstraction. At each dimension, a first-order logic is postulated as a representation and reasoning tool, and one specific logic is introduced for the first of these dimensions, the one dealing with the form of images. A query on images is modelled along the same three dimensions and by means of the same logics. This allows us to model the image retrieval process by the relation of classical logical implication, i.e. an image is retrieved if it logically implies the query.