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 language | English |
---|---|
Title of host publication | International Workshop on Set Visualization and Reasoning |
Editors | Yuri Sato, Zohren Shams |
Place of Publication | Edinburgh |
Pages | 12-27 |
Volume | 2116 |
Publication status | Published - 18 Jun 2018 |
Event | International Workshop on Set Visualization and Reasoning - Edinburgh, United Kingdom Duration: 18 Jun 2018 → 18 Jun 2018 |
Publication series
Name | CEUR Workshop Proceedings |
---|---|
ISSN (Print) | 1613-0073 |
Workshop
Workshop | International Workshop on Set Visualization and Reasoning |
---|---|
Country/Territory | United Kingdom |
Period | 18/06/18 → 18/06/18 |
Fingerprint
Dive into the research topics of 'Picturing Problems: Solving Logic Puzzles Diagrammatically'. Together they form a unique fingerprint.Profiles
-
Andrew Blake
- School of Arch, Tech and Eng - Principal Lecturer
- Computing and Mathematical Sciences Research Excellence Group
Person: Academic