Skip to main content
SpringerLink
Log in

Maintaining qualitative spatial knowledge

  • Spatial Reasoning
  • Conference paper
  • First Online:
Spatial Information Theory A Theoretical Basis for GIS (COSIT 1993)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 716))

Included in the following conference series:

Abstract

We present mechanisms used to maintain the consistency of a knowledge base of spatial information based on a qualitative representation of 2-D positions. These include the propagation heuristics used when inserting new relations as well as the reason maintenance mechanisms necessary to undo the effects of propagation when deleting a relation. Both take advantage of the rich structure of the spatial domain.

The project on which the work reported here is based has been funded by the German Ministry for Research and Technology (BMFT) under FKZ ITN9102B. The author is solely responsible for the contents of this publication.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Allen, J. F. (1983). Maintaining knowledge about temporal intervals. Communications of the ACM, 26(11), 832–843.

    Google Scholar 

  • American Association for Artificial Intelligence, 8th-AAAI (1990). Proc. of the Eighth National Conference on Artificial Intelligence, Menlo Park/Cambridge. AAAI Press/The MIT Press.

    Google Scholar 

  • Bobrow, D. (Ed.). (1984). Qualitative Reasoning about Physical Systems. Elsevier Science Publishers, Amsterdam.

    Google Scholar 

  • Chang, S.-K. and Li, Y. (1988). Representation of multi-resolution symbolic and binary pictures using 2DH-strings. In Proceedings of the IEEE Workshop on Language for Automation, pp. 190–195.

    Google Scholar 

  • Chang, S.-K., Shi, Q.-Y., and Yan, C.-W. (1987). Iconic indexing by 2D-strings. IEEE Transactions on Pattern Analysis and Machine Intelligence, 9(3), 413–427.

    Google Scholar 

  • Charniak, E., Riesbeck, C. K., and McDermott, D. V. (1980). Artificial Intelligence Programming. Erlbaum, Hillsdale, N.J.

    Google Scholar 

  • Cohn, A. G., Cui, Z., and Randell, D. A. (1992). Logical and computational aspects of spatial reasoning. In Pribbenow, S. and Schlieder, C. (Eds.), Spatial Concepts: Connecting Cognitive Theories with Formal Representations. ECAI-92 Workshop.

    Google Scholar 

  • Doyle, J. (1979). A truthmaintenance system. Artificial Intelligence, 12, 231–272.

    Google Scholar 

  • Egenhofer, M. J. (1989). A formal definition of binary topological relationships. In Litwin, W. and Schek, H.-J. (Eds.), Third International Conference on Foundations of Data Organization and Algorithms, Vol. 367 of Lecture Notes in Computer Science, pp. 457–472. Springer-Verlag, Berlin.

    Google Scholar 

  • Egenhofer, M. J. (1991). Reasoning about binary topological relations. In Second Symposium on Large Spatial Databases, Vol. 525 of Lecture Notes in Computer Science. Springer-Verlag.

    Google Scholar 

  • Egenhofer, M. J. and Al-Taha, K. K. (1992). Reasoning about gradual changes of topological relationships. In Frank et al. (1992), pp. 196–219.

    Google Scholar 

  • Egenhofer, M. J. and Franzosa, R. (1991). Point-set topological spatial relations. International Journal of Geographical Information Systems, 5(2), 161–174.

    Google Scholar 

  • Egenhofer, M. J. and Sharma, J. (1993). Assessing the consistency of complete and incomplete topological information. Geographical Systems, 1(1). To appear.

    Google Scholar 

  • Frank, A. U., Campari, I., and Formentini, U. (Eds.). (1992). Theories and Methods of Spatio-Temporal Reasoning in Geographic Space. Intl. Conf. GIS—From Space to Territory. Pisa, Sept. 1992, Vol. 639 of Lecture Notes in Computer Science, Berlin. Springer-Verlag.

    Google Scholar 

  • Frank, A. U. (1991). Qualitative spatial reasoning with cardinal directions. In Kaindl, H. (Ed.), 7. Österreichische Artificial Intelligence Tagung. Springer-Verlag.

    Google Scholar 

  • Freksa, C. (1992a). Temporal reasoning based on semi-intervals. Artificial Intelligence, 54, 199–227.

    MathSciNet  Google Scholar 

  • Freksa, C. (1992b). Using orientation information for qualitative spatial reasoning. In Frank et al. (1992); pp. 162–178.

    Google Scholar 

  • Freksa, C. and Zimmermann, K. (1992). On the utilization of spatial structures for cognitively plausible and efficient reasoning. In Procs. of the 1992 IEEE International Conference on Systems, Man, and Cybernetics Proceedings, Chicago.

    Google Scholar 

  • Guesgen, H.-W. (1989). Spatial reasoning based on Allen's temporal logic. Technical Report TR-89-049, ICSI, Berkeley, CA.

    Google Scholar 

  • Hernández, D. (1984). Modulare Softwarebausteine zur Wissensrepräsentation. IMMD (IV) and RRZE Universität Erlangen-Nürnberg.

    Google Scholar 

  • Hernández, D. (1991). Relative representation of spatial knowledge: The 2-D case. In Mark and Frank (1991), pp. 373–385.

    Google Scholar 

  • Hernández, D. (1992). Qualitative Representation of Spatial Knowledge. Ph.D. thesis, Institut für Informatik, Technische Universität München.

    Google Scholar 

  • Hernández, D. and Zimmermann, K. (1992). Default reasoning and the qualitative representation of spatial knowledge. In preparation.

    Google Scholar 

  • Jungert, E. (1988). Extended symbolic projection used in a knowledge structure for spatial reasoning. In Proceedings of the 4th BPRA Conf. on Pattern Recognition. Springer-Verlag, Berlin.

    Google Scholar 

  • de Kleer, J. (1986). An assumption based truth maintenance system. Artificial Intelligence, 28, 127–162.

    Google Scholar 

  • Kuipers, B. J. and Levitt, T. (1988). Navigation and mapping in large-scale space. AI Magazine, 9(2), 25–43.

    Google Scholar 

  • Kumar, V. (1992). Algorithms for constraint satisfaction problems: A survey. AI Magazine, 13(1), 32–44.

    Google Scholar 

  • Levitt, T. and Lawton, D. (1990). Qualitative navigation for mobile robots. Artificial Intelligence, 44, 305–360.

    Google Scholar 

  • Mackworth, A. K. (1987). Constraint satisfaction. In Shapiro (1987).

    Google Scholar 

  • Mark, D. M. and Frank, A. U. (Eds.). (1991). Cognitive and Linguistic Aspects of Geographic Space. NATO Advanced Studies Institute. Kluwer, Dordrecht.

    Google Scholar 

  • McAllester, D. (1980). An outlook on truth maintenance. Memo 551, MIT Artificial Intelligence Laboratory, Cambridge, MA.

    Google Scholar 

  • McDermott, D. V. (1983). Contexts and data dependencies: A synthesis. IEEE Transactions on Pattern Analysis and Machine Intelligence, 5(3), 237–246.

    Google Scholar 

  • McDermott, D. V. (1992). Reasoning, spatial. In Shapiro, E. (Ed.), Encyclopedia of Artificial Intelligence (Second edition)., pp. 1322–1334. Wiley.

    Google Scholar 

  • Meseguer, P. (1989). Constraint satisfaction problems: An overview. AI Communications, 2(1), 3–17.

    Google Scholar 

  • Mukerjee, A. and Joe, G. (1990). A qualitative model for space. In 8th-AAAI (1990), pp. 721–727.

    Google Scholar 

  • Shapiro, E. (Ed.). (1987). Encyclopedia of Artificial Intelligence. Wiley.

    Google Scholar 

  • Smith, T. R. and Park, K. K. (1992). Algebraic approach to spatial reasoning. International Journal of Geographical Information Systems, 6(3), 177–192.

    Google Scholar 

  • Stallman, R. and Sussman, G. J. (1977). Forward reasoning and dependencydirected backtracking. Artificial Intelligence, 9(2), 135–196.

    Google Scholar 

  • Topaloglou, T. (1991). Representation and management issues for large spatial knowledge bases. Technical Report, Dept. of Computer Science, University of Toronto, Toronto, Ontario.

    Google Scholar 

  • Vilain, M., Kautz, H., and van Beek, P. (1990). Constraint propagation algorithms for temporal reasoning: A revised report. In Weld and de Kleer (1990). Revised version of a paper that appeared in Proceedings of AAAI 1986, pp. 377–382.

    Google Scholar 

  • Weld, D. S. and de Kleer, J. (Eds.). (1990). Readings in Qualitative Reasoning about Physical Systems. Morgan Kaufmann, San Mateo, CA.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fakultät für Informatik, Technische Universität München, 80290, Munich, Germany

    Daniel Hernández

Authors
  1. Daniel Hernández
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Andrew U. Frank Irene Campari

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hernández, D. (1993). Maintaining qualitative spatial knowledge. In: Frank, A.U., Campari, I. (eds) Spatial Information Theory A Theoretical Basis for GIS. COSIT 1993. Lecture Notes in Computer Science, vol 716. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57207-4_4

Download citation

  • DOI: https://doi.org/10.1007/3-540-57207-4_4

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57207-7

  • Online ISBN: 978-3-540-47966-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation