Qualitative spatial reasoning using orientation, distance, and path knowledge

We give an overview of an approach to qualitative spatial reasoning based on directional orientation information as available through perception processes or natural language descriptions. Qualitative orientations in 2-dimensional space are given by the relation between a point and a vector. The paper presents our basic iconic notation for spatial orientation relations that exploits the structure of the spatial domain and explores a variety of ways in which these relations can be manipulated and combined for spatial reasoning. Using this notation, we explore a method for exploiting interactions between space and movement in this space for enhancing the inferential power. Finally, the orientation-based approach is augmented by distance information, which can be mapped into position constraints and vice versa.

[1]  Gérard Ligozat,et al.  Qualitative Triangulation for Spatial Reasoning , 1993, COSIT.

[2]  Andreas Dieberger.  International Conference on Spatial Information Theory , 1995, LINK.

[3]  Anthony G. Cohn,et al.  Qualitative Simulation Based on a Logical Formalism of Space and Time , 1992, AAAI.

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

[5]  Amitabha Mukerjee,et al.  A Qualitative Model for Space , 1990, AAAI.

[6]  M. Egenhofer,et al.  Point-Set Topological Spatial Relations , 2001 .

[7]  Kai Zimmermann,et al.  Enhancing Qualitative Spatial Reasoning - Combining Orientation and Distance , 1993, COSIT.

[8]  Benjamin Kuipers.  Modeling Human Knowledge of Routes: Partial Knowledge and Individual Variation , 1983, AAAI.

[9]  Longin Jan Latecki,et al.  Orientation and Qualitative Angle for Spatial Reasoning , 1993, IJCAI.

[10]  Benjamin Kuipers,et al.  Representing Knowledge of Large-scale Space , 1977 .

[11]  Daniel Hernandez,et al.  Diagrammatical aspects of qualitative representations of space , 1992 .

[12]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[13]  Kai Zimmermann,et al.  Measuring without Measures: The Delta-Calculus , 1995, COSIT.

[14]  C. Freksa,et al.  Enhancing Spatial Reasoning by the Concept of Motion , 2000 .

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

[16]  Christian Freksa,et al.  Using Orientation Information for Qualitative Spatial Reasoning , 1992, Spatio-Temporal Reasoning.

[17]  Max J. Egenhofer,et al.  A Formal Definition of Binary Topological Relationships , 1989, FODO.

[18]  Christian Freksa,et al.  Temporal Reasoning Based on Semi-Intervals , 1992, Artif. Intell..

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

[20]  Tod S. Levitt,et al.  Qualitative Landmark-based Path Planning and Following , 1987, AAAI.

[21]  Christian Freksa,et al.  On the utilization of spatial structures for cognitively plausible and efficient reasoning , 1992, [Proceedings] 1992 IEEE International Conference on Systems, Man, and Cybernetics.

[22]  Anthony G. Cohn,et al.  An Interval Logic for Space Based on "Connection" , 1992, ECAI.

[23]  Michael E. Lesk,et al.  Route Finding in Street Maps by Computers and People , 1982, AAAI.