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.

[1]  Umberto Straccia,et al.  A model of information retrieval based on a terminological logic , 1993, SIGIR.

[2]  S. Kosslyn.  Seeing and Imagining in the Cerebral Hemispheres: A Computational Approach , 1988 .

[3]  Fabrizio Sebastiani,et al.  A probabilistic terminological logic for modelling information retrieval , 1994, SIGIR '94.

[4]  Azriel Rosenfeld,et al.  Picture languages—a survey , 1993 .

[5]  P. Johnson-Laird.  Mental models , 1989 .

[6]  C. J. van Rijsbergen,et al.  A New Theoretical Framework for Information Retrieval , 1986, SIGIR Forum.

[7]  Raymond Reiter,et al.  Towards a Logical Reconstruction of Relational Database Theory , 1982, On Conceptual Modelling.

[8]  Dana H. Ballard,et al.  Computer Vision , 1982 .

[9]  Henry Kautz,et al.  Vivid Knowledge and Tractable Reasoning: Preliminary Report , 1989, IJCAI 1989.

[10]  Raymond Reiter,et al.  A Logical Framework for Depiction and Image Interpretation , 1989, Artif. Intell..

[11]  D. Davidson.  Truth and Meaning , 1967 .

[12]  Janice I. Glasgow,et al.  THE IMAGERY DEBATE REVISITED: A COMPUTATIONAL PERSPECTIVE , 1993 .

[13]  Kenneth D. Forbus.  Image and Substance: A note on Glasgow's "The imagery Debate Revisited: A Computational Perspective": Computational Intelligence , 1993 .

[14]  H. Levesque.  Logic and the complexity of reasoning , 1988 .

[15]  W. Niblack,et al.  Image Storage and Retrieval Systems , 1992 .

[16]  R. K. Lindsay.  Images and inference , 1988, Cognition.

[17]  Michael L. Brodie,et al.  On Conceptual Modelling , 1984, Topics in Information Systems.

[18]  C. J. van Rijsbergen,et al.  A Non-Classical Logic for Information Retrieval , 1997, Comput. J..

[19]  Anthony G. Cohn,et al.  A Spatial Logic based on Regions and Connection , 1992, KR.

[20]  Carlo Meghini,et al.  Conceptual modeling of multimedia documents , 1991, Computer.

[21]  Toshikazu Kato,et al.  Query by Visual Example - Content based Image Retrieval , 1992, EDBT.

[22]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .