Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design
- Cite this paper as:
- Mineshima K., Okada M., Sato Y., Takemura R. (2008) Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design. In: Stapleton G., Howse J., Lee J. (eds) Diagrammatic Representation and Inference. Diagrams 2008. Lecture Notes in Computer Science, vol 5223. Springer, Berlin, Heidelberg
In this paper we are concerned with logical and cognitive aspects of reasoning with Euler circles. We give a proof-theoretical analysis of diagrammatic reasoning with Euler circles involving unification and deletion rules. Diagrammatic syllogistic reasoning is characterized as a particular class of the general diagrammatic proofs. Given this proof-theoretical analysis, we present some conjectures on cognitive aspects of reasoning with Euler diagrams. Then we propose a design of experiment for a cognitive psychological study.
Unable to display preview. Download preview PDF.