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

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. Front Matter....Pages - Diagrams in the Mind and in the World: Relations between Internal and External Visualizations....Pages 1-13 Can Diagrams Have Epistemic Value? The Case of Euclid....Pages 14-17 Inferential and Expressive Capacities of Graphical Representations: Survey and Some Generalizations....Pages 18-21 On Frege’s Logical Diagrams....Pages 22-25 Psychological Foundations for Concept Modeling....Pages 26-28 On Differences between the Real and Physical Plane....Pages 29-31 Query Graphs with Cuts: Mathematical Foundations....Pages 32-50 Towards a Default Reading for Constraint Diagrams....Pages 51-65 Drawing Graphs in Euler Diagrams....Pages 66-81 Diagrams and Non-monotonicity in Puzzles....Pages 82-96 Peirce’s Diagrammatic Logic in IF Perspective....Pages 97-111 What Can Spider Diagrams Say?....Pages 112-127 Ensuring the Drawability of Extended Euler Diagrams for up to 8 Sets....Pages 128-141 On Extending Venn Diagram by Augmenting Names of Individuals....Pages 142-146 Reasoning with Projected Contours....Pages 147-150 An Architecture for Problem Solving with Diagrams....Pages 151-165 Generating Readable Proofs: A Heuristic Approach to Theorem Proving With Spider Diagrams....Pages 166-181 Automated Model Transformation and Its Validation Using AToM 3 and AGG....Pages 182-198 Inter-diagrammatic Reasoning and Digital Geometry....Pages 199-215 A Prototype Inference Engine for Rule-Based Geometric Reasoning....Pages 216-226 Automatic Proofs for Scalecharts....Pages 227-230 Diagram Schemas: What, Why, How....Pages 231-234 Roles of Diagrammatic Information for the Discovery of Geometrical Theorems....Pages 235-238 Interpreting Imprecise Diagrams....Pages 239-241 Why Diagrams Are (Sometimes) Six Times Easier than Words: Benefits beyond Locational Indexing....Pages 242-254 Incorporating Perceptual Task Effort into the Recognition of Intention in Information Graphics....Pages 255-270 Individual Differences in Graphical Reasoning....Pages 271-285 Co-ordinating Conventions in Graphical Dialogue: Effects of Repetition and Interaction....Pages 286-300 Predictors of Success in Diagrammatic Problem Solving....Pages 301-315 Speech and Graphical Interaction in Multimodal Communication....Pages 316-328 Generating New Research Hypotheses from a Result Diagram of Qualitative Research....Pages 329-332 Interpreting Lines in Graphs: Do Graph Users Construe Fictive Motion?....Pages 333-336 Learning with Diagrams: Effects on Inferences and the Integration of Information....Pages 337-340 Making TRACS: The Diagrammatic Design of a Double-Sided Deck....Pages 341-343 A Cognitive Processing Perspective on Student Programmers’ ‘Graphicacy’....Pages 344-346 Using Graphics to Communicate Across Cultures....Pages 347-350 The Effect of Knowledge-of-External-Representations upon Performance and Representational Choice in a Database Query Task....Pages 351-354 User-Controllable Animated Diagrams: The Solution for Learning Dynamic Content?....Pages 355-359 Processing Animation: Integrating Information from Animated Diagrams....Pages 360-364 A Training Program to be Perceptually Sensitive and Conceptually Productive through Meta-cognition: A Case Study....Pages 365-367 Can Object (Instance) Diagrams Help First Year Students Understand Program Behaviour?....Pages 368-371 Spatial Transformations in Graph Comprehension....Pages 372-375 Constructing Diagrams Representing Group Motions....Pages 376-378 Bar-Gain Boxes: An Informative Illustration of the Pairing Problem....Pages 379-381 Bayesian Boxes: A Colored Calculator for Picturing Posteriors....Pages 382-384 Representing Rosters: Conceptual Integration Counteracts Visual Complexity....Pages 385-387 Visualization Techniques for Product Change and Product Modelling in Complex Design....Pages 388-391 Geographic Projection of Cluster Composites....Pages 392-394 Decision Diagrams in Machine Learning: An Empirical Study on Real-Life Credit-Risk Data....Pages 395-397 Feature Diagrams in Phonology....Pages 398-401 Using Color Component Overlays for Result Visualization in a Classification by Sketch System....Pages 402-406 Teaching Children Brackets by Manipulating Trees: Is Easier Harder?....Pages 407-414 Cider : A Component-Based Toolkit for Creating Smart Diagram Environments....Pages 415-419 Diagrammatic Spreadsheet: An Overview....Pages 420-423 Perceptual Support of Diagram Creation and Editing....Pages 424-427 ScanScribe: Perceptually Supported Diagram Image Editing....Pages 428-431 An Experimental Comparison of Diagrammatic and Algebraic Logics....Pages 432-434 Automatic Generation of the Behavior Definition of Distributed Design Tools from Task Method Diagrams and Method Flux Diagrams by Diagram Composition....Pages 435-437 Selected Aspects of Customization of Cognitive Dimensions for Evaluation of Visual Modeling Languages....Pages 438-440 Notations for Software Engineering Class Structures....Pages 441-445 Back Matter....Pages - 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 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. 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.