### 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 language | English |
---|---|

Title of host publication | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |

Pages | 188-205 |

Number of pages | 18 |

Volume | 5223 LNAI |

DOIs | |

Publication status | Published - 2008 |

Event | 5th International Conference on Diagrammatic Representation and Inference, Diagrams 2008 - Herrsching, Germany Duration: 2008 Sep 19 → 2008 Sep 21 |

### Publication series

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

Volume | 5223 LNAI |

ISSN (Print) | 03029743 |

ISSN (Electronic) | 16113349 |

### Other

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

Country | Germany |

City | Herrsching |

Period | 08/9/19 → 08/9/21 |

### Fingerprint

### ASJC Scopus subject areas

- Computer Science(all)
- Theoretical Computer Science

### Cite this

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

*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

}

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 -