Theories of Diagrammatic Reasoning: Distinguishing Component Problems

Authors:
Corin Gurr;John Lee;Keith Stenning
Affiliations:
The Human Communication Research Centre, University of Edinburgh, 2 Buccleuch Place, Edinburgh EH8 9LW, U.K. (e-mail: C.Gurr@ed.ac.uk);The Human Communication Research Centre, University of Edinburgh, 2 Buccleuch Place, Edinburgh EH8 9LW, U.K. (e-mail: J.Lee@ed.ac.uk);The Human Communication Research Centre, University of Edinburgh, 2 Buccleuch Place, Edinburgh EH8 9LW, U.K. (e-mail: K.Stenning@ed.ac.uk)
Venue:
Minds and Machines
Year:
1998

Citing 4
Cited 8

Operational constraints in diagrammatic reasoning

Logical reasoning with diagrams
Situation-theoretic account of valid reasoning with Venn diagrams

Logical reasoning with diagrams
Towards a model theory of Venn diagrams

Logical reasoning with diagrams
On the isomorphism, or lack of it, of representations

Visual language theory

Towards the principled design of software engineering diagrams

Proceedings of the 22nd international conference on Software engineering
Visualization and the process of modeling: a cognitive-theoretic view

Proceedings of the sixth ACM SIGKDD international conference on Knowledge discovery and data mining
Distinctions with Differences: Comparing Criteria for Distinguishing Diagrammatic from Sentential Systems

Diagrams '00 Proceedings of the First International Conference on Theory and Application of Diagrams
Using Animation in Diagrammatic Theorem Proving

DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
On Diagram Tokens and Types

DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
Implementing Configurable Information Systems: A Combined Social Science and Cognitive Science Approach

CT '01 Proceedings of the 4th International Conference on Cognitive Technology: Instruments of Mind
The efficacy of euler and Venn diagrams in deductive reasoning: empirical findings

Diagrams'10 Proceedings of the 6th international conference on Diagrammatic representation and inference
Proof-Theoretical investigation of venn diagrams: a logic translation and free rides

Diagrams'12 Proceedings of the 7th international conference on Diagrammatic Representation and Inference

Quantified Score

Hi-index	0.00

Visualization

Abstract

Theories of diagrams and diagrammatic reasoning typically seek to account for either the formal semantics of diagrams, or for the advantages which diagrammatic representations hold for the reasoner over other forms of representation. Regrettably, almost no theory exists which accounts for both of these issues together, nor how they affect one another. We do not attempt to provide such an account here. We do, however, seek to lay out larger context than is generally used for examining the processes of using diagrams in reasoning or communication. A context in which detailed studies of sub-problems, such as the formal semantics or cognitive impact of specific diagrammatic systems, may be embedded.Accounts of the embedding of sentential logics in the computational processes of reasoners and communicators are relatively well developed from several decades of research in AI. Analogies between the sentential and the graphical cases are quite revealing about both similarities and differences. To provide a structure for the ’grand context‘ of diagrammatic representation and reasoning, and to clarify the relations between its component problems, we examine carefully these analogies and the decomposition they provide of subproblems for analysing diagrammatic reasoning.