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-2English
StatusUnpublished - 7 nov 2019
EvenementBNAIC 2019 - Brussels, Belgium
Duur: 7 nov 20198 nov 2019

Conference

ConferenceBNAIC 2019
LandBelgium
StadBrussels
Periode7/11/198/11/19

Vingerafdruk

Duik in de onderzoeksthema's van 'Human-Oriented Solving and Explaining of Logic Grid Puzzles'. Samen vormen ze een unieke vingerafdruk.
  • 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, blz. 640-647 8 blz. (Frontiers in Artificial Intelligence and Applications; vol. 325).

    Onderzoeksoutput: Conference paper

    Open Access
    Bestand
    1 Citaat (Scopus)
    11 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). Vol. 2491. blz. 96-96 1 blz. (CEUR Workshop Proceedings).

    Onderzoeksoutput: Conference paper

Citeer dit