Jonathan Schaeffer | |
---|---|
Born | 1957 (age 66–67) |
Alma mater | University of Waterloo University of Toronto |
Known for | Chinook (draughts player), Polaris (poker bot) |
Awards |
|
Scientific career | |
Fields | Artificial intelligence Heuristic search |
Institutions | University of Alberta |
Thesis | Experiments in Search and Knowledge (1986) |
Website | webdocs |
Jonathan Herbert Schaeffer FRSC [1] (born 1957) is a Canadian researcher and professor at the University of Alberta and the former Canada Research Chair in Artificial Intelligence.
He led the team that wrote Chinook, the world's strongest American checkers player, after some relatively good results in writing computer chess programs. He is involved in the University of Alberta GAMES group developing computer poker systems. Schaeffer is also a member of the research group that created Polaris, a program designed to play the Texas Hold'em variant of poker. He is a Founder of Onlea, [2] which produces online learning experiences.
Born in Toronto, Ontario, he received a Bachelor of Science degree in 1979 from the University of Toronto. [3] He received a Master of Mathematics degree in 1980 and a Ph.D. in 1986 from the University of Waterloo. Schaeffer reached national master strength in chess while in his early 20s, but has played little competitive chess since that time.
Chinook is the first computer program to win the world champion title in a competition against humans. In 1990 it won the right to play in the human World Championship by being second to Marion Tinsley in the US Nationals. At first the American Checkers Federation and English Draughts Association were against the participation of a computer in a human championship. When Tinsley resigned his title in protest, the ACF and EDA created the new title Man vs. Machine World Championship, and competition proceeded. Tinsley won with four wins to Chinook's two.
In a rematch, Chinook was declared the Man-Machine World Champion in checkers in 1994 in a match against Marion Tinsley after six drawn games, and Tinsley's withdrawal due to pancreatic cancer. While Chinook became the world champion, it had never defeated the best checkers player of all time, Tinsley, who was significantly superior to even his closest peer.
The championship continued with Chinook defending its title against Don Lafferty when it lost one game, won one and drew 18. After the match, Jonathan Schaeffer decided not to let Chinook compete anymore, but instead try to solve checkers. It was rated at 2814 Elo.
In 2007, after 18 years of computation, he proved through a weak solution that checkers always results in a draw if neither player makes a mistake. The solution involved 1014 calculations from endgame positions with fewer than 10 pieces on the board. [4]
Schaeffer is a member and, until 2004, leader of the computer poker research group at the University of Alberta, which has developed several strong computer programs for playing Texas hold 'em poker. The earliest and most general of these is Poki, which uses Monte Carlo simulation to choose actions during a game. More recently, the group has focused on the two-player (Heads-Up) variant, and has developed a series of programs that approximate Nash equilibrium strategies for the game. Several of these programs (such as Poki, SparBot and VexBot) are available in products such as Poker Academy from BioTools.
In July 2007, Schaeffer announced a competition between the group's newest program, Polaris, and two human professionals, Phil Laak and Ali Eslami. The competition was held at the 2007 Association for the Advancement of Artificial Intelligence (AAAI) conference, which also hosted an international competition between computer poker programs. Out of four matches against the human professionals, Polaris won one, tied one, and lost twice; overall, the humans won the competition by a small margin. [5] In the computer competition, Polaris (playing under the name Hyperborean) won the Limit Hold'em event and came first in the No-Limit Hold'em event. [6] In 2008, an updated version of Polaris defeated a team of human professionals in the Second Man-Machine Poker Competition. [7]
Schaeffer was previously the vice-provost for information technology at the University of Alberta. On July 1, 2012, he started serving a five-year term as dean of science at the University of Alberta. He is a founder of Onlea, a nonprofit organization, which produces interactive online learning experiences such as Massive Open Online Courses. [8]
Marion Franklin Tinsley was an American mathematician and checkers player. He is widely considered to be the greatest checkers player ever. Tinsley was world champion from 1955–1958 and from 1975–1991 and never lost a world championship match. He lost only seven games from 1950 until his death in 1995. He withdrew from championship play during the years 1958–1975, relinquishing the title during that time. Derek Oldbury, sometimes considered the second-best player of all time, thought that Tinsley was "to checkers what Leonardo da Vinci was to science, what Michelangelo was to art and what Beethoven was to music."
Checkers, also known as draughts, is a group of strategy board games for two players which involve forward movements of uniform game pieces and mandatory captures by jumping over opponent pieces. Checkers is developed from alquerque. The term "checkers" derives from the checkered board which the game is played on, whereas "draughts" derives from the verb "to draw" or "to move".
A solved game is a game whose outcome can be correctly predicted from any position, assuming that both players play perfectly. This concept is usually applied to abstract strategy games, and especially to games with full information and no element of chance; solving such a game may use combinatorial game theory and/or computer assistance.
The Computer Olympiad is a multi-games event in which computer programs compete against each other. For many games, the Computer Olympiads are an opportunity to claim the "world's best computer player" title. First contested in 1989, the majority of the games are board games but other games such as bridge take place as well. In 2010, several puzzles were included in the competition.
A computer poker player is a computer program designed to play the game of poker, against human opponents or other computer opponents. It is commonly referred to as pokerbot or just simply bot. As of 2019, computers can beat any human player in poker.
Dan Harrington is a professional poker player, best known for winning the Main Event at the 1995 World Series of Poker. He has earned one World Poker Tour title, two WSOP bracelets, and over six million dollars in tournament cashes in his poker career. He is also a member of the Poker Hall of Fame.
Robert Morgan Hyatt is an American computer scientist and programmer. He co-authored the computer chess programs Crafty and Cray Blitz which won two World Computer Chess Championships in the 1980s. Hyatt was a computer science professor at the University of Southern Mississippi (1970–1985) and University of Alabama at Birmingham (1988–2016).
English draughts or checkers, also called straight checkers or simply draughts, is a form of the strategy board game checkers. It is played on an 8×8 checkerboard with 12 pieces per side. The pieces move and capture diagonally forward, until they reach the opposite end of the board, when they are crowned and can thereafter move and capture both backward and forward.
MTD(f) is an alpha-beta game tree search algorithm modified to use ‘zero-window’ initial search bounds, and memory (usually a transposition table) to reuse intermediate search results. MTD(f) is a shortened form of MTD(n,f) which stands for Memory-enhanced Test Driver with node ‘n’ and value ‘f’. The efficacy of this paradigm depends on a good initial guess, and the supposition that the final minimax value lies in a narrow window around the guess (which becomes an upper/lower bound for the search from root). The memory structure is used to save an initial guess determined elsewhere.
Ivo Donev is a Bulgarian, with Austrian passport, who is a professional chess and poker player.
Chinook is a computer program that plays checkers. It was developed between the years 1989 to 2007 at the University of Alberta, by a team led by Jonathan Schaeffer and consisting of Rob Lake, Paul Lu, Martin Bryant, and Norman Treloar. The program's algorithms include an opening book which is a library of opening moves from games played by checkers grandmasters; a deep search algorithm; a good move evaluation function; and an end-game database for all positions with eight pieces or fewer. All of Chinook's knowledge was programmed by its creators, rather than learned using an artificial intelligence system.
Charles Clendell Walker was an American Mississippi state checkers champion and Christian minister. He founded the International Checker Hall of Fame in Petal, Mississippi in 1979. Walker is also known in checkers history for his record-setting victories in simultaneous checkers matches. In a January 1992 match that lasted over eight hours, he played 229 checkers games simultaneously. He won 227 contests, lost one and tied one. In 1994, he set a Guinness World Record while playing 306 checkers games simultaneously and losing only one.
Polaris is a Texas hold 'em poker playing program developed by the computer poker research group at the University of Alberta, a project that has been under way for 16 years as of 2007. Polaris is a composite program consisting of a number of bots, including Hyperborean08, the winner of the limit equilibrium series in the 2008 Association for the Advancement of Artificial Intelligence (AAAI) Computer Poker Competition. Polaris also contains a number of other fixed strategies, and chooses between these strategies during a match. Polaris requires little computational power at match time, so it is run on an Apple MacBook Pro laptop during competitions. Polaris plays only heads-up Limit Texas hold'em.
Ali Eslami is a business strategist and renowned high-stakes poker primarily focused on limit mix-games.
Martin Bryant is a British computer programmer known as the author of White Knight and Colossus Chess, a 1980s commercial chess-playing program, and Colossus Draughts, gold medal winner at the 2nd Computer Olympiad in 1990.
Elbert Lowder was an American checkers champion noted for dominating the "11-man ballot". He worked as a piano tuner and was from North Carolina. As one of the grandmasters who played against the Chinook program he is mentioned several times in Jonathan Schaeffer's book One Jump Ahead: Challenging Human Supremacy in Checkers. Elbert Lowder was a member of the United Methodist Church.
Cepheus is the first poker playing program that "essentially weakly solved" the game of heads-up limit Texas hold 'em. This was the first imperfect information game played competitively by humans to be essentially solved. It was developed by the Computer Poker Research Group (CPRG) at the University of Alberta and was introduced in January 2015 in a paper entitled "Heads-up limit hold’em poker is solved", published in Science by Michael Bowling, Neil Burch, Michael Johanson, and Oskari Tammelin.
Claudico is an artificial-intelligence computer-program designed to play no-limit Texas hold 'em heads-up.
DeepStack is an artificial intelligence computer program designed to play two-player poker, specifically heads up no-limit Texas hold 'em. It is the first computer program to outplay human professionals in this game.