Deductive search for logic puzzles | IEEE Conference Publication | IEEE Xplore

Deductive search for logic puzzles


Abstract:

Deductive search (DS) is a breadth-first, depth-limited propagation scheme for the constraint-based solution of deduction puzzles, using simple logic operations found in ...Show More

Abstract:

Deductive search (DS) is a breadth-first, depth-limited propagation scheme for the constraint-based solution of deduction puzzles, using simple logic operations found in standard constraint satisfaction solvers. It attempts to emulate the processing limits experienced by human solvers, and, to some extent, the process by which they solve such problems. Any solution deduced by DS is guaranteed to be correct and unique. Further, it provides an estimate of the deducibility of a given problem for human solvers and offers new ways of understanding deduction puzzles. Its performance is tested on a number of problem domains including Japanese logic puzzles, a traditional logic puzzle, and a geometric placement puzzle.
Date of Conference: 11-13 August 2013
Date Added to IEEE Xplore: 17 October 2013
ISBN Information:

ISSN Information:

Conference Location: Niagara Falls, ON, Canada

References

References is not available for this document.