Image-Schemata-Based Spatial Inferences: The Container-Surface Algebra

Algebras over spatial relations have become an important aspect of spatial reasoning for retrieving and handling large and complex spatial data sets. While such spatial relations play a fundamental role in specifying constraints in a spatial query language, there has been little concern as to whether existing spatial-relation algebras are cognitively plausible. In order to construct more intuitive and easier-to-use spatial query languages, this work pursues an alternative approach to spatial reasoning based on a small set of operators derived from concepts closely related to human thinking. The work focuses on a set of operators that are associated with the behavior of image schemata—recurrent patterns that people learn through bodily experiences and use for understanding the meaning of objects and situations. A study of a small-scale space, involving the surface and container schemata, describes objects in this space and the possible spatial relations among them. The informal description of these configurations are translated into a formal algebraic specification and generalized for spatial relations in a scene that involves surface and container schemata. This formalization axiomatizes spatial inferences that are then applied and compared to a larger geographic space. As a result, a small set of spatial operators are defined that apply to small- and large-scale spaces; however, these operators show discrepancies when applied to a combination of objects belonging to different scales. Interactive spatial query languages and spatial inference engines may be built on such basic spatial concepts as image schemata if they account for the differences in types, nature, and sizes of objects.

[1]  G. Lakoff,et al.  Women, Fire, and Dangerous Things: What Categories Reveal about the Mind , 1988 .

[2]  Barbara Tversky,et al.  Spatial Information Theory A Theoretical Basis for GIS , 1993, Lecture Notes in Computer Science.

[3]  Max J. Egenhofer,et al.  Advances in Spatial Databases , 1997, Lecture Notes in Computer Science.

[4]  Scott M. Freundschuh,et al.  Spatial Image Schemata, Locative Terms, and Geographic Spaces in Children's Narrative: Fostering Spatial Skills in Children , 1995 .

[5]  Barry Smith,et al.  On Drawing Lines on a Map , 1995, COSIT.

[6]  V. Stavridou,et al.  Abstraction and specification in program development , 1988 .

[7]  Jean-Claude Falmagne,et al.  Mathematical psychology : current developments , 1991 .

[8]  Max J. Egenhofer,et al.  Human conceptions of spaces: Implications for GIS , 1997 .

[9]  Werner Kuhn,et al.  Metaphors Create Theories For Users , 1993, COSIT.

[10]  David M. Mark,et al.  Naive Geography , 1995, COSIT.

[11]  Andrew U. Frank,et al.  Qualitative Spatial Reasoning with Cardinal Directions , 1991, ÖGAI.

[12]  Benjamin Kuipers,et al.  Modeling Spatial Knowledge , 1978, IJCAI.

[13]  Donald Michie,et al.  Machine Intelligence 4 , 1970 .

[14]  Patrick J. Hayes,et al.  Naive physics I: ontology for liquids , 1989 .

[15]  G. Lakoff,et al.  Metaphors We Live By , 1980 .

[16]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[17]  Stephen C. Hirtle,et al.  Knowledge Representation of Spatial Relations , 1991 .

[18]  Roger Bailey.  Functional programming with HOPE , 1990, Ellis Horwood series in computers and their applications.

[19]  Mark L. Johnson.  The body in the mind: the bodily basis of meaning , 1987 .

[20]  Jayant Sharma,et al.  Inferences from Combined Knowledge about Topology and Directions , 1995, SSD.

[21]  M. Egenhofer,et al.  On the Robustness of Qualitative Distance- and Direction-Reasoning * 1 , 1995 .

[22]  Christian Freksa,et al.  Qualitative spatial reasoning , 1990, Forschungsberichte, TU Munich.

[23]  G. Lakoff,et al.  Experiential and Formal Models of Geographic Space , 1995 .

[24]  G. Lakoff,et al.  Metaphors We Live by , 1982 .

[25]  Johan de Kleer,et al.  Readings in qualitative reasoning about physical systems , 1990 .

[26]  Daniel Hernández,et al.  Qualitative Representation of Spatial Knowledge , 1994, Lecture Notes in Computer Science.

[27]  Andrew U. Frank,et al.  A Formalization of Metaphors and Image-Schemas in User Interfaces , 1991 .

[28]  David M. Mark,et al.  Cognitive and Linguistic Aspects of Geographic Space: New Perspectives on Geographic Information Research , 1991 .

[29]  Max J. Egenhofer,et al.  Deriving the Composition of Binary Topological Relations , 1994, J. Vis. Lang. Comput..