Qualitative spatial reasoning about relative point position

Journal of Visual Languages and Computing

Volumn 19, Issue 1, 2008, Pages 75-98

  Moratz, Reinhard ^a   Ragni, Marco ^b  

^a UNIVERSITY OF BREMEN   (Germany)

^b UNIVERSITY OF FREIBURG   (Germany)

Author keywords

Cognitive modelling; Qualitative spatial reasoning; Robot navigation

Indexed keywords

EID: 38049028322     PISSN: 1045926X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jvlc.2006.11.001     Document Type: Article

References (45)

1. Cohn A. Qualitative spatial representation and reasoning techniques. In: Brewka G., Habel C., and Nebel B. (Eds). KI-97: Advances in Artificial Intelligence, Lecture Notes in Artificial Intelligence (1997), Springer, Berlin 1-30
2. Freksa C. Using orientation information for qualitative spatial reasoning. In: Frank A.U., Campari I., and Formentini U. (Eds). Theories and Methods of Spatial-Temporal Reasoning in Geographic Space (1992), Springer, Berlin 162-178
3. Randell D., Cui Z., and Cohn A. A spatial logic based on regions and connection. Proceedings KR-92 (1992), San Mateo, Morgan Kaufmann, Los Altos, CA 165-176
4. Renz J., and Nebel B. On the complexity of qualitative spatial reasoning: a maximal tractable fragment of the region connection calculus. Artificial Intelligence 108 1-2 (1999) 69-123
5. Worboys M.F., and Clementini E. Integration of imperfect spatial information. Journal of Visual Languages and Computing 12 (2001) 61-80
6. Clementini E., Di Felice P., and Hernandez D. Qualitative representation of positional information. Artificial Intelligence 95 (1997) 317-356
7. Zimmermann K., and Freksa C. Qualitative spatial reasoning using orientation, distance, path knowledge. Applied Intelligence 6 (1996) 49-58
8. A. Isli, R. Moratz, Qualitative spatial representation and reasoning: algebraic models for relative position, Technical Report FBI-HH-M-284/99, Universität Hamburg, FB Informatik, Hamburg, 1999.
9. Isli A., and Cohn A. Qualitative spatial reasoning: a new approach to cyclic ordering of 2d orientation. Artificial Intelligence 122 (2000) 137-187
10. R. Moratz, J. Renz, D. Wolter, Qualitative spatial reasoning about line segments, in: W. Horn (Eds.), ECAI 2000, Proceedings of the 14th European Conference on Artificial Intelligence, IOS Press, Amsterdam, 2000.
11. Latombe J.-C. Robot Motion Planning (1991), Kluwer Academic Publishers, Dordrecht
12. Röfer T. Route navigation using motion analysis. In: Freksa C., and Mark D. (Eds). COSIT 1999 (1999), Springer, Berlin 21-36
13. Hernández D., and Jungert E. Qualitative motion of point-like objects. Journal of Visual Languages and Computing 10 (1999) 269-289
14. Moratz R., Tenbrink T., Fischer F., and Bateman J. Spatial knowledge representation for human-robot interaction. In: Freksa C., Brauer W., Habel C., and Wender K. (Eds). Lecture Notes in Artificial Intelligence vol. 2685 (2003), Springer, Berlin/Heidelberg
15. Levinson S.C. Frames of reference and Molyneux's question: crosslinguistic evidence. In: Bloom P., Peterson M., Nadel L., and Garrett M. (Eds). Language and Space (1996), MIT Press, Cambridge, MA 109-169
16. C. Schlieder, Reasoning about ordering, in: A. Frank, W. Kuhn (Eds.), Spatial Information Theory: A Theoretical Basis for GIS, Lecture Notes in Computer Science, vol. 988, Springer, Berlin, 1995, pp. 341-349.
17. Frank A. Qualitative spatial reasoning with cardinal directions. Proceedings of Seventh Österreichische Artificial-Intelligence-Tagung (1991), Springer, Berlin 157-167
18. Ligozat G. Reasoning about cardinal directions. Journal of Visual Languages and Computing 9 (1998) 23-44
19. Ligozat G. Qualitative triangulation for spatial reasoning. COSIT 1993 (1993), Springer, Berlin
20. Düntsch I., Wang H., and McCloskey S. A relation algebraic approach to the Region Connection Calculus. Theoretical Computer Science 255 (2001) 63-83
21. Scivos A., and Nebel B. The finest of its class: the practical natural point-based ternary calculus lr for qualitative spatial reasoning. Proceedings of Spatial Cognition 2004, Lecture Notes in Artificial Intelligence (2005), Springer, Berlin
22. Vorwerg C., Socher G., Fuhr T., Sagerer G., and Rickheit G. Projective relations for 3d space: computational model application and psychological evaluation. AAAI'97 (1997) 159-164
23. Hirsch R. Relation algebras of intervals. Artificial Intelligence 83 2 (1996) 267-295
24. Ladkin P., and Maddux R. On binary constraint problems. Journal of the Association for Computing Machinery 41 3 (1994) 435-469
25. Ragni M. An arrangement calculus, its complexity and algorithmic properties. KI 2003: Advances in Artificial Intelligence, Lecture Notes in AI vol. 2821 (2003), Springer, Heidelberg 580-590
26. Golumbic M.C., and Shamir R. Complexity and algorithms for reasoning about time: a graph-theoretic approach. Journal of the ACM 40 5 (1993) 1108-1133
27. Russell S., and Norvig P. Artificial Intelligence: A Modern Approach. second ed. (2003), Prentice-Hall, Englewood Cliffs, NJ
28. Scivos A., and Nebel B. Double-crossing: decidability and computational complexity of a qualitative calculus for navigation. COSIT 2001 (2001), Springer, Berlin
29. Montanari U. Networks of constraints: fundamental properties and applications to picture processing. Information Sciences 7 (1974) 95-132
30. Ladkin P., and Reinefeld A. Effective solution of qualitative constraint problems. Artificial Intelligence 57 (1992) 105-124
31. Renegar J. On the computational complexity and geometry of the first order theory of the reals. Parts i-iii. Journal of Symbolic Computation 13 3 (1992) 255-352
32. F. Dylla, R. Moratz, Empirical complexity issues of practical qualitative spatial reasoning about relative position, in: Workshop on Spatial and Temporal Reasoning at ECAI 2004, 2004.
33. Freksa C. Spatial cognition-an AI prespective. Proceedings of 16th European Conference on AI (ECAI 2004) (2004) 1122-1128
34. Moratz R., and Tenbrink T. Spatial reference in linguistic human-robot interaction: iterative, empirically supported development of a model of projective relations. Spatial Cognition and Computation 6 1 (2006) 63-107
35. Freksa C., Moratz R., and Barkowsky T. Robot navigation with schematic maps. In: Pagello E. (Ed). Intelligent Autonomous Systems vol. 6 (2000), IOS Press, Amsterdam 809-816
36. Klippel A., Tappe H., Kulik L., and Lee P.U. Wayfinding choremes-a language for modeling conceptual route knowledge. Journal of Visual Languages and Computing 16 4 (2005) 311-329
37. R. Moratz, K. Fischer, A cognitive model of spatial reference for human-robot communication, in: Proceedings of the 12th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2000, Vancouver, British Columbia, Canada, November 13-15, 2000, pp. 222-228.
38. R. Moratz, A granular point position calculus, Technical Report No. 005-06/2005, Collaborative Research Center TR/8, Spatial Cognition, Bremen and Freiburg, 2005.
39. Skiadopoulos S., and Koubarakis M. Composing cardinal direction relations. Artificial Intelligence 152 (2004) 143-171
40. Clementini E., and Billen R. Modeling and computing ternary projective relations between regions. IEEE Transactions on Knowledge and Data Engineering 18 6 (2006) 799-814
41. Billen R., and Clementini E. Introducing a reasoning system based on ternary projective relations. Developments in Spatial Data Handling, 11th International Symposium on Spatial Data Handling (2004), Leicester, UK 381-394
42. Brooks R. Visual map making for a mobile robot. Proceedings of the IEEE International Conference on Robotics and Automation (ICRA 1985) (1985) 824-829
43. Smith R.C., and Cheeseman P. On the representation and estimation of spatial uncertainly. International Journal of Robotics Research 5 4 (1987) 56-68
44. D. Hernández, Qualitative representation of spatial knowledge, Lecture Notes in Artificial Intelligence, Springer, Berlin, Heidelberg, New York, 1994.
45. Erwig M., and Schneider M. A visual language for the evolution of spatial relationships and its translation into a spatio-temporal calculus. Journal of Visual Languages and Computing 14 (2003) 181-211