Deductive reasoning about expressive statements using external graphical representations

Yuri Sato, Gem Stapleton, Mateja Jamnik, Zohreh Shams

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBNpeer-review


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.
Original languageEnglish
Title of host publicationProceedings of the 40th Annual Conference of the Cognitive Science Society
Place of PublicationAustin, TX
PublisherCognitive Science Society
Number of pages1
Publication statusAccepted/In press - 25 Jul 2018
EventCogSci 2018 - Madison, United States
Duration: 25 Jul 201828 Jul 2018


ConferenceCogSci 2018
Country/TerritoryUnited States


Dive into the research topics of 'Deductive reasoning about expressive statements using external graphical representations'. Together they form a unique fingerprint.

Cite this