### 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 | Diagrammatic Representation and Inference - 5th International Conference, Diagrams 2008, Proceedings |

Pages | 188-205 |

Number of pages | 18 |

DOIs | |

Publication status | Published - 2008 Nov 27 |

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) | 0302-9743 |

ISSN (Electronic) | 1611-3349 |

### Other

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

Country | Germany |

City | Herrsching |

Period | 08/9/19 → 08/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