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

Onderzoeksoutput: Poster

53 Downloads (Pure)

Samenvatting

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.

Originele taal-2	English
Status	Unpublished - 7 nov. 2019
Evenement	BNAIC 2019 - Brussels, Belgium Duur: 7 nov. 2019 → 8 nov. 2019

Conference

Conference	BNAIC 2019
Land/Regio	Belgium
Stad	Brussels
Periode	7/11/19 → 8/11/19

Toegang tot document

demo_poster_holyzebraLicentie: 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. (redactie). IOS Press, Vol. 325. blz. 640-647 8 blz. (Frontiers in Artificial Intelligence and Applications; vol. 325).
Onderzoeksoutput: Conference paper

Open Access
Bestand
10 Citaten (Scopus)

147 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. blz. 96-96 1 blz. (CEUR Workshop Proceedings).
Onderzoeksoutput: Conference paper

Open Access
Bestand

Citeer dit

@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

Samenvatting

Conference

Toegang tot document

Vingerafdruk

Onderzoekersoutput

Step-wise Explanations of Constraint Satisfaction Problems

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

Citeer dit