Qualitative spatial reasoning using orientation, distance, and path knowledge

Applied Intelligence

Volumn 6, Issue 1, 1996, Pages 49-58

  Zimmermann, Kai ^a   Freksa, Christian ^a  

^a UNIVERSITY OF HAMBURG   (Germany)

Author keywords

Constraint propagation; Qualitative reasoning; Spatial reasoning

Indexed keywords

CONSTRAINT THEORY; FORMAL LOGIC; KNOWLEDGE ENGINEERING; NATURAL LANGUAGE PROCESSING SYSTEMS;

CONSTRAINT PROPAGATION; QUALITATIVE REASONING; SPATIAL REASONING;

ARTIFICIAL INTELLIGENCE;

EID: 0029759789     PISSN: 0924669X     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF00117601     Document Type: Article

References (22)

1. J.F. Allen, "Maintaining knowledge about temporal intervals," Communications of the ACM, vol. 26, no. 11, pp. 832-843, 1983.
2. M. Egenhofer and R. Franzosa, "Point-set topological spatial relations," International Journal of Geographical Information Systems, vol. 5, no. 2, pp. 161-174, 1991.
3. M. Egenhofer, "A formal definition of binary topological relationships," in Proc. Third International Conference on Foundations of Data Organization and Algorithms, 1989, pp. 457-472.
4. R.J. Elliott and M.E. Lesk, "Route finding in street maps by computers and people," in Proc. AAAI, Pittsburgh, 1982, pp. 258-261.
5. A.U. Frank, "Qualitative spatial reasoning with cardinal directions," in Proc. Seventh Austrian Conference on Artificial Intelligence, Vienna, 1991, pp. 157-167.
6. C. Freksa, "Qualitative Spatial Reasoning," in Cognitive and Linguistic Aspects of Geographic Space, D.M. Mark and A.U. Frank (Eds.), Kluwer, Dordrecht, 1991, pp. 361-372.
7. C. Freksa, "Temporal reasoning based on semi-intervals," Artificial Intelligence, vol. 54, pp. 199-227, 1992.
8. C. Freksa, "Using Orientation Information for Qualitative Spatial Reasoning," in Theories and Methods of Spatio-Temporal Reasoning in Geographic Space, A.U. Frank, I. Campari, and U. Formentini (Eds.), Springer, Berlin, 1992, pp. 162-178.
9. C. Freksa and K. Zimmermann, "On the utilization of spatial structures for cognitively plausible and efficient reasoning," in Proc. IEEE International Conference on Systems, Man, and Cybernetics, Chicago, IL, 1992, pp. 261-266.
10. H.W. Güsgen, "Spatial reasoning based on Allen's temporal logic," International Computer Science Institute, Berkeley, TR-89-049, 1989.
11. D. Hernández, "Diagrammatical aspects of qualitative representations of space," in Proc. AAAI Spring Symposium on Reasoning with Diagrammatic Representations, Stanford, 1992, pp. 225-228.
12. B.J. Kuipers, "Representing knowledge of large scale space," Massachusetts Institute of Technology, Ph.D. Thesis, 1977.
13. B. Kuipers, "Modeling human knowledge of routes: partial knowledge and individual variation," in Proc. AAAI, Washington, D.C., 1983, pp. 216-219.
14. L. Latecki and R. Röhrig, "Orientation and qualitative angle for spatial reasoning," in Proc. IJCAI, Chambery, 1993, pp. 1544-1549.
15. T.S. Levitt, D.T. Lawton, D.M. Chelberg, and P.C. Nelson, "Qualitative landmark-based path planning and following," in Proc. AAAI, Seattle, WA, 1987, pp. 689-694.
16. G.F. Ligozat, "Qualitative triangulation for spatial reasoning," in Proc. International Conference on Spatial Information Theory. A Theoretical Basis for GIS, Elba, Italy, 1993, pp. 54-68.
17. A. Mukerjee and G. Joe, "A Qualitative Model for Space," in Proc. AAAI, 1990, pp. 721-727.
18. D.A. Randell, Z. Cui and A. G. Conn, "An interval logic for space based on 'connection'," in Proc. 10th European Conference on Artificial Intelligence, Vienna, Austria, 1992, pp. 394-398.
19. C. Schlieder, "Akquisition räumlichen Wissens am Beispiel ebener Sicht- und Anordnungsverhältnisse," in Proc. Workshop Räumliche Alltagsumgebungen des Menschen, Koblenz-Landau, 1990, pp. 159-171.
20. K. Zimmermann and C. Freksa, "Enhancing spatial reasoning by the concept of motion," in Proc. AISB, Birmingham, UK, 1993, pp. 140-147.
21. K. Zimmermann, "Enhancing qualitative spatial reasoning - combining orientation and distance," in Proc. International Conference on Spatial Information Theory. A Theoretical Basis for GIS, Elba, Italy, 1993, pp. 69-76.
22. K. Zimmermann, "Measuring without measures - the Δ-calculus," Graduiertenkolleg Kognitionswissenschaft, Universität Hamburg, Report 39, 1994.