Abstract
Qualitative knowledge about relative orientation can be expressed in form of ternary point relations. In this paper we present a calculus based on ternary relations. It utilises finer distinctions than previously published calculi. It permits differentiations which are useful in realistic application scenarios that cannot directly be dealt with in coarser calculi. There is a price to pay for the advanced options: useful mathematical results for coarser calculi do not hold for the new calculus. This tradeoff is demonstrated by a direct comparison of the new calculus with the flip-flop calculus.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Clementini et al., 1997. Clementini, E., Di Felice, P., and Hernandez, D. (1997). Qualitative represenation of positional information. Artificial Intelligence, 95:317–356.
Cohn, 1997. Cohn, A. (1997). Qualitative spatial representation and reasoning techniques. In Brewka, G., Habel, C., and Nebel, B., editors, KI-97: Advances in Artificial Intelligence, Lecture Notes in Artificial Intelligence, pages 1–30. Springer-Verlag, Berlin.
Frank, 1991. Frank, A. (1991). Qualitative spatial reasoning with cardinal directions. In Proceedings of 7th Österreichische Artificial-Intelligence-Tagung, pages 157–167, Berlin. Springer.
Freksa, 1992. Freksa, C. (1992). Using Orientation Information for Qualitative Spatial Reasoning. In Frank, A. U., Campari, I., and Formentini, U., editors, Theories and Methods of Spatial-Temporal Reasoning in Geographic Space, pages 162–78. Springer, Berlin.
Isli and Cohn, 2000. Isli, A. and Cohn, A. (2000). Qualitative spatial reasoning: A new approach to cyclic ordering of 2d orientation. Artificial Intelligence, 122:137–187.
Isli and Moratz, 1999. Isli, A. and Moratz, R. (1999). Qualitative Spatial Representation and Reasoning: Algebraic Models for Relative Position. Universität Hamburg, FB Informatik, Technical Report FBI-HH-M-284/99, Hamburg.
Ladkin and Maddux, 1994. Ladkin, P. and Maddux, R. (1994). On binary constraint problems. Journal of the Association for Computing Machinery, 41(3):435–469.
Ladkin and Reinefeld, 1992. Ladkin, P. and Reinefeld, A. (1992). Effective solution of qualitative constraint problems. Artificial Intelligence, 57:105–124.
Latombe, 1991. Latombe, J.-C. (1991). Robot Motion Planning. Kluwer.
Levinson, 1996. Levinson, S. C. (1996). Frames of Reference and Molyneux’s Question: Crosslinguistic Evidence. In Bloom, P., Peterson, M., Nadel, L., and Garrett, M., editors, Language and Space, pages 109–169. MIT Press, Cambridge, MA.
Ligozat, 1993. Ligozat, G. (1993). Qualitative triangulation for spatial reasoning. In COSIT 1993, Berlin. Springer.
Ligozat, 1998. Ligozat, G. (1998). Reasoning about cardinal directions. Journal of Visual Languages and Computing, 9:23–44.
Montanari, 1974. Montanari, U. (1974). Networks of constraints: Fundamental properties and applications to picture processing. Information Sciences, 7:95–132.
Moratz. Moratz, R. Propagation of distance-orientation intervals: Finding cylces in route graphs. in preparation.
Moratz et al., 2000. Moratz, R., Renz, J., and Wolter, D. (2000). Qualitative spatial reasoning about line segments. In W., H., editor, ECAI 2000. Proceedings of the 14th European Conference on Artifical Intelligence, Amsterdam. IOS Press.
Moratz et al., 2002. Moratz, R., Tenbrink, T., Fischer, F., and Bateman, J. (2002). Spatial knowledge representation for human-robot interaction. this volume.
Musto et al., 1999. Musto, A., Stein, K., Eisenkolb, A., and Röfer, T. (1999). Qualitative and quantitative representations of locomotion and their application in robot navigation. In Proceedings IJCAI-99, pages 1067–1072.
Randell et al., 1992. Randell, D., Cui, Z., and Cohn, A. (1992). A spatial logic based on regions and connection. In Proceedings KR-92, pages 165–176, San Mateo. Morgan Kaufmann.
Remolina and Kuipers, 2001. Remolina, E. and Kuipers, B. (2001). A logical account of causal and topological maps. In Proceedings IJCAI-2001.
Renegar, 1992. Renegar, J. (1992). On the computational complexity and geometry of the first order theory of the reals. part i-iii. Journal of Symbolic Computation, 13:3:255–352.
Renz and Nebel, 1999. Renz, J. and Nebel, B. (1999). On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the region connection calculus. Artificial Intelligence, 108(1–2): 69–123.
Röfer, 1999. Rofer, T. (1999). Route Navigation Using Motion Analysis. In Freksa, C. and Mark, D., editors, COSIT 1999, pages 21–36, Berlin. Springer.
Schlieder, 1995. Schlieder, C. (1995). Reasoning about ordering. In A Frank, W. K., editor, Spatial Information Theory: a theoretical basis for GIS, number 988 in Lecture Notes in Computer Science, pages 341–349, Berlin. Springer Verlag.
Scivos and Nebel, 2001. Scivos, A. and Nebel, B. (2001). Double-crossing: Decidability and computational complexity of a qualitative calculus for navigation. In COSIT 2001, Berlin. Springer.
Shanahan, 1996. Shanahan, M. (1996). Noise and the common sense informatic situation for a mobile robot. In Proceedings AAAI-96.
Sogo et al., 1999. Sogo, T., Ishiguro, H., and Ishida, T. (1999). Acquisition of qualitative spatial representation by visual observation. In Proceedings IJCAI-99, pages 1054–1060.
Vorwerg et al., 1997. Vorwerg, C., Socher, G., Fuhr, T., Sagerer, G., and Rickheit, G. (1997). Projective relations for 3d space: Computational model, application, and psychological evaluation. In AAAI’97, pages 159–164.
Werner et al., 1998. Werner, S., Krieg-Bruckner, B., and Herrmann, T. (1998). Modelling Navigational Knowledge by Route Graphs. In Freksa, C., Habel, C., and Wender, K. F., editors, Spatial Cognition II, Lecture Notes in Artificial Intelligence, pages 295–317. Springer-Verlag, Berlin.
Zimmermann and Freksa, 1996. Zimmermann, K. and Freksa, C. (1996). Qualitative spatial reasoning using orientation, distance, path knowledge. Applied Intelligence, 6:49–58.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Moratz, R., Nebel, B., Freksa, C. (2003). Qualitative Spatial Reasoning about Relative Position. In: Freksa, C., Brauer, W., Habel, C., Wender, K.F. (eds) Spatial Cognition III. Spatial Cognition 2002. Lecture Notes in Computer Science, vol 2685. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45004-1_22
Download citation
DOI: https://doi.org/10.1007/3-540-45004-1_22
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40430-9
Online ISBN: 978-3-540-45004-7
eBook Packages: Springer Book Archive