Diagrammatic Representation and ReasoningMichael Anderson, Bernd Meyer, Patrick Olivier Springer Science & Business Media, 2002 - 584 pagine Diagrams are essential in most fields of human activity. There is substan tial interest in diagrams and their use in many academic disciplines for the potential benefits they may confer on a wide range of tasks. Are we now in a position to claim that we have a science of diagrams-that is, a science which takes the nature of diagrams and their use as the central phenom ena of interest? If we have a science of diagrams it is certainly constituted from multiple disciplines, including cognitive science, psychology, artificial intelligence, logic, mathematics, and others. If there is a science of diagrams, then like other sciences there is an appli cations, or engineering, discipline that exists alongside the science. Applica tions and engineering provide tests of the theories and principles discovered by the science and extend the scope of the phenomena to be studied by gen erating new uses of diagrams, new media for presenting diagrams, or novel classes of diagram. This applications and engineering side of the science of di agrams also comprises multiple disciplines, including education, architecture, computer science, mathematics, human-computer interaction, knowledge ac quisition, graphic design, engineering, history of science, statistics, medicine, biology, and others. |
Sommario
1 Diagrams in the Mind? | 7 |
2 Knowing About Diagrams | 29 |
3 A MetaTaxonomy for Diagram Research | 47 |
4 Sketches as Mental Reifications of Theoretical Scientific Treatment | 65 |
5 The Fundamental Design Variables of Diagramming | 85 |
Cognitive Aspects of Diagrams | 103 |
6 Psychological Perspectives on Diagrams and their Users | 109 |
7 Combining Semantic and Cognitive Accounts of Diagrams | 125 |
17 Multiple Readings of Peirces Alpha Graphs | 297 |
18 On Automating Diagrammatic Proofs of Arithmetic Arguments | 315 |
19 On the Practical Semantics of Mathematical Diagrams | 339 |
20 EnE Sentences and Local Extent in Diagrams | 357 |
21 Implementing EulerVenn Reasoning Systems | 371 |
A Semantics Using Description Logic | 387 |
Applications of Diagrammatic Reasoning | 405 |
State of the Art | 411 |
8 Tactile Maps and a Test of the Conjoint Retention Hypothesis | 141 |
9 Spatial Abilities in Problem Solving in Kinematics | 155 |
The Role of Format Content and Individual Differences | 173 |
11 Graphs in Print | 187 |
12 The Role of Representation and Working Memory in Diagrammatic Reasoning and Decision Making | 207 |
Do Eyemovements Predict Performance? | 223 |
14 How do Designers Shift their Focus of Attention in their Own Sketches? | 241 |
Formal Aspects of Diagrammatic Reasoning | 255 |
15 Diagrammatic Evaluation of Visual Mathematical Notations | 261 |
16 A Topological Framework for Modelling Diagrammatic Reasoning Tasks | 279 |
A Diagrammatic Information System | 431 |
A CaseBased Approach to Diagrammatic Reasoning | 447 |
A Picture is Worth a Thousand Constraints | 467 |
27 Diagramming Research Designs | 485 |
28 How to Build a Quite General Linguistic Diagram Editor | 505 |
A Novel Representational System for Understanding Electricity | 521 |
Capturing Complex TimeOriented Plans Beyond Flow Charts | 535 |
How to Plan Strategies in Two Case Studies | 551 |
32 Specifying Diagram Languages by Means of Hypergraph Grammars | 565 |
Altre edizioni - Visualizza tutto
Diagrammatic Representation and Reasoning Michael Anderson,Bernd Meyer,Patrick Olivier Anteprima limitata - 2011 |
Diagrammatic Representation and Reasoning Michael Anderson,Bernd Meyer,Patrick Olivier Anteprima non disponibile - 2001 |
Parole e frasi comuni
AAAI ABox abstract analysis applied arrows Artificial Intelligence aspects AVOW diagrams behaviour chunks circle Cognitive Psychology complex components concept constraints construction context corresponding defined depicted description logic diagrammatic notations diagrammatic proofs diagrammatic reasoning diagrammatic representations Diamond Lemma domain EERSS elements Euler/Venn example external representations Figure formal formalisation function geometry grammar graph graphical hyperedges hypergraph implementation inference inference rules interaction interpretation Journal kinematics knowledge line graphs logic mathematical memory mental n-chain negation normal form nodes notations objects operations participants picture plans predicate problem diagram problem solving programming properties Psychology qc-space query raters relationships represented rules scan path schematic proof Schröder-Bernstein Theorem segments semantics sequence simplicial complex sketch spatial ability spatial relations specific structure symbols task theorem theory tion transformation types variables Venn diagrams verbal viewers visual languages visualisation