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.
Preview
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.
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.
Bobrow, D. (Ed.). (1984). Qualitative Reasoning about Physical Systems. Elsevier Science Publishers, Amsterdam.
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.
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.
Charniak, E., Riesbeck, C. K., and McDermott, D. V. (1980). Artificial Intelligence Programming. Erlbaum, Hillsdale, N.J.
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.
Doyle, J. (1979). A truthmaintenance system. Artificial Intelligence, 12, 231–272.
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.
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.
Egenhofer, M. J. and Al-Taha, K. K. (1992). Reasoning about gradual changes of topological relationships. In Frank et al. (1992), pp. 196–219.
Egenhofer, M. J. and Franzosa, R. (1991). Point-set topological spatial relations. International Journal of Geographical Information Systems, 5(2), 161–174.
Egenhofer, M. J. and Sharma, J. (1993). Assessing the consistency of complete and incomplete topological information. Geographical Systems, 1(1). To appear.
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.
Frank, A. U. (1991). Qualitative spatial reasoning with cardinal directions. In Kaindl, H. (Ed.), 7. Österreichische Artificial Intelligence Tagung. Springer-Verlag.
Freksa, C. (1992a). Temporal reasoning based on semi-intervals. Artificial Intelligence, 54, 199–227.
Freksa, C. (1992b). Using orientation information for qualitative spatial reasoning. In Frank et al. (1992); pp. 162–178.
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.
Guesgen, H.-W. (1989). Spatial reasoning based on Allen's temporal logic. Technical Report TR-89-049, ICSI, Berkeley, CA.
Hernández, D. (1984). Modulare Softwarebausteine zur Wissensrepräsentation. IMMD (IV) and RRZE Universität Erlangen-Nürnberg.
Hernández, D. (1991). Relative representation of spatial knowledge: The 2-D case. In Mark and Frank (1991), pp. 373–385.
Hernández, D. (1992). Qualitative Representation of Spatial Knowledge. Ph.D. thesis, Institut für Informatik, Technische Universität München.
Hernández, D. and Zimmermann, K. (1992). Default reasoning and the qualitative representation of spatial knowledge. In preparation.
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.
de Kleer, J. (1986). An assumption based truth maintenance system. Artificial Intelligence, 28, 127–162.
Kuipers, B. J. and Levitt, T. (1988). Navigation and mapping in large-scale space. AI Magazine, 9(2), 25–43.
Kumar, V. (1992). Algorithms for constraint satisfaction problems: A survey. AI Magazine, 13(1), 32–44.
Levitt, T. and Lawton, D. (1990). Qualitative navigation for mobile robots. Artificial Intelligence, 44, 305–360.
Mackworth, A. K. (1987). Constraint satisfaction. In Shapiro (1987).
Mark, D. M. and Frank, A. U. (Eds.). (1991). Cognitive and Linguistic Aspects of Geographic Space. NATO Advanced Studies Institute. Kluwer, Dordrecht.
McAllester, D. (1980). An outlook on truth maintenance. Memo 551, MIT Artificial Intelligence Laboratory, Cambridge, MA.
McDermott, D. V. (1983). Contexts and data dependencies: A synthesis. IEEE Transactions on Pattern Analysis and Machine Intelligence, 5(3), 237–246.
McDermott, D. V. (1992). Reasoning, spatial. In Shapiro, E. (Ed.), Encyclopedia of Artificial Intelligence (Second edition)., pp. 1322–1334. Wiley.
Meseguer, P. (1989). Constraint satisfaction problems: An overview. AI Communications, 2(1), 3–17.
Mukerjee, A. and Joe, G. (1990). A qualitative model for space. In 8th-AAAI (1990), pp. 721–727.
Shapiro, E. (Ed.). (1987). Encyclopedia of Artificial Intelligence. Wiley.
Smith, T. R. and Park, K. K. (1992). Algebraic approach to spatial reasoning. International Journal of Geographical Information Systems, 6(3), 177–192.
Stallman, R. and Sussman, G. J. (1977). Forward reasoning and dependencydirected backtracking. Artificial Intelligence, 9(2), 135–196.
Topaloglou, T. (1991). Representation and management issues for large spatial knowledge bases. Technical Report, Dept. of Computer Science, University of Toronto, Toronto, Ontario.
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.
Weld, D. S. and de Kleer, J. (Eds.). (1990). Readings in Qualitative Reasoning about Physical Systems. Morgan Kaufmann, San Mateo, CA.
Author information
Authors and Affiliations
Editor information
Rights 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