Diagrammatic reasoning system with euler circles: Theory and experiment design

Koji Mineshima, Mitsuhiro Okada, Yuri Sato, Ryo Takemura

Research output: Chapter in Book/Report/Conference proceedingConference contribution

16 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pages188-205
Number of pages18
Volume5223 LNAI
DOIs
Publication statusPublished - 2008
Event5th International Conference on Diagrammatic Representation and Inference, Diagrams 2008 - Herrsching, Germany
Duration: 2008 Sep 192008 Sep 21

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5223 LNAI
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other5th International Conference on Diagrammatic Representation and Inference, Diagrams 2008
CountryGermany
CityHerrsching
Period08/9/1908/9/21

Fingerprint

Design of experiments
Euler
Circle
Reasoning
Experiment
Theoretical Analysis
Experiments
Design of Experiments
Unification
Deletion
Diagram
Design

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Cite this

Mineshima, K., Okada, M., Sato, Y., & Takemura, R. (2008). Diagrammatic reasoning system with euler circles: Theory and experiment design. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5223 LNAI, pp. 188-205). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5223 LNAI). https://doi.org/10.1007/978-3-540-87730-1_19

Diagrammatic reasoning system with euler circles : Theory and experiment design. / Mineshima, Koji; Okada, Mitsuhiro; Sato, Yuri; Takemura, Ryo.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5223 LNAI 2008. p. 188-205 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5223 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Mineshima, K, Okada, M, Sato, Y & Takemura, R 2008, Diagrammatic reasoning system with euler circles: Theory and experiment design. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). vol. 5223 LNAI, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5223 LNAI, pp. 188-205, 5th International Conference on Diagrammatic Representation and Inference, Diagrams 2008, Herrsching, Germany, 08/9/19. https://doi.org/10.1007/978-3-540-87730-1_19
Mineshima K, Okada M, Sato Y, Takemura R. Diagrammatic reasoning system with euler circles: Theory and experiment design. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5223 LNAI. 2008. p. 188-205. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-540-87730-1_19
Mineshima, Koji ; Okada, Mitsuhiro ; Sato, Yuri ; Takemura, Ryo. / Diagrammatic reasoning system with euler circles : Theory and experiment design. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5223 LNAI 2008. pp. 188-205 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{565641d79f0d474591c3b64c995951db,
title = "Diagrammatic reasoning system with euler circles: Theory and experiment design",
abstract = "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.",
author = "Koji Mineshima and Mitsuhiro Okada and Yuri Sato and Ryo Takemura",
year = "2008",
doi = "10.1007/978-3-540-87730-1_19",
language = "English",
isbn = "3540877290",
volume = "5223 LNAI",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "188--205",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

TY - GEN

T1 - Diagrammatic reasoning system with euler circles

T2 - Theory and experiment design

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

VL - 5223 LNAI

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

SP - 188

EP - 205

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

ER -