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 languageEnglish
Publication statusUnpublished - 7 Nov 2019
EventBNAIC 2019 - Brussels, Belgium
Duration: 7 Nov 20198 Nov 2019


ConferenceBNAIC 2019


Dive into the research topics of 'Human-Oriented Solving and Explaining of Logic Grid Puzzles'. Together they form a unique fingerprint.
  • 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 proceedingConference paper

    Open Access
    6 Citations (Scopus)
    79 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 proceedingConference paper

    Open Access

Cite this