论文信息 - Where do Logic and Computer Vision meet

Where do Logic and Computer Vision meet

In this position paper, after giving a short overview of computer vision, we argue for the need of considering applications while devising theories that deal with space. We present the spatial coherence constraint, which is imposed by nature on vision. Finally, we suggest a possible bridge to connect computer vision with spatial reasoning.

Marco Aiello | A.W.M. Smeulders | A. Smeulders | Marco Aiello

[1] Johan van Benthem,et al. The Logic of Time , 1983 .

[2] M. de Rijke,et al. Spatial Reasoning for Image Retrieval , 1999, Description Logics.

[3] J.F.A.K. van Benthem,et al. Modal Correspondence Theory , 1977 .

[4] Arnold W. M. Smeulders,et al. Crossing the Divide Between Computer Vision and Databases in Search of Image Databases , 1998, VDB.

[5] R. Weale. Vision. A Computational Investigation Into the Human Representation and Processing of Visual Information. David Marr , 1983 .

[6] Marco Aiello,et al. Teaching Via the Web: A Self-Evaluation Game Using Java for Learning Logical Equivalence , 1999, WebNet.

[7] Michiel van Lambalgen,et al. A Logic of Vision , 2000 .

[8] Mehdi Dastani,et al. Languages of perception , 1998 .

[9] Luc Florack,et al. Image Structure , 1997, Computational Imaging and Vision.

[10] E. C. Dowse. Van der does , 1921 .

[11] Laure Vieu,et al. Toward a Geometry of Common Sense: A Semantics and a Complete Axiomatization of Mereotopology , 1995, IJCAI.

[12] Kees Doets,et al. Basic model theory , 1996, Studies in logic, language and information.

[13] Eric Hammer,et al. Logic and Visual Information , 1995 .

[14] R. W. Ditchburn. Seeing is Deceiving: The Psychology of Visual Illusions , 1979 .