Maintaining Spatial Relations in an Incremental Diagrammatic Reasoner

  • Ronald W. Ferguson
  • Joseph L. Bokor
  • Rudolph L. MappusIV
  • Adam Feldman
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2825)


This paper describes an architecture for dynamically handling spatial relations in an incremental, nonmonotonic diagrammatic reasoning system. The architecture represents jointly exhaustive and pairwise disjoint (JEPD) spatial relation sets as nodes in a dependency network. These spatial relation sets include interval relations, relative orientation relations, and connectivity relations, but in theory could include any JEPD spatial relation sets. This network then caches dependencies between low-level spatial relations, allowing those relations to be easily assumed or retracted as visual elements are added or removed from a diagram. For example, in the architecture’s Undo mechanism, the dependency network can quickly reactivate cached spatial relations when a previously-deleted element is restored. As part of this work, we describe how the system supports higher-level reasoning, including support for creating default assumptions. We also describe how this system was integrated with an existing drawing program and discuss its possible use in diagrammatic and geographic reasoning.


Spatial Relation Spatial Reasoning Composite Object Visual Element Incremental Processing 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Ferguson, R.W., Forbus, K.D.: GeoRep: A flexible tool for spatial representation of line drawings. In: Proceedings of the 18th National Conference on Artificial Intelligence, pp. 510–516. AAAI Press, Austin (2000)Google Scholar
  2. 2.
    Hernández, D.: Maintaining qualitative spatial knowledge. In: Campari, I., Frank, A.U. (eds.) COSIT 1993. LNCS, vol. 716, pp. 19–22. Springer, Heidelberg (1993)Google Scholar
  3. 3.
    Freksa, C.: Temporal reasoning based on semi-intervals. Artificial Intelligence 54, 199–227 (1992)CrossRefMathSciNetGoogle Scholar
  4. 4.
    Egenhofer, M., Al-Taha, K.: Reasoning about gradual changes of topological relationships. In: Frank, A.U., Formentini, U., Campari, I. (eds.) GIS 1992. LNCS, vol. 639, pp. 196–219. Springer, Heidelberg (1992)Google Scholar
  5. 5.
    Davis, R.: Position statement and overview: Sketch recognition at MIT. In: AAAI Spring Symposium on Sketch Understanding, Palo Alto, CA (2002)Google Scholar
  6. 6.
    Scher, D.: Lifting the curtain: The evolution of the Geometer’s Sketchpad. The Mathematics Educator 10, 42–48 (2000)Google Scholar
  7. 7.
    Ferguson, R.W., Rasch, R.A.J., Turmel, W., Forbus, K.D.: Qualitative spatial interpretation of Course-of-Action diagrams. In: Intelligent Systems Demonstrations, 18th National Conference on Artificial Intelligence, Austin, Texas (2000)Google Scholar
  8. 8.
    Ferguson, R.W., Forbus, K.D.: Telling juxtapositions: Using repetition and alignable difference in diagram understanding. In: Holyoak, K., Gentner, D., Kokinov, B. (eds.) Advances in Analogy Research, pp. 109–117. New Bulgarian University, Sofia (1998)Google Scholar
  9. 9.
    Ferguson, R.W.: Symmetry: An Analysis of Cognitive and Diagrammatic Characteristics. Ph.D. Dissertation, Department of Computer Science, Northwestern University. Evanston, Illinois (2001)Google Scholar
  10. 10.
    Ferguson, R.W.: Modeling orientation effects in symmetry detection: The role of visual structure. In: Proceedings of the 22nd Conference of the Cognitive Science Society, p. 143. Erlbaum, Hillsdale (2000)Google Scholar
  11. 11.
    Ferguson, R.W., Aminoff, A., Gentner, D.: Modeling qualitative differences in symmetry judgments. In: Proceedings of the 18th Annual Conference of the Cognitive Science Society, p. 12. Lawrence Erlbaum Associates, Hillsdale (1996)Google Scholar
  12. 12.
    Hoffman, D.D., Richards, W.A.: Parts of recognition. Cognition 18, 65–96 (1984)CrossRefGoogle Scholar
  13. 13.
    Rock, I.: Orientation and Form. Academic Press, New York (1973)Google Scholar
  14. 14.
    Allen, J.F.: Maintaining knowledge about temporal intervals. Communications of the ACM 26, 832–843 (1983)zbMATHCrossRefGoogle Scholar
  15. 15.
    Ferguson, R.W.: MAGI: Analogy-based encoding using symmetry and regularity. In: Ram, A., Eiselt, K. (eds.) Proceedings of the 16th Annual Conference of the Cognitive Science Society, pp. 283–288. Lawrence Erlbaum Associates, Atlanta (1994)Google Scholar
  16. 16.
    Forbus, K.D., de Kleer, J.: Building Problem Solvers. The MIT Press, Cambridge (1993)zbMATHGoogle Scholar
  17. 17.
    Cohn, A.G.: Qualitative spatial representation and reasoning techniques. In: Brewka, G., Habel, C., Nebel, B. (eds.) KI 1997. LNCS, vol. 1303, pp. 1–30. Springer, Heidelberg (1997)Google Scholar
  18. 18.
    Cohn, A.G., Randell, D.A., Cui, Z., Benett, B.: Qualitative spatial reasoning and representation. In: Carrete, N.P., Singh, M. (eds.) Proc. of the IMACS Workshop on Qualitative Reasoning and Decision Technologies, QUARDET 1993, pp. 513–522. CIMNE, Barcelona (1993)Google Scholar
  19. 19.
    Cohn, A.G.: A hierarchical representation of qualitative shape based on connection and convexity. In: Kuhn, W., Frank, A.U. (eds.) COSIT 1995. LNCS, vol. 988, Springer, Heidelberg (1995)Google Scholar
  20. 20.
    McAllester, D.: Truth maintenance. In: Proceedings of the 8th National Conference on Artificial Intelligence, pp. 1109–1116. AAAI Press, Boston (1990)Google Scholar
  21. 21.
    Doyle, J.: Rationality and its roles in reasoning. Computational Intelligence 8, 376–409 (1992)CrossRefMathSciNetGoogle Scholar
  22. 22.
    Hendrich, N.: JavaFIG: The Java diagram editor. Computer Science Department, University of Hamburg, Germany (1999)Google Scholar
  23. 23.
    Smith, B.V.: (1999), XFig,

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Ronald W. Ferguson
    • 1
  • Joseph L. Bokor
    • 1
  • Rudolph L. MappusIV
    • 1
  • Adam Feldman
    • 1
  1. 1.College of ComputingGeorgia Institute of TechnologyAtlantaUSA

Personalised recommendations