An Empirical Study of Diagrammatic Inference Process by Recording the Moving Operation of Diagrams
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.
Keywordsinference process NVC task Euler diagram
Unable to display preview. Download preview PDF.
- 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
- 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
- 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