Title
Deductive reasoning about expressive statements using external graphical representations
Abstract
Research in psychology on reasoning has often been restricted to relatively inexpressive statements involving quantifiers. This is limited to situations that typically do not arise in practical settings, such as 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 participantsu0027 performance when reasoning with two notations. The first used topology 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 than topological representations. Unlike topological-spatial representations, reasoning with topological representations was harder when involving multiple quantifiers and binary relations than single quantifiers and unary relations. These findings are compared to those for sentential reasoning tasks.
Year
Venue
Field
2018
Cognitive Science
Ontology engineering,Notation,Unary operation,Binary relation,Inference,Euler diagram,Psychology,Cognitive psychology,Natural language processing,Artificial intelligence,Deductive reasoning,Syntax
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
4
Name
Order
Citations
PageRank
Yuri Sato1234.71
Gem Stapleton248256.25
Mateja Jamnik315830.79
Zohreh Shams422.16