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 ISBNResearchpeer-review

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 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
Pages0-0
Number of pages1
Publication statusAccepted/In press - 25 Jul 2018
EventCogSci 2018 - Madison, United States
Duration: 25 Jul 201828 Jul 2018

Conference

ConferenceCogSci 2018
CountryUnited States
CityMadison
Period25/07/1828/07/18

Fingerprint

Ontology
Topology
Experiments

Cite this

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). Austin, TX: Cognitive Science Society.
Sato, Yuri ; Stapleton, Gem ; Jamnik, Mateja ; Shams, Zohreh. / Deductive reasoning about expressive statements using external graphical representations. Proceedings of the 40th Annual Conference of the Cognitive Science Society. Austin, TX : Cognitive Science Society, 2018. pp. 0-0
@inproceedings{382b387bb04b4822a7700029f164f4a0,
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 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.",
author = "Yuri Sato and Gem Stapleton and Mateja Jamnik and Zohreh Shams",
year = "2018",
month = "7",
day = "25",
language = "English",
pages = "0--0",
booktitle = "Proceedings of the 40th Annual Conference of the Cognitive Science Society",
publisher = "Cognitive Science Society",

}

Sato, Y, Stapleton, G, Jamnik, M & Shams, Z 2018, Deductive reasoning about expressive statements using external graphical representations. in Proceedings of the 40th Annual Conference of the Cognitive Science Society. Cognitive Science Society, Austin, TX, pp. 0-0, CogSci 2018, Madison, United States, 25/07/18.

Deductive reasoning about expressive statements using external graphical representations. / Sato, Yuri; Stapleton, Gem; Jamnik, Mateja; Shams, Zohreh.

Proceedings of the 40th Annual Conference of the Cognitive Science Society. Austin, TX : Cognitive Science Society, 2018. p. 0-0.

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

TY - GEN

T1 - Deductive reasoning about expressive statements using external graphical representations

AU - Sato, Yuri

AU - Stapleton, Gem

AU - Jamnik, Mateja

AU - Shams, Zohreh

PY - 2018/7/25

Y1 - 2018/7/25

N2 - 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.

AB - 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.

M3 - Conference contribution with ISSN or ISBN

SP - 0

EP - 0

BT - Proceedings of the 40th Annual Conference of the Cognitive Science Society

PB - Cognitive Science Society

CY - Austin, TX

ER -

Sato Y, Stapleton G, Jamnik M, Shams Z. Deductive reasoning about expressive statements using external graphical representations. In Proceedings of the 40th Annual Conference of the Cognitive Science Society. Austin, TX: Cognitive Science Society. 2018. p. 0-0