• Corpus ID: 2325173

Creating Logic Puzzles

@inproceedings{Peintner2001CreatingLP,
  title={Creating Logic Puzzles},
  author={Bart Peintner},
  year={2001}
}
A logic puzzle is a form of entertainment that asks the solver to infer relationships between objects given a set a clues. Each clue is a portion of the solution. A good puzzle is one that is challenging one that that requires the solver to make difficult inferences to realize each part of the solution. My goal was to find an algorithm that, given a solution to a puzzle, would generate a set of clues that would make the puzzle difficult for a person to solve. In this paper, I describe the logic… 

Figures and Tables from this paper

References

SHOWING 1-7 OF 7 REFERENCES
Knowledge compilation and theory approximation
TLDR
It is shown how propositional logical theories can be compiled into Horn theories that approximate the original information, and the approximations bound the original theory from below and above in terms of logical strength.
Computers and Intractability: A Guide to the Theory of NP-Completeness
TLDR
The experiences, understandings, and beliefs that guide the professional practices of teacher educators are explored, and the book paints a picture of a profession that offers huge rewards, alongside challenges and frustrations.
Flexibly Instructable Agents
TLDR
This paper presents an approach to learning from situated, interactive tutorial instruction within an ongoing agent that combines a form of explanation-based learning that is situated for each instruction with a full suite of contextually guided responses to incomplete explanations.
On the Relationship between Abduction and Deduction
TLDR
A meta-level definition of abduction in l d terms of deduction, similar to various definitions proposed in the literature, and an object-leve efinition in which abductive conclusions are expressed as a logical consequence of the obser.
Polynomially Complete Problems in the Logic of Automated Discovery
Abductive Logic Programming
Analysis and Visualization of Constraint Programs and Solvers Workshop
  • "Flexibly Instructable Agents",
  • 1979