Dr.Fill
Dr.Fill is a computer program that solves American-style crossword puzzles. It was developed by Matt Ginsberg and described by Ginsberg in an article in the Journal of Artificial Intelligence Research.[1] Ginsberg claims in that article that Dr.Fill is among the top fifty crossword solvers in the world.
As described by Ginsberg, Dr.Fill works by converting a crossword to a weighted constraint satisfaction problem and then attempting to maximize the probability that the fill is correct. Probabilities for individual words or phrases in the puzzle are computed using relatively simple statistical techniques based on features such as previous appearances of the clue, number of Google hits for the fill, and so on. In doing this, Dr.Fill is attempting to solve a problem similar to that tackled by the Jeopardy!-playing program Watson; Dr.Fill runs on a laptop instead of a supercomputer and Ginsberg remarks that Watson is far more effective than Dr.Fill at solving this portion of the problem. Instead of computational horsepower, Dr.Fill relies on the constraints provided by crossing words to refine its answers.
A variety of techniques from artificial intelligence are applied to attempt to find the most likely fill. These include a small amount of lookahead, limited discrepancy search,[2] and postprocessing. Ginsberg remarks that postprocessing was chosen over branch and bound because the two techniques are mutually incompatible and postprocessing was found to be more effective in this domain.
Dr.Fill participated in the 2012 American Crossword Puzzle Tournament, finishing 141st of approximately 650 entrants with a total score of just over 10,000 points. The appearance led to a variety of descriptions of Dr.Fill in the popular press, including The Economist,[3] the San Francisco Chronicle[4] and Gizmodo.[5] A description of Dr.Fill appeared on the front page of the March 17, 2012 New York Times.[6]
Dr.Fill's score in 2013 improved to 10,550, which would have earned it 92nd place. Videos of the program solving the problems from the tournament are available on YouTube.[7] [8] The score in 2014 improved further to 10,790, which would have tied for 67th place. A video of the program solving the first six puzzles from that tournament, together with a talk given by Ginsberg describing its performance, can be found on YouTube.[9]
References
- ↑ "M. L. Ginsberg (2011) Dr.Fill: Crosswords and an Implemented Solver for Singly Weighted CSPs". Jair.org. Retrieved 2012-03-12.
- ↑ "W. D. Harvey and M. L. Ginsberg (1995) Limited Discrepancy Search". IJCAI. 1995.
- ↑ Glenn Fleishman (2012-03-02). "Artificial intelligence: A match for angry words". The Economist. Retrieved 2012-03-12.
- ↑ James Temple (2012-02-15). "Crossword contest new challenge for computer". Sfgate.com. Retrieved 2012-03-12.
- ↑ Michael Reed (2012-03-02). "Are Computers Human Enough for Crossword Puzzles?". Gizmodo.com. Retrieved 2012-03-12.
- ↑ Steve Lohr (2012-03-16). "The Computer's Next Conquest: Crosswords". The New York Times. Retrieved 2012-03-18.
- ↑ "Dr.Fill and the 2013 ACPT (Saturday)".
- ↑ "Dr.Fill and the 2013 ACPT (Sunday)".
- ↑ "Dr.Fill and the 2014 ACPT".