An Empirical Study of Diagrammatic Inference Process by Recording the Moving Operation of Diagrams

  • Yuri Sato
  • Yuichiro Wajima
  • Kazuhiro Ueda
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8578)

Abstract

In this study, we investigate how people manipulate diagrams in logical reasoning, especially no valid conclusion (NVC) tasks. In NVC tasks, premises are given and people are asked to judge whether “no consequence can be drawn from the premises.” Here, we introduce a method of asking participants to directly manipulate instances of diagrammatic objects as a component of inferential processes. We observed how participants move Euler diagrams, presented on a PC monitor, to solve syllogisms with universally quantified sentences. In the NVC tasks, 88.6% of our participants chose to use an enumeration strategy with multiple configurations of conclusion diagrams and/or a partial-overlapping strategy of placing two circles. Our results provide evidence that NVC judgment for tasks with diagrams can be reached using an efficient way of counter-example construction.

Keywords

inference process NVC task Euler diagram 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Bucciarelli, M., Johnson-Laird, P.N.: Strategies in syllogistic reasoning. Cognitive Science 23, 247–303 (1999)CrossRefGoogle Scholar
  2. 2.
    Ford, M.: Two modes of mental representation and problem solution in syllogistic reasoning. Cognition 54, 1–71 (1994)CrossRefGoogle Scholar
  3. 3.
    Howse, J., Molina, F., Shin, S.-J., Taylor, J.: On diagram tokens and types. In: Hegarty, M., Meyer, B., Narayanan, N.H. (eds.) Diagrams 2002. LNCS (LNAI), vol. 2317, pp. 146–160. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  4. 4.
    Mineshima, K., Sato, Y., Takemura, R., Okada, M.: Towards explaining the cognitive efficacy of Euler diagrams in syllogistic reasoning: A relational perspective. Journal of Visual Languages and Computing 25, 156–169 (2014)CrossRefGoogle Scholar
  5. 5.
    Sato, Y., Mineshima, K., Takemura, R.: The efficacy of Euler and Venn diagrams in deductive reasoning: Empirical findings. In: Goel, A.K., Jamnik, M., Narayanan, N.H. (eds.) Diagrams 2010. LNCS, vol. 6170, pp. 6–22. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  6. 6.
    Sato, Y., Mineshima, K., Takemura, R.: Constructing internal diagrammatic proofs from external logic diagrams. In: Proceedings of 32nd Annual Conference of the Cognitive Science Society, pp. 2668–2673 (2010)Google Scholar
  7. 7.
    Sato, Y., Mineshima, K.: The efficacy of diagrams in syllogistic reasoning: A case of linear diagrams. In: Cox, P., Plimmer, B., Rodgers, P. (eds.) Diagrams 2012. LNCS (LNAI), vol. 7352, pp. 352–355. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  8. 8.
    Sato, Y., Wajima, T., Ueda, K.: Visual bias of diagram in logical reasoning. Accepted for publication in Proceedings of 36th Annual Conference of the Cognitive Science Society (2014)Google Scholar
  9. 9.
    Shimojima, A.: Inferential and expressive capacities of graphical representations: Survey and some generalizations. In: Blackwell, A.F., Marriott, K., Shimojima, A. (eds.) Diagrams 2004. LNCS (LNAI), vol. 2980, pp. 18–21. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  10. 10.
    Shimojima, A., Katagiri, Y.: An eye-tracking study of exploitations of spatial constraints in diagrammatic reasoning. Cognitive Science 37, 211–254 (2013)CrossRefGoogle Scholar
  11. 11.
    Stenning, K., van Lambalgen, M.: A little logic goes a long way: basing experiment on semantic theory in the cognitive science of conditional reasoning. Cognitive Science 28, 481–529 (2004)CrossRefGoogle Scholar
  12. 12.
    Sugimoto, Y., Sato, Y., Nakayama, S.: Towards a formalization of mental model reasoning for syllogistic fragments. In: AIC 2013. CEUR, vol. 1100, pp. 140–145. CEUR-WS.org, Aachen (2013)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2014

Authors and Affiliations

  • Yuri Sato
    • 1
  • Yuichiro Wajima
    • 1
  • Kazuhiro Ueda
    • 1
  1. 1.Interfaculty Initiative in Information StudiesThe University of TokyoJapan

Personalised recommendations