Diagrammatic representation and inference : 13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022, Proceedings / Valeria Giardino, Sven Linker, Richard Burns, Francesco Bellucci, Jean-Michel Boucheix, Petrucio Viana (eds.).

Intro -- Preface -- Organization -- Contents -- Theoretical Perspectives -- Introducing the Diagrammatic Semiotic Mode -- 1 Introduction -- 2 A Multimodal Perspective on Diagrams -- 3 Multimodal Diagram Corpora -- 3.1 The Allen Institute for Artificial Intelligence Diagrams Dataset -- 3.2 AI2D-RST -- A Multimodally-Motivated Annotation Schema -- 3.3 Next Step: Adding Discourse-Driven Decomposition to AI2D-RST -- 4 Discussion -- 5 Conclusion -- References -- On Computing Optimal Linear Diagrams -- 1 Introduction -- 2 Preliminaries -- 3 Complexity of Linear Diagrams -- 4 TSP Model

4.1 Solving Linear Diagrams with TSP -- 4.2 Priorities for Sets -- 4.3 A Weighted Version -- 4.4 Hierarchical Constraints -- 5 Experiments -- 5.1 Setup and Test Data -- 5.2 Computing Optimal Linear Diagrams -- 5.3 Constraints -- 6 Conclusion -- References -- Visual Proofs as Counterexamples to the Standard View of Informal Mathematical Proofs? -- 1 Introduction -- 2 Azzouni's Counterexample to the Standard View -- 3 The Standard View of Mathematical Rigor and Proof -- 4 Mathematicians on Visual Proofs -- 5 Azzouni's Critique Towards the Standard View Revisited

5.1 Figure1 and the Corresponding Epistemic Process -- 5.2 Visual Proofs as Counterexamples to the Standard View? -- 6 Conclusion -- References -- Representational Interpretive Structure: Theory and Notation -- 1 Introduction -- 2 Representation Interpretation Theory/Notation -- RIST/RISN -- 2.1 Four Schemas -- 2.2 Linking Schemas -- 3 Idioms: Higher-Order Structures -- 3.1 Collections -- 3.2 R-Dimension Idioms -- 3.3 Coordinate Systems -- 4 Diversity of Interpretations -- 5 Discussion -- References -- Mixing Colors, Mixing Logics -- 1 Introduction -- 2 Term Logics

3 Mixing Colors, Mixing Logics -- 4 Conclusions -- References -- Normatively Determined Propositions -- 1 Introduction -- 2 Formal Setting -- 3 Geometrical Representations -- 4 Final Remarks -- References -- A Diagram Must Never Be Ten Thousand Words: Text-Based (Sentential) Approaches to Diagrams Accessibility Limit Users' Potential for Normative Agency -- 1 Introduction -- 2 Diagrammatic Representation and "Free Rides" -- 3 Accessibility Issues of Diagrams -- 4 Relationships of Constraints, Possibilities for Action, and Connections with Human Rights

5 Providing Normative Agency with Accessible Diagram Design -- 6 Conclusion -- References -- History -- Combing Graphs and Eulerian Diagrams in Eristic -- 1 Introduction -- 2 Current Research Results and Problems -- 3 Graph Theory -- 4 Interpretations and Discussion -- 5 An Example of a Controversy -- 6 Summary and Outlook -- References -- Taming the Irrational Through Musical Diagrams -- from Boethius to Oresme and Nemorarius -- 1 Ratios, Measuring Intervals and Proportions -- 2 Epimoric Ratios as a Measure for Musical Intervals -- 3 Boethius Triangles and Nemorarius Webs

4 Geometric Division of the Pythagorean Tetraktys in Theory and Practice

Includes author index.

8 chapters are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.