Automated Puzzle Solving

Journal of Applied Non-Classical Logics 12 (1):99-116 (2002)
  Copy   BIBTEX

Abstract

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.

Categories

Keywords

Reprint years

DOI

10.3166/jancl.12.99-116

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The effect of semantics on problem solving is to reduce relational complexity.Olga Megalakaki, Charles Tijus, Romain Baiche & Sébastien Poitrenaud - 2012 - Thinking and Reasoning 18 (2):159 - 182.
Evolutionary biology: puzzle solving or paradigm shifting?Massimo Pigliucci - 2006 - Quarterly Review of Biology 81 (4):377-379.
A Generalization of the Pasadena Puzzle.Martin Peterson - 2013 - Dialectica 67 (4):597-603.
Boulders and Trolleys.D. W. Haslett - 2011 - Utilitas 23 (3):268-287.
There is no puzzle about change.Pablo Rychter - 2009 - Dialectica 63 (1):7-22.
(Dis-)solving the puzzle of the arrow of radiation.Mathias Frisch - 2000 - British Journal for the Philosophy of Science 51 (3):381-410.
Shadows of constitution.István Aranyosi - 2007 - The Monist 90 (3):415-431.
Solving the language origins puzzle: Collecting and assembling all pertinent pieces.Kathleen R. Gibson - 1995 - Behavioral and Brain Sciences 18 (1):189-190.
A puzzle about belief reports.Kent Bach - 2000 - In K. Jaszczolt (ed.), The Pragmatics of Propositional Attitude Reports. Elsevier.
Is Kripke's puzzle really a puzzle?J. Angelo Corlett - 1989 - Theoria 55 (2):95-113.
Connection tableau calculi with disjunctive constraints.Ortrun Ibens - 2002 - Studia Logica 70 (2):241 - 270.
A simple solution to the hardest logic puzzle ever.Brian Rabern & Landon Rabern - 2008 - Analysis 68 (2):105-112.
A general method of solving Smullyan's puzzles.Adam Kolany - 1996 - Logic and Logical Philosophy 4:97-103.
How to solve the hardest logic puzzle ever in two questions.Gabriel Uzquiano - 2010 - Analysis 70 (1):39-44.
Apologies and Relationships: Solving a Puzzle. [REVIEW]Norbert Anwander & Daniel Friedrich - 2012 - Journal of Value Inquiry 46 (3):331-338.

Analytics

Added to PP
2014-01-21

Downloads
44 (#353,833)

6 months
1 (#1,516,429)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

First-order logic.Raymond Merrill Smullyan - 1968 - New York [etc.]: Springer Verlag.
Forever undecided: a puzzle guide to Gödel.Raymond M. Smullyan - 1987 - New York: Oxford University Press.

Add more references