TY - GEN

T1 - Diagrammatic reasoning system with euler circles

T2 - 5th International Conference on Diagrammatic Representation and Inference, Diagrams 2008

AU - Mineshima, Koji

AU - Okada, Mitsuhiro

AU - Sato, Yuri

AU - Takemura, Ryo

PY - 2008/11/27

Y1 - 2008/11/27

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=56549083205&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=56549083205&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-87730-1_19

DO - 10.1007/978-3-540-87730-1_19

M3 - Conference contribution

AN - SCOPUS:56549083205

SN - 3540877290

SN - 9783540877295

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 188

EP - 205

BT - Diagrammatic Representation and Inference - 5th International Conference, Diagrams 2008, Proceedings

Y2 - 19 September 2008 through 21 September 2008

ER -