Zobrazeno 1 - 2
of 2
pro vyhledávání: '"McIlree, Matthew J."'
Autor:
Espasa, Joan, Gent, Ian P., Hoffmann, Ruth, Jefferson, Christopher, Lynch, Alice M., Salamon, András, McIlree, Matthew J.
In this paper, we present Demystify, a general tool for creating human-interpretable step-by-step explanations of how to solve a wide range of pen and paper puzzles from a high-level logical description. Demystify is based on Minimal Unsatisfiable Su
Externí odkaz:
http://arxiv.org/abs/2104.15040
Autor:
Joan Espasa Arxer, Gent, Ian P., Ruth Hoffmann, Christopher Jefferson, Mcilree, Matthew J., Lynch, Alice M.
Publikováno v:
University of St Andrews CRIS
This research was supported by the Royal Society URF\R\180015 . Pen and paper puzzles like Sudoku, Futoshiki and Star Battle are hugely popular. Solving such puzzles can be a trivial task for modern AI systems. However, most AI systems solve problems
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::58562595c1940b25c07fccbe7473ea93
https://risweb.st-andrews.ac.uk/portal/en/researchoutput/towards-generic-explanations-for-pen-and-paper-puzzles-with-muses(afb4653a-104a-4565-a90f-c5ee4d51ab77).html
https://risweb.st-andrews.ac.uk/portal/en/researchoutput/towards-generic-explanations-for-pen-and-paper-puzzles-with-muses(afb4653a-104a-4565-a90f-c5ee4d51ab77).html