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

  • Yuri Sato
  • Yuichiro Wajima
  • Kazuhiro Ueda
Conference paper

DOI: 10.1007/978-3-662-44043-8_21

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8578)
Cite this paper as:
Sato Y., Wajima Y., Ueda K. (2014) An Empirical Study of Diagrammatic Inference Process by Recording the Moving Operation of Diagrams. In: Dwyer T., Purchase H., Delaney A. (eds) Diagrammatic Representation and Inference. Diagrams 2014. Lecture Notes in Computer Science, vol 8578. Springer, Berlin, Heidelberg

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.

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