Ph.D. Student, VUB
ZebraTutor: Explaining How to Solve Logic Grid Puzzles
ZebraTutor, a mostly automated tool solves a logic grid puzzle given the clues in natural language and a list of the entities in the puzzle. The tool transforms the clues into logic, which in turn is used in an explanation-based reasoning procedure where explanations are ordered by mental effort. The outcome of the tool is a stepwise visualization of the clues and resulting changes on the logic puzzle grid.
I’m a Ph.D. student from the BUTO department at the VUB starting my journey in AI by applying NLP and Constraint Programming techniques to logic grid puzzles.