Diagrammatic Representation and Inference : Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings

Although Diagrammatic Representations Have Been A Feature Of Human Com- Nication From Early History, Recent Advances In Printing And Electronic Media Technologyhaveintroducedincreasinglysophisticatedvisualrepresentationsinto Everydaylife. We Need To Improve Our Understanding Of The Role Of Diagramsand Sketches In Communication, Cognition, Creative Thought, And Problem-solving. These Concerns Have Triggered A Surge Of Interest In The Study Of Diagrammatic Notations, Especially In Academic Disciplines Dealing With Cognition, Compu- Tion, And Communication. We Believe That The Study Of Diagrammatic Communication Is Best Pursued As An Interdisciplinary Endeavor. The Diagrams Conference Series Was Launched To Support An International Research Community With This Common Goal. After Successful Meetings In Edinburgh (2000) And Georgia (2002), Diagrams 2004 Was The Third Event In The Series. The Diagramsseries Attracts A Largenumber Of Researchersfrom Virtually All Academic?elds Who Arestudying The Nature Of D- Grammatic Representations,their Use In Human Communication, And Cognitive Or Computationalmechanismsforprocessingdiagrams.bycombiningseveralearlier Workshop And Symposium Series That Were Held In The Us And Europe – R- Soning With Diagrammatic Representations (dr), Us; Thinking With Diagrams (twd), Europe; And Theory Of Visual Languages (tvl), Europe – Diagrams Has Emerged As A Major International Conference On This Topic. Table of Contents......Page 12 Diagrams in the Mind and in the World: Relations between Internal and External Visualizations......Page 18 Can Diagrams Have Epistemic Value? The Case of Euclid......Page 31 Inferential and Expressive Capacities of Graphical Representations: Survey and Some Generalizations......Page 35 On Frege ́s Logical Diagrams?......Page 39 Psychological Foundations for Concept Modeling......Page 43 On Differences between the Real and Physical Plane......Page 46 Query Graphs with Cuts: Mathematical Foundations......Page 49 Towards a Default Reading for Constraint Diagrams......Page 68 Drawing Graphs in Euler Diagrams......Page 83 Diagrams and Non­monotonicity in Puzzles......Page 99 Peirce ́s Diagrammatic Logic in IF Perspective......Page 114 What Can Spider Diagrams Say?......Page 129 Ensuring the Drawability of Extended Euler Diagrams for up to 8 Sets......Page 145 On Extending Venn Diagram by Augmenting Names of Individuals......Page 159 Reasoning with Projected Contours......Page 164 An Architecture for Problem Solving with Diagrams......Page 168 Generating Readable Proofs: A Heuristic Approach to Theorem Proving With Spider Diagrams......Page 183 Automated Model Transformation and Its Validation Using AToM[sup(3)] and AGG......Page 199 Inter­diagrammatic Reasoning and Digital Geometry......Page 216 A Prototype Inference Engine for Rule­Based Geometric Reasoning......Page 233 Automatic Proofs for Scalecharts......Page 244 Diagram Schemas: What, Why, How......Page 248 Roles of Diagrammatic Information for the Discovery of Geometrical Theorems......Page 252 Interpreting Imprecise Diagrams......Page 256 Why Diagrams are (Sometimes) Six Times Easier than Words: Benefits beyond Locational Indexing......Page 259 Incorporating Perceptual Task Effort into the Recognition of Intention in Information Graphics......Page 272 Individual Differences in Graphical Reasoning......Page 288 Co­ordinating Conventions in Graphical Dialogue: Effects of Repetition and Interaction......Page 303 Predictors of Success in Diagrammatic Problem Solving......Page 318 Speech and Graphical Interaction in Multimodal Communication......Page 333 Generating New Research Hypotheses from a Result Diagram of Qualitative Research......Page 346 Interpreting Lines in Graphs: Do Graph Users Construe Fictive Motion?......Page 350 Learning with Diagrams: Effects on Inferences and the Integration of Information......Page 354 Making TRACS: The Diagrammatic Design of a Double­Sided Deck......Page 358 A Cognitive Processing Perspective on Student Programmers’ ‘Graphicacy’......Page 361 Using Graphics to Communicate Across Cultures......Page 364 The Effect of Knowledge­of­External­Representations upon Performance and Representational Choice in a Database Query Task......Page 368 User­Controllable Animated Diagrams: The Solution for Learning Dynamic Content?......Page 372 Processing Animation: Integrating Information from Animated Diagrams......Page 377 A Training Program to be Perceptually Sensitive and Conceptually Productive through Meta-cognition: A Case Study......Page 382 Can Object (Instance) Diagrams Help First Year Students Understand Program Behaviour?......Page 385 Spatial Transformations in Graph Comprehension......Page 389 Constructing Diagrams Representing Group Motions......Page 393 Bar­Gain Boxes: An Informative Illustration of the Pairing Problem......Page 396 Bayesian Boxes: A Colored Calculator for Picturing Posteriors......Page 399 Representing Rosters: Conceptual Integration Counteracts Visual Complexity......Page 402 Visualization Techniques for Product Change and Product Modelling in Complex Design......Page 405 Geographic Projection of Cluster Composites......Page 409 Decision Diagrams in Machine Learning: An Empirical Study on Real-Life Credit­Risk Data......Page 412 Feature Diagrams in Phonology......Page 415 Using Color Component Overlays for Result Visualization in a Classification by Sketch System......Page 419 Teaching Children Brackets by Manipulating Trees: Is Easier Harder?......Page 424 CIDER:A Component­Based Toolkit for Creating Smart Diagram Environments......Page 432 Diagrammatic Spreadsheet: An Overview......Page 437 Perceptual Support of Diagram Creation and Editing......Page 441 ScanScribe: Perceptually Supported Diagram Image Editing......Page 445 An Experimental Comparison of Diagrammatic and Algebraic Logics......Page 449 Automatic Generation of the Behavior Definition of Distributed Design Tools from Task Method Diagrams and Method Flux Diagrams by Diagram Composition......Page 452 Selected Aspects of Customization of Cognitive Dimensions for Evaluation of Visual Modeling Languages......Page 455 Notations for Software Engineering Class Structures......Page 458 N......Page 464 Y......Page 465 Although diagrammatic representations have been a feature of human communication from early history, recent advances in printing and electronic media technologyhaveintroducedincreasinglysophisticatedvisualrepresentationsinto everyday life. We need to improve our understanding of the role of diagrams and sketches in communication, cognition, creative thought, and problem-solving. These concerns have triggered a surge of interest in the study of diagrammatic notations, especially in academic disciplines dealing with cognition, computation, and communication. We believe that the study of diagrammatic communication is best pursued as an interdisciplinary endeavor. The Diagrams conference series was launched to support an international research community with this common goal. After successful meetings in Edinburgh (2000) and Georgia (2002), Diagrams 2004 was the third event in the series. The Diagrams series attracts a large number of researchers from virtually all academic fields who are studying the nature of diagrammatic representations, their use in human communication, and cognitive or computationalmechanismsforprocessingdiagrams. Bycombiningseveralearlier workshop and symposium series that were held in the US and Europe - Reasoning with Diagrammatic Representations (DR), US; Thinking with Diagrams (TWD), Europe; and Theory of Visual Languages (TVL), Europe - Diagrams has emerged as a major international conference on this topic Diagrammatic Representation and Inference: Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004. Proceedings Author: Alan F. Blackwell, Kim Marriott, Atsushi Shimojima Published by Springer Berlin Heidelberg ISBN: 978-3-540-21268-3 DOI: 10.1007/b95854 Table of Contents: Diagrams in the Mind and in the World: Relations between Internal and External Visualizations Can Diagrams Have Epistemic Value? The Case of Euclid Inferential and Expressive Capacities of Graphical Representations: Survey and Some Generalizations On Frege’s Logical Diagrams Psychological Foundations for Concept Modeling On Differences between the Real and Physical Plane Query Graphs with Cuts: Mathematical Foundations Towards a Default Reading for Constraint Diagrams Drawing Graphs in Euler Diagrams Diagrams and Non-monotonicity in Puzzles Peirce’s Diagrammatic Logic in IF Perspective What Can Spider Diagrams Say? Ensuring the Drawability of Extended Euler Diagrams for up to 8 Sets On Extending Venn Diagram by Augmenting Names of Individuals Reasoning with Projected Contours An Architecture for Problem Solving with Diagrams Generating Readable Proofs: A Heuristic Approach to Theorem Proving With Spider Diagrams Automated Model Transformation and Its Validation Using AToM3 and AGG Inter-diagrammatic Reasoning and Digital Geometry A Prototype Inference Engine for Rule-Based Geometric Reasoning

This book constitutes the refereed proceedings of the Third International Conference, Diagrams 2004, held in Cambridge, UK, in March 2004.

The 18 revised full papers and 42 revised poster papers presented together with a survey article and the abstracts of 2 posters were carefully reviewed and selected from a total of 91 submissions. The papers are organized in topical sections on fundamental issues, logical aspects of diagrammatic representation and reasoning, computational aspects of diagrammatic representation and reasoning, cognitive aspects of diagrammatic representation and reasoning, visualizing information with diagrams, diagrams in human-computer interaction, and diagrams in software engineering.

This book constitutes the refereed proceedings of the Third International Conference, Diagrams 2004, held in Cambridge, UK, in March 2004. The 18 revised full papers and 42 revised poster papers presented together with a survey article and the abstracts of 2 posters were carefully reviewed and selected from a total of 91 submissions. The papers are organized in topical sections on fundamental issues, logical aspects of diagrammatic representation and reasoning, computational aspects of diagrammatic representation and reasoning, cognitive aspects of diagrammatic representation and reasoning, visualizing information with diagrams, diagrams in human-computer interaction, and diagrams in software engineering