### Abstract

inexpressive statements involving quantifiers (e.g., syllogisms). This is limited to situations that typically do not arise in practical settings, like ontology engineering. In order to provide an analysis of inference, we focus on reasoning tasks presented in external graphic representations where statements correspond to those involving multiple quantifiers and unary and binary relations. Our experiment measured participants’ performance when reasoning with two notations. The first notation used topological constraints to convey information via node-link diagrams (i.e., graphs). The second used topological and spatial constraints to convey information (Euler diagrams with additional graph-like syntax). We found that topological-spatial representations were more effective for inferences than topological representations alone. Reasoning with statements involving multiple quantifiers was harder than reasoning with single quantifiers in topological representations, but not in topological-spatial representations. These findings are compared to those in sentential reasoning tasks.

Language | English |
---|---|

Pages | 1-13 |

Journal | Cognitive Processing |

State | Published - 3 Aug 2018 |

### Fingerprint

### Keywords

- inference
- diagrammatic reasoning
- external representation
- quantifiers
- binary predicates

### Cite this

}

**Human inference beyond syllogisms : an approach using external graphical representations.** / Sato, Yuri; Stapleton, Gem; Jamnik, Mateja; Shams, Zohreh.

Research output: Contribution to journal › Article

TY - JOUR

T1 - Human inference beyond syllogisms

T2 - an approach using external graphical representations

AU - Sato,Yuri

AU - Stapleton,Gem

AU - Jamnik,Mateja

AU - Shams,Zohreh

PY - 2018/8/3

Y1 - 2018/8/3

N2 - Research in psychology about reasoning has often been restricted to relativelyinexpressive statements involving quantifiers (e.g., syllogisms). This is limited to situations that typically do not arise in practical settings, like ontology engineering. In order to provide an analysis of inference, we focus on reasoning tasks presented in external graphic representations where statements correspond to those involving multiple quantifiers and unary and binary relations. Our experiment measured participants’ performance when reasoning with two notations. The first notation used topological constraints to convey information via node-link diagrams (i.e., graphs). The second used topological and spatial constraints to convey information (Euler diagrams with additional graph-like syntax). We found that topological-spatial representations were more effective for inferences than topological representations alone. Reasoning with statements involving multiple quantifiers was harder than reasoning with single quantifiers in topological representations, but not in topological-spatial representations. These findings are compared to those in sentential reasoning tasks.

AB - Research in psychology about reasoning has often been restricted to relativelyinexpressive statements involving quantifiers (e.g., syllogisms). This is limited to situations that typically do not arise in practical settings, like ontology engineering. In order to provide an analysis of inference, we focus on reasoning tasks presented in external graphic representations where statements correspond to those involving multiple quantifiers and unary and binary relations. Our experiment measured participants’ performance when reasoning with two notations. The first notation used topological constraints to convey information via node-link diagrams (i.e., graphs). The second used topological and spatial constraints to convey information (Euler diagrams with additional graph-like syntax). We found that topological-spatial representations were more effective for inferences than topological representations alone. Reasoning with statements involving multiple quantifiers was harder than reasoning with single quantifiers in topological representations, but not in topological-spatial representations. These findings are compared to those in sentential reasoning tasks.

KW - inference

KW - diagrammatic reasoning

KW - external representation

KW - quantifiers

KW - binary predicates

M3 - Article

SP - 1

EP - 13

ER -