论文信息 - Automated Puzzle Solving

Automated Puzzle Solving

Smullyan wrote his famous book of puzzles before the boom in automated theorem proving and he solved the puzzles by hand. Hence it is interesting to investigate whether all the puzzles can be solved with one method or not. The paper shows how this can be done with analytic tableaux.

László Aszalós | László Aszalós

[1] G. Duclos. New York 1987 , 2000 .

[2] Larry Wos,et al. Automated Reasoning: Introduction and Applications , 1984 .

[3] R. Ramanujam,et al. Forever undecided: A puzzle guide to Gödel , 2001 .

[4] G. Boolos,et al. What is the name of this book? : the riddle of Dracula and other logical puzzles , 1979 .

[5] Fred B. Schneider,et al. A Logical Approach to Discrete Math , 1993, Texts and Monographs in Computer Science.

[6] Dominique Longin,et al. Lotrec : The Generic Tableau Prover for Modal and Description Logics , 2001, IJCAR.

[7] Hans Jürgen Ohlbach,et al. The lion and the unicorn , 2004, Journal of Automated Reasoning.

[8] Piotr Rudnicki,et al. Teaching Freshman Logic with Mizar-mse , 1996 .