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 publicationDiagrammatic Representation and Inference - 5th International Conference, Diagrams 2008, Proceedings
Pages188-205
Number of pages18
DOIs
Publication statusPublished - 2008 Nov 27
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)0302-9743
ISSN (Electronic)1611-3349

Other

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

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Diagrammatic reasoning system with euler circles: Theory and experiment design'. Together they form a unique fingerprint.

  • Cite this

    Mineshima, K., Okada, M., Sato, Y., & Takemura, R. (2008). Diagrammatic reasoning system with euler circles: Theory and experiment design. In Diagrammatic Representation and Inference - 5th International Conference, Diagrams 2008, Proceedings (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