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

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). Edinburgh.
Howse, John ; Stapleton, Gem ; Burton, James ; Blake, Andrew. / Picturing Problems : Solving Logic Puzzles Diagrammatically. International Workshop on Set Visualization and Reasoning. editor / Yuri Sato ; Zohren Shams. Vol. 2116 Edinburgh, 2018. pp. 12-27 (CEUR Workshop Proceedings).
@inproceedings{247eeff0f381443b8c5c3c9a377bff0a,
title = "Picturing Problems: Solving Logic Puzzles Diagrammatically",
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.",
author = "John Howse and Gem Stapleton and James Burton and Andrew Blake",
year = "2018",
month = "6",
day = "18",
language = "English",
volume = "2116",
series = "CEUR Workshop Proceedings",
pages = "12--27",
editor = "Yuri Sato and Zohren Shams",
booktitle = "International Workshop on Set Visualization and Reasoning",

}

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, CEUR Workshop Proceedings, Edinburgh, pp. 12-27, International Workshop on Set Visualization and Reasoning, United Kingdom, 18/06/18.

Picturing Problems : Solving Logic Puzzles Diagrammatically. / Howse, John; Stapleton, Gem; Burton, James; Blake, Andrew.

International Workshop on Set Visualization and Reasoning. ed. / Yuri Sato; Zohren Shams. Vol. 2116 Edinburgh, 2018. p. 12-27 (CEUR Workshop Proceedings).

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

TY - GEN

T1 - Picturing Problems

T2 - Solving Logic Puzzles Diagrammatically

AU - Howse, John

AU - Stapleton, Gem

AU - Burton, James

AU - Blake, Andrew

PY - 2018/6/18

Y1 - 2018/6/18

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

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

M3 - Conference contribution with ISSN or ISBN

VL - 2116

T3 - CEUR Workshop Proceedings

SP - 12

EP - 27

BT - International Workshop on Set Visualization and Reasoning

A2 - Sato, Yuri

A2 - Shams, Zohren

CY - Edinburgh

ER -

Howse J, Stapleton G, Burton J, Blake A. Picturing Problems: Solving Logic Puzzles Diagrammatically. In Sato Y, Shams Z, editors, International Workshop on Set Visualization and Reasoning. Vol. 2116. Edinburgh. 2018. p. 12-27. (CEUR Workshop Proceedings).