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)

Volumn 5223 LNAI, Issue , 2008, Pages 188-205

  Mineshima, Koji ^a   Okada, Mitsuhiro ^a   Sato, Yuri ^a   Takemura, Ryo ^a  

^a KEIO UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

ELECTRIC NETWORK ANALYSIS;

COGNITIVE ASPECTS; DIAGRAMMATIC REASONINGS; EULER CIRCLES; EULER DIAGRAMS; EXPERIMENT DESIGNS; THEORETICAL ANALYSES;

GRAPHIC METHODS;

EID: 56549083205     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-87730-1_19     Document Type: Conference Paper

References (25)

1. Ando, J., Shikishima, C., Hiraishi, K., Sugimoto, Y., Takemura, R., Okada, M.: At the crossroads of logic, psychology, and behavioral genetics. In: Okada, M., et al. (eds.) Reasoning and Cognition, pp. 19-36. Keio University Press (2006)
2. Braine, M., O'Brien, D.: Mental logic. Lawrence Erlbaum Associates, Mahwah (1998)
3. Blackett, D.: Elementary Topology. Academic Press, London (1983)
4. Calvillo, P.D., DeLeeuw, K., Revlin, R.: Deduction with Euler Circles. In: Baker-Plummer, D., et al. (eds.) Diagrams 2006. LNCS (LNAI), vol. 4045, pp. 199-203. Springer, Heidelberg (2006)
5. Chater, N., Oakford, M.: The probability heuristics model of syllogistic reasoning. Cognitive Psychology 38, 191-258 (1999)
6. Dickstein, L.S.: The effect of figure on syllogistic reasoning. Memory and Cognition 6, 76-83 (1978)
7. Euler, L.: Lettres à une Princesse d'Allemagne sur Divers Sujets de Physique et de Philosophie. De l'Académie des Sciences, Saint-Pétersbourg (1768)
8. Evans, J., Newstead, S.E., Byrne, R.: Human Reasoning. Lawrence Erlbaum Associates, Mahwah (1993)
9. Hammer, E.: Logic and Visual Information. CSLI Publications (1995)
10. Hammer, E., Shin, S.: Euler's visual logic. History and Philosophy of Logic 19, 1-29 (1998)
11. Meyer, B.: Diagrammatic evaluation of visual mathematical notations. In: Anderson, M., Meyer, B., Olivier, P. (eds.) Diagrammatic Representation and Reasoning, pp. 261-277. Springer, Heidelberg (2001)
12. Peirce, C.S.: Collected Papers IV. Harvard University Press (1897/1933)
13. Rips, L.J.: The Psychology of Proof. MIT Press, Cambridge (1994)
14. Rizzo, A., Palmonari, M.: The mediating role of artifacts in deductive reasoning. In: Poster in the 27th Annual Conference of the Cognitive Science Society (2005)
15. Sato, Y., Takemura, R., Mineshima, K., Shikishima, C., Sugimoto, Y., Ando, J., Okada, M.: Some remarks on deductive syllogistic reasoning studies. In: Okada, M., Takemura, R., Ando, J. (eds.) Reports on Interdisciplinary Logic Inference Studies, pp. 3-32. Keio University Press (2008)
16. Shin, S.-J.: The Logical Status of Diagrams. Cambridge University Press, Cambridge (1994)
17. Stapleton, G.: A survey of reasoning systems based on Euler diagrams. In: Euler Diagrams 2004. ENTCS, vol. 134, pp. 127-151. Elsevier, Amsterdam (2005)
18. Stapleton, G., Rodgers, P., Howse, J., Taylor, J.: Properties of Euler diagrams. In: Stapleton, G., Rodgers, P., Howse, J. (eds.) Proc. Layout of Software Engineering Diagrams. ECEASST, vol. 7, pp. 2-16 (2007)
19. Stenning, K.: Seeing Reason. Oxford University Press, Oxford (2002)
20. Stenning, K., Oberlander, J.: A cognitive theory of graphical and linguistic reasoning. Cognitive Science 19, 97-140 (1995)
21. Stenning, K., van Lambalgen, M.: Human Reasoning and Cognitive Science. MIT Press, Cambridge (2007)
22. Swoboda, N., Allwein, G.: Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn FOL heterogeneous rules of inference. Journal on Software and System Modeling 3(2), 136-149 (2004)
23. Swoboda, N., Allwein, G.: Heterogeneous reasoning with Euler/Venn diagrams containing named constants and FOL. ENTCS, vol. 134, pp. 153-187. Elsevier, Amsterdam (2005)
24. Venn, J.: Symbolic Logic. Macmillan, Basingstoke (1881)
25. Zhang, J., Norman, D.A.: Representations in distributed cognitive tasks. Cognitive Science 18(1), 87-122 (1994)