Diagrammatic reasoning system with euler circles: Theory and experiment design

Koji Mineshima, Mitsuhiro Okada, Yuri Sato, Ryo Takemura

研究成果: Conference contribution

17 被引用数 (Scopus)

抄録

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.

本文言語English
ホスト出版物のタイトルDiagrammatic Representation and Inference - 5th International Conference, Diagrams 2008, Proceedings
ページ188-205
ページ数18
DOI
出版ステータスPublished - 2008
イベント5th International Conference on Diagrammatic Representation and Inference, Diagrams 2008 - Herrsching, Germany
継続期間: 2008 9月 192008 9月 21

出版物シリーズ

名前Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
5223 LNAI
ISSN(印刷版)0302-9743
ISSN(電子版)1611-3349

Other

Other5th International Conference on Diagrammatic Representation and Inference, Diagrams 2008
国/地域Germany
CityHerrsching
Period08/9/1908/9/21

ASJC Scopus subject areas

  • 理論的コンピュータサイエンス
  • コンピュータ サイエンス(全般)

フィンガープリント

「Diagrammatic reasoning system with euler circles: Theory and experiment design」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル