Empirical Complexity Issues of Practical Qualitative Spatial Reasoning about Relative Position

Qualitative knowledge about relative distance and orientation can be expressed in form of ternary point relations. Results by Scivos and Nebel showed that Freksa’s Double Cross calculus is NP -hard. However the question whether ternary point configuration calculi are useful for polynomial but incomplete reasoning is still open. In our paper we give first results on a scenario with a simple simulated robot and reasoning with a recently developed application oriented variant of the Double Cross calculus.

[1]  Peter B. Ladkin,et al.  On binary constraint problems , 1994, JACM.

[2]  Christoph Schlieder,et al.  Reasoning About Ordering , 1995, COSIT.

[3]  Reinhard Moratz,et al.  Qualitative Spatial Reasoning about Line Segments , 2000, ECAI.

[4]  Bernhard Nebel,et al.  Qualitative Spatial Reasoning about Relative Position: The Tradeoff between Strong Formal Properties and Successful Reasoning about Route Graphs , 2003, Spatial Cognition.

[5]  Alexander Reinefeld,et al.  Effective Solution of Qualitative Interval Constraint Problems , 1992, Artif. Intell..

[6]  Bernhard Nebel,et al.  On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus , 1999, Artif. Intell..

[7]  Bernhard Nebel,et al.  Double-Crossing: Decidability and Computational Complexity of a Qualitative Calculus for Navigation , 2001, COSIT.

[8]  Eliseo Clementini,et al.  Qualitative Representation of Positional Information , 1997, Artif. Intell..

[9]  S. Levinson.  Frames of reference and Molyneux's question: Cross-linguistic evidence , 1996 .

[10]  A. Cohn,et al.  Qualitative spatial reasoning: A new approach to cyclic ordering of 2D orientations , 2000 .

[11]  Kerstin Fischer,et al.  Spatial Knowledge Representation for Human-Robot Interaction , 2003, Spatial Cognition.

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

[13]  Christian Freksa,et al.  Qualitative spatial reasoning using orientation, distance, and path knowledge , 2004, Applied Intelligence.

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

[15]  Thomas Röfer,et al.  Route Navigation Using Motion Analysis , 1999, COSIT.

[16]  Anthony G. Cohn,et al.  Qualitative Spatial Representation and Reasoning Techniques , 1997, KI.