LOGICAL IMAGE MODELING 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 mo del 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, th e one dealing with the form of images. A query on images is modelled a long the same three dimensions and by means of the same logics. This a llows us to model the image retrieval process by the relation of class ical logical implication, i.e. an image is retrieved if it logically i mplies the query.