An Arrangement Calculus, Its Complexity and Algorithmic Properties

We define a calculus for spatial reasoning on a grid structure, present a logical calculus, investigate the complexity of the satisfiability problem, we prove its NP completeness and specify additionally a concrete algorithm for solving it.

[1]  Bernhard Nebel,et al.  Qualitative Spatio-Temporal Reasoning with RCC-8 and Allen's Interval Calculus: Computational Complexity , 2002, ECAI.

[2]  R. Shillcock,et al.  Proceedings of the Seventeenth Annual Conference of the Cognitive Science Society , 1995 .

[3]  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.

[4]  Dov M. Gabbay,et al.  Handbook of Philosophical Logic , 2002 .

[5]  M. Knauff,et al.  Preferred mental models in qualitative spatial reasoning: A cognitive assessment of Allen's calculus , 1995 .

[6]  Andrew U. Frank,et al.  Spatial Information Theory A Theoretical Basis for GIS , 1993, Lecture Notes in Computer Science.

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

[8]  Reinhold Rauh,et al.  A Cognitive Assessment of Topological Spatial Relations: Results from an Empirical Investigation , 1997, COSIT.

[9]  M. T. Escrig.  Qualitative Spatial Reasoning: Theory and Practice: Application to Robot Navigation , 1998 .

[10]  M. Teresa Escrig,et al.  A Framework Based on CLP Extended with CHRs for Reasoning with Qualitative Orientation and Positional Information , 1998, J. Vis. Lang. Comput..

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

[12]  Stuart C. Shapiro,et al.  Encyclopedia of artificial intelligence, vols. 1 and 2 (2nd ed.) , 1992 .

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

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

[15]  Bernhard Nebel,et al.  KI-97: Advances in Artificial Intelligence , 1997, Lecture Notes in Computer Science.