Human-Oriented Solving and Explaining of Logic Grid Puzzles

Jens Claes; Bart Bogaerts; Emilio Gamba; Rocsildes Canoy; Tias Guns

Human-Oriented Solving and Explaining of Logic Grid Puzzles

Jens Claes, Bart Bogaerts, Emilio Gamba, Rocsildes Canoy, Tias Guns

Research output: Unpublished contribution to conference › Poster

53 Downloads (Pure)

Abstract

Inspired by the 2019 Holy Grail Challenge, we present ZebraTutor, a mostly automated tool that solves a logic grid puzzle (also known as a Zebra puzzle) given the clues in natural language clues and a list of the entities in the puzzle. The challenge is to both handle the natural language input, and to produce a human-understandable explanation of how the solution is obtained. We achieve this by translating the natural language clues into logic using a typed version of the semantical framework of Blackburn and Bos. The logical representation is then used in a novel explanation-based reasoning procedure, on top of the IDP knowledge base system. A
novel aspect of the explanation is that it is ordered by mental
effort required to understand the reasoning step, which is estimated by the number of previously derived facts needed to derive new facts. The outcome is a stepwise visualisation of the clue(s) used and the resulting changes on the grid. This can be used both to solve a puzzle, or as a step-wise ‘help’
function for people stuck while solving a puzzle.

Original language	English
Publication status	Unpublished - 7 Nov 2019
Event	BNAIC 2019 - Brussels, Belgium Duration: 7 Nov 2019 → 8 Nov 2019

Conference

Conference	BNAIC 2019
Country/Territory	Belgium
City	Brussels
Period	7/11/19 → 8/11/19

Access to Document

demo_poster_holyzebraLicence: CC BY-ND

2 Conference paper

Step-wise Explanations of Constraint Satisfaction Problems
Bogaerts, B., Gamba, E., Guns, T. & Claes, J., 24 Aug 2020, ECAI 2020 - 24th European Conference on Artificial Intelligence, including 10th Conference on Prestigious Applications of Artificial Intelligence, PAIS 2020 - Proceedings. De Giacomo, G., Catala, A., Dilkina, B., Milano, M., Barro, S., Bugarin, A. & Lang, J. (eds.). IOS Press, Vol. 325. p. 640-647 8 p. (Frontiers in Artificial Intelligence and Applications; vol. 325).
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › Research

Open Access
File
10 Citations (Scopus)

145 Downloads (Pure)
ZebraTutor: Explaining how to solve logic grid puzzles (demo)
Claes, J., Bogaerts, B., Canoy, R., Gamba, E. & Guns, T., 1 Jan 2019, Proceedings of the 31st Benelux Conference on Artificial Intelligence (demos). RWTH Aachen, Vol. 2491. p. 96-96 1 p. (CEUR Workshop Proceedings).
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › Research

Open Access
File

Cite this

@conference{8a439ca61cfa4ef2b1623cb09471132d,

title = "Human-Oriented Solving and Explaining of Logic Grid Puzzles",

abstract = "Inspired by the 2019 Holy Grail Challenge, we present ZebraTutor, a mostly automated tool that solves a logic grid puzzle (also known as a Zebra puzzle) given the clues in natural language clues and a list of the entities in the puzzle. The challenge is to both handle the natural language input, and to produce a human-understandable explanation of how the solution is obtained. We achieve this by translating the natural language clues into logic using a typed version of the semantical framework of Blackburn and Bos. The logical representation is then used in a novel explanation-based reasoning procedure, on top of the IDP knowledge base system. Anovel aspect of the explanation is that it is ordered by mentaleffort required to understand the reasoning step, which is estimated by the number of previously derived facts needed to derive new facts. The outcome is a stepwise visualisation of the clue(s) used and the resulting changes on the grid. This can be used both to solve a puzzle, or as a step-wise {\textquoteleft}help{\textquoteright}function for people stuck while solving a puzzle.",

author = "Jens Claes and Bart Bogaerts and Emilio Gamba and Rocsildes Canoy and Tias Guns",

year = "2019",

month = nov,

day = "7",

language = "English",

note = "BNAIC 2019 ; Conference date: 07-11-2019 Through 08-11-2019",

}

TY - CONF

T1 - Human-Oriented Solving and Explaining of Logic Grid Puzzles

AU - Claes, Jens

AU - Bogaerts, Bart

AU - Gamba, Emilio

AU - Canoy, Rocsildes

AU - Guns, Tias

PY - 2019/11/7

Y1 - 2019/11/7

N2 - Inspired by the 2019 Holy Grail Challenge, we present ZebraTutor, a mostly automated tool that solves a logic grid puzzle (also known as a Zebra puzzle) given the clues in natural language clues and a list of the entities in the puzzle. The challenge is to both handle the natural language input, and to produce a human-understandable explanation of how the solution is obtained. We achieve this by translating the natural language clues into logic using a typed version of the semantical framework of Blackburn and Bos. The logical representation is then used in a novel explanation-based reasoning procedure, on top of the IDP knowledge base system. Anovel aspect of the explanation is that it is ordered by mentaleffort required to understand the reasoning step, which is estimated by the number of previously derived facts needed to derive new facts. The outcome is a stepwise visualisation of the clue(s) used and the resulting changes on the grid. This can be used both to solve a puzzle, or as a step-wise ‘help’function for people stuck while solving a puzzle.

AB - Inspired by the 2019 Holy Grail Challenge, we present ZebraTutor, a mostly automated tool that solves a logic grid puzzle (also known as a Zebra puzzle) given the clues in natural language clues and a list of the entities in the puzzle. The challenge is to both handle the natural language input, and to produce a human-understandable explanation of how the solution is obtained. We achieve this by translating the natural language clues into logic using a typed version of the semantical framework of Blackburn and Bos. The logical representation is then used in a novel explanation-based reasoning procedure, on top of the IDP knowledge base system. Anovel aspect of the explanation is that it is ordered by mentaleffort required to understand the reasoning step, which is estimated by the number of previously derived facts needed to derive new facts. The outcome is a stepwise visualisation of the clue(s) used and the resulting changes on the grid. This can be used both to solve a puzzle, or as a step-wise ‘help’function for people stuck while solving a puzzle.

M3 - Poster

T2 - BNAIC 2019

Y2 - 7 November 2019 through 8 November 2019

ER -

Human-Oriented Solving and Explaining of Logic Grid Puzzles

Abstract

Conference

Access to Document

Fingerprint

Research output

Step-wise Explanations of Constraint Satisfaction Problems

ZebraTutor: Explaining how to solve logic grid puzzles (demo)

Cite this