Reasoning with Diagrammatic Representations
Papers from 1992 AAAI Spring Symposium
B. Chandrasekaran and Herbert Simon, Program Cochairs
Technical Report SS-92-02. Published by The AAAI Press, Menlo Park, California. This technical report is also available in book and CD format.
Please Note: Abstracts are linked to individual titles, and will appear in a separate browser window. Full-text versions of the papers are linked to the abstract text. Access to full text may be restricted to AAAI members. PDF file sizes may be large!
Contents
Section One: Imagery and Inference
Creative Inference in Imagery and Invention / 2
Ronald Finke
Spatial Mental Representations / 7
Barbara Tversky
The Philosophical Case Against Visual Images: a Crucial Experiment / 12
Peter Slezak
Imagery and Mental Models in Problem Solving / 18
Yulin Qin and H. A. Simon
Perceptual Representation and Reasoning / 24
B. Chandrasekaran and N. H. Narayanan
Abstracted Models in Conceptual Change in Science: Analogy, Imagery, and Thought Experiment / 30
Nancy J. Nersessian
Research Summary / 31
Steffen Werner
Section Two: Human Diagrammatic Reasoning
Diagrammatic Reasoning in Scientific Discovery: Modeling Galileo’s Kinematic Diagrams / 33
Peter H. Cheng
Reasoning and Inference-making with Architectural Plans / 39
Janice Gobert Wickham
Expert Diagrammatic Reasoning in Biology / 41
Ann Kindfield
Situated Cognition in Diagrammatic Reasoning / 47
M. Lewis and J. Toth
Effect of Mode of Data Representation Reasoning About Economic Markets / 56
Hermina J. M. Tabachneck and H. A. Simon
Ill-Structured Diagrams for Ill-structured Problems / 63
Vinod Goel
Qualitative Models in Conceptual Design: A Case Study / 69
Boi Faltings
Statement of Research Interests / 75
Irvin Katz
Section Three: Logic and Visual Reasoning
Hyperproof: Logical Reasoning with Diagrams / 77
Jon Barwise and J. Etchemendy
A Semantic Analysis of Inference Involving Venn Diagrams / 82
Sun-Joo Shin
Implementing Logics in Diagrams / 88
Keith Stenning and J. Oberlander
Integrating Analogical and Sentential Reasoning for Perception / 93
Karen Myers and K. Konolige
Proofs and Pictures: Proving the Diamond Lemma with the GROVER Theorem Proving System / 99
David Barker-Plummer and S. C. Bailin
Animation of Horn Clause Proofs / 105
Ken Kahn
Diagram Semantics and Scheme Algebra: A Framework for the Analysis and Simulation of Diagrammatic Reasoning / 106
Michael May
Graphoids: An Axiomatic Characterization of Graphical Representations / 107
Judea Pearl
Section Four: Diagrammatic Representation and Reasoning
Computational Imagery / 109
Janice Glasgow and D. Papadias
Reasoning with Diagrams Only / 115
George Furnas
Using Concrete, Perceptually-Based Representations to Avoid the Frame Problem / 121
Scott Huffman and J. E. Laird
Diagrammatic Reasoning by Simulation / 127
Robert K. Lindsay
A Computer Model of Diagrammatic Reasoning / 133
N. Hari Narayanan and B. Chandrasekaran
Use of Diagrams in Solving Physics Problems / 139
Gordon Novak and W. C. Bulko
A Cognitive Theory of Visual Interaction / 145
Erika Rogers
Emergent Properties and Structural Constraints: Advantages of Diagrammatic Representations for Reasoning and Learning / 150
Ken Koedinger
Automatic Design of Efficient Visual Problem Representations / 157
Steve Casner
Diagrammatic Reasoning of Tabular Data / 161
Todd R. Johnson, Jack W. Smith, Kathy Johnson, Nasir K. Amra and Matthew DeJongh
Acquiring Visual-Linguistic Associations and Reasoning With Them / 165
Ganesh Mani and W. C. Bulko
A Model of Interaction with Geometry Diagrams / 169
T. McDougal and K. Hammond
Control of Automated Empirical Discovery by Diagrammatic Representation of Theory / 173
J. M. Zytkow and J. Zhu
Diagrammatic Reasoning in Interdisciplinary Communication / 177
R. Fruchter, H. Krawinkler and Y. Iwasaki
Experiential Reasoning / 178
Brian Funt
Diagrammatic Reasoning in Structural Analysis / 179
Y. Iwasaki and S. Tessler
Reasoning About Ultrasound with Diagrams / 180
Steven Morris
Informational Diagrams in Scientific Documents / 182
C. M. Carriero, R. P. Futrelle, N. Nikolakis and M. Tselman
Automated Interpretation of Diagrams for Specification of Medical Protocols / 186
J. W. Egar, A. R. Puerta and M. A. Musen
Diagrammatic Semantics for Spatial Prepositions / 191
Tom Ioerger
Combining Depictorial and Propositional Inferences for Processing Spatial Expressions / 195
L. Latecki and S. Pribbenow
Use of Reconstructed Spatial Image in Natural Language Understanding Process / 199
A. Yamada, T. Yamamoto, H. Ikeda, T. Nishida and S. Doshita
Section Five: Qualitative Reasoning
Qualitative Spatial Reasoning: Framework and Frontiers / 204
Kenneth D. Forbus
Applying Means-ends Analysis to Spatial Planning / 210
B. Faltings and P. Pu
A Qualitative Model for the Behavior of Liquids in Daily-life Circumstances / 216
J. Decuyper, D. Keymeulen and L. Steels
Diagrammatical Aspects of Qualitative Representation of Space / 222
Daniel Hernandez
Commonsense Reasoning about Moving Objects: an Elusive Goal / 226
Leo Joskowicz
Qualitative Compartmental Modeling / 230
Tim Menzies, Paul Compton, Bart Feldman and Thomas Toth
The Utility of Diagrammatic Representation for Model-based Reasoning / 234
Ethan Scarl
Author Index / 241
AAAI Digital Library
AAAI relies on your generous support through membership and donations. If you find these resources useful, we would be grateful for your support.