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 participants' 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.
|Title of host publication||Proceedings of the 40th Annual Conference of the Cognitive Science Society|
|Place of Publication||Austin, TX|
|Publisher||Cognitive Science Society|
|Number of pages||1|
|Publication status||Accepted/In press - 25 Jul 2018|
|Event||CogSci 2018 - Madison, United States|
Duration: 25 Jul 2018 → 28 Jul 2018
|Period||25/07/18 → 28/07/18|
Sato, Y., Stapleton, G., Jamnik, M., & Shams, Z. (Accepted/In press). Deductive reasoning about expressive statements using external graphical representations. In Proceedings of the 40th Annual Conference of the Cognitive Science Society (pp. 0-0). Cognitive Science Society.