Spatial Reasoning with Topological Information
This chapter summarizes our ongoing research on topological spatial reasoning using the Region Connection Calculus. We are addressing different questions and problems that arise when using this calculus. This includes representational issues, e.g., how can regions be represented and what is the required dimension of the applied space. Further, it includes computational issues, e.g., how hard is it to reason with the calculus and are there efficient algorithms. Finally, we also address cognitive issues, i.e., is the calculus cognitively adequate.
KeywordsModal Logic Base Relation Accessibility Relation Canonical Model Kripke Model
Unable to display preview. Download preview PDF.
- [Ben94]Brandon Bennett. Spatial reasoning with propositional logic. In J. Doyle, E. Sandewall, and P. Torasso, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the 4th International Conference, pages 51–62, Bonn, Germany, May 1994. Morgan Kaufmann.Google Scholar
- [Ben95]Brandon Bennett. Modal logics for qualitative spatial reasoning. Bulletin of the IGPL, 4(1), 1995.Google Scholar
- [Coh97]Anthony G. Cohn. Qualitative spatial representation and reasoning techniques. In G. Brewka, C. Habel, and B. Nebel, editors, KI-97: Advances in Artificial Intelligence, volume 1303 of Lecture Notes in Computer Science, pages 1–30, Freiburg, Germany, 1997. Springer-Verlag.Google Scholar
- [Ege91]Max J. Egenhofer. Reasoning about binary topological relations. In O. Günther and H.-J. Schek, editors, Proceedings of the Second Symposium on Large Spatial Databases, SSD’91, volume 525 of Lecture Notes in Computer Science, pages 143–160. Springer-Verlag, Berlin, Heidelberg, New York, 1991.Google Scholar
- [Fit93]Melvin C. Fitting. Basic modal logic. In D. M. Gabbay, C. J. Hogger, and J. A. Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming — Vol. 1: Logical Foundations, pages 365–448. Oxford, Clarendon Press, 1993.Google Scholar
- [GPP95]Michelangelo Grigni, Dimitris Papadias, and Christos Papadimitriou. Topological inference. In Proceedings of the 14th International Joint Conference on Artificial Intelligence, pages 901–906, Montreal, Canada, August 1995.Google Scholar
- [KRR97]Markus Knauff, Reinhold Rauh, and Jochen Renz. A cognitive assessment of topological spatial relations: Results from an empirical investigation. In Proceedings of the 3rd International Conference on Spatial Information Theory (COSIT’97), volume 1329 of Lecture Notes in Computer Science, pages 193–206, 1997.Google Scholar
- [KRS95]Markus Knauff, Reinhold Rauh, and Christoph Schlieder. Preferred mental models in qualitative spatial reasoning: A cognitive assessment of Allen’s calculus. In Proceedings of the Seventeenth Annual Conference of the Cognitive Science Society, pages 200–205, Mahwah, NJ, 1995. Lawrence Erlbaum Associates.Google Scholar
- [KRSS98]Markus Knauff, Reinhold Rauh, Christoph Schlieder, and Gerhard Strube. Mental models in spatial reasoning. In this volume, 1998.Google Scholar
- [LR97]Peter Ladkin and Alexander Reinefeld. Fast algebraic methods for interval constraint problems. Annals of Mathematics and Artificial Intelligence, 19(3,4), 1997.Google Scholar
- [Neb95]Bernhard Nebel. Computational properties of qualitative spatial reasoning: First results. In I. Wachsmuth, C.-R. Rollinger, and W. Brauer, editors, KI-95: Advances in Artificial Intelligence, volume 981 of Lecture Notes in Computer Science, pages 233–244, Bielefeld, Germany, 1995. Springer-Verlag.Google Scholar
- [RCC92]David A. Randell, Zhan Cui, and Anthony G. Cohn. A spatial logic based on regions and connection. In B. Nebel, W. Swartout, and C. Rich, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the 3rd International Conference, pages 165–176, Cambridge, MA, October 1992. Morgan Kaufmann.Google Scholar
- [Ren98]Jochen Renz. A canonical model of the Region Connection Calculus. In Principles of Knowledge Representation and Reasoning: Proceedings of the 6th International Conference, Trento, Italy, June 1998.Google Scholar
- [RN97]Jochen Renz and Bernhard Nebel. On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus. In Proceedings of the 15th International Joint Conference on Artificial Intelligence, pages 522–527, Nagoya, Japan, August 1997. Technical Report with full proofs available at http://www.informatik.uni-freiburg.de/~sppraum.