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
Y1 - 2008
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 -