Crossword puzzle solving is a classic constraint satisfaction problem, but, when solving a real puzzle, the mapping from clues to variable domains is not perfectly crisp. At best, clues induce a probability distribution over viable targets, which must somehow be respected along with the constraints of the puzzle. Motivated by this type of problem, we provide a formal model of constraint satisfaction with probabilistic preferences on variable values. Two natural optimization problems are deened for this model: maximizing the probability of a correct solution, and maximizing the number of correct words (variable values) in the solution. We provide an eecient iterative approximation for the latter based on dynamic programming and present very encouraging results on a collection of real and artiicial crossword puzzles.
[1]
Michael C. Frank,et al.
Search Lessons Learned from Crossword Puzzles
,
1990,
AAAI.
[2]
James R. Munkres,et al.
Topology; a first course
,
1974
.
[3]
Judea Pearl,et al.
Probabilistic reasoning in intelligent systems
,
1988
.
[4]
Alan K. Mackworth.
Consistency in Networks of Relations
,
1977,
Artif. Intell..
[5]
Dan Roth,et al.
On the Hardness of Approximate Reasoning
,
1993,
IJCAI.
[6]
S. Brown,et al.
Balancing act.
,
1996,
The Canadian nurse.
[7]
Karl Weinmeister,et al.
PROVERB: The Probabilistic Cruciverbalist
,
1999,
AAAI/IAAI.
[8]
David S. Johnson,et al.
Computers and Intractability: A Guide to the Theory of NP-Completeness
,
1978
.