Picturing Problems: Solving Logic Puzzles Diagrammatically

John Howse, Gem Stapleton, James Burton, Andrew Blake

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

Abstract

Solving logic puzzles is a popular recreational activity. The solution of a logic puzzle involves understanding and reasoning about the information provided. Diagrammatic logics have been shown to help people to understand and reason about logical information. In this paper we use spider diagrams, a visual logic based on Euler diagrams, to visualize logic problems. Furthermore, we reason with the diagrammatic representation both syntactically and semantically until we reach a solution. We present four example logic puzzles of varying diculty and produce their solutions in detail using spider diagrams. We suggest that the use of diagrams is helpful in their solution.
Original languageEnglish
Title of host publicationInternational Workshop on Set Visualization and Reasoning
EditorsYuri Sato, Zohren Shams
Place of PublicationEdinburgh
Pages12-27
Volume2116
Publication statusPublished - 18 Jun 2018
EventInternational Workshop on Set Visualization and Reasoning - Edinburgh, United Kingdom
Duration: 18 Jun 201818 Jun 2018

Publication series

NameCEUR Workshop Proceedings
ISSN (Print)1613-0073

Workshop

WorkshopInternational Workshop on Set Visualization and Reasoning
CountryUnited Kingdom
Period18/06/1818/06/18

Cite this

Howse, J., Stapleton, G., Burton, J., & Blake, A. (2018). Picturing Problems: Solving Logic Puzzles Diagrammatically. In Y. Sato, & Z. Shams (Eds.), International Workshop on Set Visualization and Reasoning (Vol. 2116, pp. 12-27). (CEUR Workshop Proceedings).. http://ceur-ws.org/Vol-2116/paper1.pdf