Scientists Solve Checkers
Game over. Computer scientists at the University of Alberta have solved checkers, the popular board game with a history that dates back to 3,000 B.C.
Jonathan Schaeffer has been working on the checkers puzzle for 18 years. (Credit: Image courtesy of University of Alberta)
After 18-and-a-half years and sifting through 500 billion billion (a five followed by 20 zeroes) checkers positions, Dr. Jonathan Schaeffer and colleagues have built a checkers-playing computer program that cannot be beaten. Completed in late April this year, the program, Chinook, may be played to a draw but will never be defeated. “This is a tremendous achievement–a truly significant advance in artificial intelligence,” said Dr. Jaap van den Herik, editor, International Computer Games Journal. “I think we’ve raised the bar–and raised it quite a bit–in terms of what can be achieved in computer technology and artificial intelligence,” said Schaeffer, chair of the U of A Department of Computing Science. “With Chinook, we’ve pushed the envelope about one million times more than anything that’s been done before.” A self-described “awful” checkers player, Schaeffer created Chinook to exploit the superior processing and memory capabilities of computers and determine the best way to incorporate artificial intelligence principals in order to play checkers. With the help of some top-level checkers players, Schaeffer programmed heuristics (“rules of thumb”) into a computer software program that captured knowledge of successful and unsuccessful checkers moves. Then he and his team let the program run, while they painstakingly monitored, fixed, tweaked, and updated it as it went. An average of 50 computers–with more than 200 running at peak times–were used everyday to compute the knowledge necessary to complete Chinook. Now that it is complete, the program no longer needs heuristics–it has become a database of information that “knows” the best move to play in every situation of a game. If Chinook’s opponent also plays perfectly the game would end in a draw. “We’ve taken the knowledge used in artificial intelligence applications to the extreme by replacing human-understandable heuristics with perfect knowledge,” Schaffer said. “It’s an exciting demonstration of the possibilities that software and hardware are now capable of achieving.” Schaeffer started the Chinook project in 1989, with the initial goal of winning the human world checkers championship. In 1990 it earned the right to play for the championship. The program went on to lose in the championship match in 1992, but won it in 1994, becoming the first computer program to win a human world championship in any game–a feat recognized by the Guinness Book of World Records. Chinook remained undefeated until the program was “retired” in 1997. With his sights set on developing Chinook into the perfect checkers program, Schaeffer restarted the project in 2001.”I’m thrilled with this achievement,” he said. “Solving checkers has been something of an obsession of mine for nearly two decades, and it’s really satisfying to see it through to its conclusion.” “I’m also really proud of the artificial intelligence program that we’ve built at the University of Alberta,” he added. “We’ve built up the premier games group in the world, definitely second-to-none. And we’ve built up a strong, international, truly world-class reputation, and I’m very proud of that.” On July 24 and 25 this year, Polaris, a poker-playing computer program built by Schaeffer and his U of A colleagues, will challenge two poker professionals in a $50,000 man versus machine poker world championship event in Vancouver, as part of the annual conference for the Association for the Advancement of Artificial Intelligence.
More information is available at http://www.cs.ualberta.ca/~chinook
Published Online July 19, 2007
Science DOI: 10.1126/science.1144079
Checkers Is Solved
Jonathan Schaeffer 1*, Neil Burch 1, Yngvi Björnsson 1, Akihiro Kishimoto 1, Martin Müller 1, Robert Lake 1, Paul Lu 1, Steve Sutphen 1
1 Department of Computing Science, University of Alberta, Edmonton, Alberta T6G 2E8, Canada.
The game of checkers has roughly 500 billion billion possible positions (5 x 1020). The task of solving the game, determining the final result in a game with no mistakes made by either player, is daunting. Since 1989, almost continuously, dozens of computers have been working on solving checkers, applying state-of-the-art artificial intelligence techniques to the proving process. This paper announces that checkers is now solved: perfect play by both sides leads to a draw. This is the most challenging popular game to be solved to date, roughly one million times more complex than Connect Four. Artificial intelligence technology has been used to generate strong heuristic-based game-playing programs, such as DEEP BLUE for chess. Solving a game takes this to the next level, by replacing the heuristics with perfection.