Maintaining Spatial Relations in an Incremental Diagrammatic Reasoner

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.

[1]  N. Hari Narayanan,et al.  Diagrammatic Reasoning: Cognitive and Computational Perspectives , 1995 .

[2]  Padraic Monaghan,et al.  Proceedings of the 23rd annual conference of the cognitive science society , 2001 .

[3]  Anthony G. Cohn,et al.  A Hierarchical Representation of Qualitative Shape based on Connection and Convexity , 1995, COSIT.

[4]  David A. McAllester Truth Maintenance , 1990, AAAI.

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

[6]  Irvin Rock,et al.  Orientation and form , 1974 .

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

[8]  Kenneth D. Forbus,et al.  Building Problem Solvers , 1993 .

[9]  Kenneth D. Forbus,et al.  Symmetry: an analysis of cognitive and diagrammatic characteristics , 2001 .

[10]  Daniel Hernández,et al.  Maintaining Qualitative Spatial Knowledge , 1993, COSIT.

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

[12]  Daniel Scher,et al.  Lifting the Curtain: The Evolution of The Geometer's Sketchpad , 2000 .

[13]  R. W. Ferguson,et al.  Modeling Qualitative Differences in Symmetry Judgments , 1996 .

[14]  Bernhard Nebel,et al.  KI-97: Advances in Artificial Intelligence , 1997, Lecture Notes in Computer Science.

[15]  Anthony G. Cohn,et al.  Qualitative Spatial Representation and Reasoning Techniques , 1997, KI.

[16]  Donald D. Hoffman,et al.  Parts of recognition , 1984, Cognition.

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

[18]  Jon Doyle,et al.  Doyle See Infer Choose Do Perceive Act , 2009 .

[19]  R. W. Ferguson Modeling Orientation Effects in Symmetry Detection: The Role of Visual Structure , 2000 .

[20]  Randall Davis Position Statement and Overview: Sketch Recognition at MIT , 2002 .

[21]  Kenneth D. Forbus,et al.  GeoRep: A Flexible Tool for Spatial Representation of Line Drawings , 2000, AAAI/IAAI.

[22]  Kenneth D. Forbus,et al.  Telling juxtapositions: Using repetition and alignable difference in diagram understanding , 1998 .

[23]  Kenneth D. Forbus,et al.  Qualitative Spatial Interpretation of Course-of-Action Diagrams , 2000, AAAI/IAAI.