Diagrammatic Representation and Inference

Description

This book constitutes the refereed proceedings of the 10th International Conference on the Theory and Application of Diagrams, Diagrams 2018, held in Edinburgh, UK, in June 2018. The 26 revised full papers and 28 short papers presented together with 32 posters were carefully reviewed and selected from 124 submissions. The papers are organized in the following topical sections: generating and drawing Euler diagrams; diagrams in mathematics; diagram design, principles and classification; reasoning with diagrams; Euler and Venn diagrams; empirical studies and cognition; Peirce and existential graphs; and logic and diagrams. Front Matter ....Pages I-XVI Front Matter ....Pages 1-1 Diagrams and Nonmonotonic Logic: What Is the Cognitive Relation? (Keith Stenning)....Pages 3-8 The Beauty of Graphs (Ahti-Veikko Pietarinen)....Pages 9-12 Front Matter ....Pages 13-13 Were “Super-Turing” Diagrammatic Reasoning Mechanisms Ancient Products of Biological Evolution? (Aaron Sloman)....Pages 15-19 Using Verbal Protocols to Support Diagram Design (Thora Tenbrink)....Pages 20-23 Peirce on Diagrammatic Reasoning and Semeiotic (Javier Legris, Cassiano Terra Rodrigues)....Pages 24-27 Picturing Quantum Processes (Bob Coecke, Aleks Kissinger)....Pages 28-31 Carroll Diagrams: Design and Manipulation (Amirouche Moktefi)....Pages 32-35 Front Matter ....Pages 37-37 Generating Effective Euler Diagrams (Almas Baimagambetov, John Howse, Gem Stapleton, Aidan Delaney)....Pages 39-54 Variational Pictures (Martin Erwig, Karl Smeltzer)....Pages 55-70 Edge Label Placement in Layered Graph Drawing (Christoph Daniel Schulze, Nis Wechselberg, Reinhard von Hanxleden)....Pages 71-78 Generation of Kolam-Designs Based on Contextual Array P Systems (Ibrahim Venkat, Thamburaj Robinson, K. G. Subramanian, Philippe de Wilde)....Pages 79-86 Front Matter ....Pages 87-87 Visual Algebraic Proofs for Unknot Detection (Andrew Fish, Alexei Lisitsa, Alexei Vernitski)....Pages 89-104 A Typology of Mathematical Diagrams (Mikkel Willum Johansen, Morten Misfeldt, Josefine Lomholt Pallavicini)....Pages 105-119 The Classificatory Function of Diagrams: Two Examples from Mathematics (Christophe Eckes, Valeria Giardino)....Pages 120-136 Mathematical Pictures (Axel Arturo Barceló Aspeitia)....Pages 137-147 Impact and Prevalence of Diagrammatic Supports in Mathematics Classrooms (Bryan J. Matlen, Lindsey E. Richland, Ellen C. Klostermann, Emily Lyons)....Pages 148-163 What Sort of Information-Processing Machinery Could Ancient Geometers Have Used? (Aaron Sloman)....Pages 164-171 Interpreting Diagrammatic Reasoning – Between Empiricism and Realism (Michał Sochański)....Pages 172-179 Front Matter ....Pages 181-181 Picturing Science: Design Patterns in Graphical Abstracts (Jessica Hullman, Benjamin Bach)....Pages 183-200 A Framework for Analyzing and Designing Diagrams and Graphics (Yuri Engelhardt, Clive Richards)....Pages 201-209 A Classification of Infographics (Helen C. Purchase, Katherine Isaacs, Thomas Bueti, Ben Hastings, Aadam Kassam, Allen Kim et al.)....Pages 210-218 Diagrammatic Maps of the New York Subway: An Historical Perspective (Peter B. Lloyd)....Pages 219-227 Sonifying Napoleon’s March by Identifying Auditory Correlates of the Graphic-Linguistic Distinction (Peter W. Coppin, Richard C. Windeyer)....Pages 228-235 Towards a Typology of Diagrams in Linguistics (Hans Smessaert, Lorenz Demey)....Pages 236-244 Front Matter ....Pages 245-245 Accessible Reasoning with Diagrams: From Cognition to Automation (Zohreh Shams, Yuri Sato, Mateja Jamnik, Gem Stapleton)....Pages 247-263 Using Diagrams to Reason About Biological Mechanisms (William Bechtel, Adele Abrahamsen, Benjamin Sheredos)....Pages 264-279 A Survey and Evaluation of Diagrams for Navya-Nyāya (Jim Burton, Lopamudra Choudhury, Mihir Chakraborty)....Pages 280-295 Operations on Single Feature Indicator Systems (Atsushi Shimojima, Dave Barker-Plummer)....Pages 296-312 The Observational Advantages of Euler Diagrams with Existential Import (Gem Stapleton, Atsushi Shimojima, Mateja Jamnik)....Pages 313-329 Observational Advantages: A Philosophical Discussion (Francesco Bellucci)....Pages 330-335 ‘Diagrams’: A Hybrid Visual Information Representation and Reasoning Paradigm Towards Video Analysis (Chayanika Deka Nath, Shyamanta M. Hazarika)....Pages 336-345 Diagrammatic Definitions of Causal Claims (Dean McHugh)....Pages 346-354 Arcform (Benjamin Brink Allsopp)....Pages 355-362 Front Matter ....Pages 363-363 Euler Diagrams Through the Looking Glass: From Extent to Intent (Gem Stapleton, Amirouche Moktefi, John Howse, Jim Burton)....Pages 365-381 Rigor and the Context-Dependence of Diagrams: The Case of Euler Diagrams (David Waszek)....Pages 382-389 Investigating Diagrammatic Reasoning with Deep Neural Networks (Duo Wang, Mateja Jamnik, Pietro Liò)....Pages 390-398 Sequent Calculus for Euler Diagrams (Sven Linker)....Pages 399-407 Front Matter ....Pages 409-409 Metro Map Colour-Coding: Effect on Usability in Route Tracing (Peter B. Lloyd, Peter Rodgers, Maxwell J. Roberts)....Pages 411-428 The Effect of Graphical Format and Instruction on the Interpretation of Three-Variable Bar and Line Graphs (Nadia Ali, David Peebles)....Pages 429-440 Read It This Way: Scaffolding Comprehension for Unconventional Statistical Graphs (Amy Rae Fox, James Hollan)....Pages 441-457 Rediscovering Isotype from a Cognitive Perspective (Günther Schreder, Nicole Hynek, Florian Windhager, Eva Mayr)....Pages 458-469 Perceptual Processing and the Comprehension of Relational Information in Dynamic Diagrams (Richard Lowe, Jean-Michel Boucheix, Marilyne Menant)....Pages 470-483 Visualizing Conversational Structure: Effects of Conversation-Analytical Knowledge and Social Media Experience (Leonie Bosveld-de Smet, Anne-Roos Bakker)....Pages 484-491 Comparing and Contrasting Within Diagrams: An Effective Study Strategy (Jennifer G. Cromley, Kyle Mara)....Pages 492-499 The Role of Top-Down Knowledge in Spatial Cueing Using Hierarchical Diagrams (Takeshi Sugio)....Pages 500-508 Exploring the Relationship Between Visual Context and Affect in Diagram Interpretation (Matthew Wood, Susan Stocklmayer)....Pages 509-516 Visualising Latent Semantic Spaces for Sense-Making of Natural Language Text (Ana Šemrov, Alan F. Blackwell, Advait Sarkar)....Pages 517-525 How Users Transform Node-Link Diagrams to Matrices and Vice Versa (Simone Kriglstein, Margit Pohl, Johanna Doppler Haider)....Pages 526-534 Front Matter ....Pages 535-535 Peirce and Proof: A View from the Trees (Dave Beisecker)....Pages 537-548 A Weakening of Alpha Graphs: Quasi-Boolean Algebras (Minghui Ma, Ahti-Veikko Pietarinen)....Pages 549-564 Assertive and Existential Graphs: A Comparison (Ahti-Veikko Pietarinen, Daniele Chiffi)....Pages 565-581 On the Transformation Rules of Erasure and Insertion in the Beta Part of Peirce’s Existential Graphs (Shigeyuki Atarashi)....Pages 582-589 Existential Graphs as a Basis for Structural Reasoning (Javier Legris)....Pages 590-597 Multiple Readings of Existential Graphs (Takashi Sasaki)....Pages 598-604 Front Matter ....Pages 605-605 Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams (Ryo Takemura)....Pages 607-623 Iconic Logic and Ideal Diagrams: The Wittgensteinian Approach (Timm Lampert)....Pages 624-639 Aristotelian and Duality Relations Beyond the Square of Opposition (Lorenz Demey, Hans Smessaert)....Pages 640-656 Syllogistic with Jigsaw Puzzle Diagrams (José Martín Castro-Manzano)....Pages 657-671 Diagrammatically Formalising Constraints of a Privacy Ontology (Shan Chen, Aidan Delaney)....Pages 672-679 On Diagrams and General Model Checkers (Sheila R. M. Veloso, Paulo A. S. Veloso, Mario R. F. Benevides, Isaque M. S. Lima)....Pages 680-688 Depicting the Redundancy of Fourth Figure Using Venn-Peirce Framework (Sumanta Sarathi Sharma)....Pages 689-696 Front Matter ....Pages 697-697 Towards Diagram-Based Editing of Ontologies (Peter Chapman, William Roberts)....Pages 699-703 Diagrams Including Pictograms Increase Stock-Flow Performance (Friederike Brockhaus, Peter Sedlmeier)....Pages 704-707 A Simple Decision Method for Syllogistic (Frank Thomas Sautter, Gisele Dalva Secco)....Pages 708-711 Wallis’s Use of Innovative Diagrams (Erika Rita Ortiz)....Pages 712-715 Venn Diagram and Evaluation of Syllogisms with Negative Terms: A New Algorithm (Mehdi Mirzapour, Christian Retoré)....Pages 716-720 Making Sense of Schopenhauer’s Diagram of Good and Evil (Jens Lemanski, Amirouche Moktefi)....Pages 721-724 How Cross-Representational Signaling Affects Learning from Text and Picture: An Eye-Tracking Study (Juliette C. Désiron, Mireille Bétrancourt, Erica de Vries)....Pages 725-728 Effect of Handedness on Mental Rotation (Gunta Krumina, Jurgis Skilters, Annija Gulbe, Vsevolod Lyakhovetskii)....Pages 729-733 Euler Box Diagrams to Represent Independent and Non-independent Events (James E. Corter)....Pages 734-738 A Symmetry Metric for Graphs and Line Diagrams (Roman Klapaukh, Stuart Marshall, David Pearce)....Pages 739-742 Wrapping Layered Graphs (Ulf Rüegg, Reinhard von Hanxleden)....Pages 743-747 Diagrams, Musical Notation, and the Semiotics of Musical Composition (Vinícius Jonas de Aguiar)....Pages 748-751 Calculus CL as Ontology Editor and Inference Engine (Jens Lemanski)....Pages 752-756 Moded Diagrams for Moded Syllogisms (José Martín Castro-Manzano, José Roberto Pacheco-Montes)....Pages 757-760 A Review of Murner’s Cards for Syllogistic (José Martín Castro-Manzano, Jorge Medina-Delgadillo, Juan Manuel Campos Benítez)....Pages 761-764 Towards Executable Representations of Social Machines (Dave Murray-Rust, Alan Davoust, Petros Papapanagiotou, Areti Manataki, Max Van Kleek, Nigel Shadbolt et al.)....Pages 765-769 Transforming Storyboards into Diagrammatic Models (Elena-Teodora Miron, Christian Muck, Dimitris Karagiannis, David Götzinger)....Pages 770-773 Logical Reasoning with Object Diagrams in a UML and OCL Tool (Khanh-Hoang Doan, Martin Gogolla)....Pages 774-778 Scanning the Invisible: Framing Diagrammatic Cognition in Experimental Particle Physics (Javier Anta)....Pages 779-782 Teaching Argument Diagrams to a Student Who Is Blind (Marc Champagne)....Pages 783-786 Back Matter ....Pages 787-831