Maintaining Qualitative Spatial Knowledge

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.

[1]  Max J. Egenhofer,et al.  Reasoning about Gradual Changes of Topological Relationships , 1992, Spatio-Temporal Reasoning.

[2]  Kai Zimmermann,et al.  Default Reasoning and the Qualitative Representation of Spatial Knowledge , 1993 .

[3]  M. Egenhofer,et al.  Assessing the Consistency of Complete and Incomplete Topological Information , 1993 .

[4]  Tod S. Levitt,et al.  Qualitative Navigation for Mobile Robots , 1990, Artif. Intell..

[5]  Thodoros Topaloglou,et al.  Representation and Management Issues for Large Spatial Knowledge Bases , 1991 .

[6]  D. Bobrow.  Qualitative Reasoning about Physical Systems , 1985 .

[7]  Jon Doyle,et al.  A Truth Maintenance System , 1979, Artif. Intell..

[8]  Stuart C. Shapiro.  Encyclopedia of artificial intelligence, vols. 1 and 2 (2nd ed.) , 1987 .

[9]  Y. Li,et al.  Representation of multi-resolution symbolic and binary pictures using 2D H-strings , 1988, [Proceedings] 1988 IEEE Workshop on Languages for Automation@m_Symbiotic and Intelligent Robotics.

[10]  Johannes Retti,et al.  5. Österreichische Artificial Intelligence-Tagung , 1989 .

[11]  Pedro Meseguer,et al.  Constraint Satisfaction Problems: An Overview , 1989, AI Commun..

[12]  J. Dekleer.  An assumption-based TMS , 1986 .

[13]  Benjamin Kuipers,et al.  Navigation and Mapping in Large Scale Space , 1988, AI Mag..

[14]  Samuel T. Waters,et al.  American Association for Artificial Intelligence (AAAI) , 1988 .

[15]  Andrew U. Frank,et al.  Qualitative Spatial Reasoning with Cardinal Directions , 1991, ÖGAI.

[16]  Christian Freksa,et al.  Using Orientation Information for Qualitative Spatial Reasoning , 1992, Spatio-Temporal Reasoning.

[17]  Stuart C. Shapiro,et al.  Encyclopedia of artificial intelligence, vols. 1 and 2 (2nd ed.) , 1992 .

[18]  Amitabha Mukerjee,et al.  A Qualitative Model for Space , 1990, AAAI.

[19]  Gerald J. Sussman,et al.  Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis , 1976, Artif. Intell..

[20]  Shi-Kuo Chang,et al.  Iconic Indexing by 2-D Strings , 1987, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[21]  Eugene Charniak,et al.  Artificial Intelligence Programming , 1987 .

[22]  Alan K. Mackworth.  Constraint Satisfaction , 1985 .

[23]  Terence R. Smith,et al.  Algebraic approach to spatial reasoning , 1992, Int. J. Geogr. Inf. Sci..

[24]  Vipin Kumar,et al.  Algorithms for Constraint-Satisfaction Problems: A Survey , 1992, AI Mag..

[25]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[26]  Drew McDermott,et al.  Contexts and Data Dependencies: A Synthesis , 1983, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[27]  Johan de Kleer,et al.  Readings in qualitative reasoning about physical systems , 1990 .

[28]  Daniel Hernández,et al.  Qualitative Representation of Spatial Knowledge , 1994, Lecture Notes in Computer Science.

[29]  Johan de Kleer,et al.  An Assumption-Based TMS , 1987, Artif. Intell..

[30]  Henry A. Kautz,et al.  Constraint propagation algorithms for temporal reasoning: a revised report , 1989 .

[31]  Andrew U. Frank,et al.  Theories and Methods of Spatio-Temporal Reasoning in Geographic Space , 1992, Lecture Notes in Computer Science.

[32]  David A. McAllester.  An Outlook on Truth Maintenance. , 1980 .

[33]  Max J. Egenhofer,et al.  A Formal Definition of Binary Topological Relationships , 1989, FODO.

[34]  Christian Freksa,et al.  Temporal Reasoning Based on Semi-Intervals , 1992, Artif. Intell..

[35]  David M. Mark,et al.  Cognitive and Linguistic Aspects of Geographic Space: New Perspectives on Geographic Information Research , 1991 .

[36]  Ernst Buchberger,et al.  3. Österreichische Artificial Intelligence-Tagung, Wien, 22.-25. September 1987 , 1987, ÖGAI.

[37]  Daniel Hernández,et al.  Relative Representation of Spatial Knowledge: The 2-D Case , 1991 .

[38]  Max J. Egenhofer,et al.  Reasoning about Binary Topological Relations , 1991, SSD.

[39]  Erland Jungert,et al.  Extended Symbolic Projections as a Knowledge Structure for Spatial Reasoning , 1988, Pattern Recognition.

[40]  D. Mark,et al.  Cognitive and Linguistic Aspects of Geographic Space: An Introduction , 1991 .

[41]  Christian Freksa,et al.  On the utilization of spatial structures for cognitively plausible and efficient reasoning , 1992, [Proceedings] 1992 IEEE International Conference on Systems, Man, and Cybernetics.