fonte: JC e-mail 3310, de 20 de julho de 2007.  Jornal da Ciência [jcemail@jornaldaciencia.org.br]

Rafael Garcia escreve para a “Folha de SP”- 20/07/2007:

O Programa Play Chinook [ http://www.cs.ualberta.ca/~chinook/play/index.html ] é novo marco da inteligência artificial.

Um grupo de cientistas de computação canadenses anunciou ontem ter atingido um marco histórico para a inteligência artificial. Em artigo na revista "Science", os pesquisadores descrevem como conseguiram criar um programa de computador comprovadamente imbatível no jogo de damas.

O grupo liderado por Jonathan Schaeffer, da Universidade de Alberta, provou que damas é um "jogo de empate": se dois jogadores se enfrentam sem cometer erros, a partida sempre acaba sem vencedor. Esse era o palpite da maioria dos bons jogadores, mas provar matematicamente a hipótese era um desafio que atormentava Schaeffer desde 1989. Com o trabalho, as damas passam a ser o jogo mais complexo já solucionado pela matemática. O xadrez, que tem uma complexidade muito maior, ainda não tem solução completa, apesar de alguns programas baterem campeões mundiais.

Além de derrotar humanos, o programa de Schaeffer nunca perde nem para si próprio: sempre acaba em empate. Em 1994 o pesquisador já havia desenvolvido um software que derrotou o então campeão mundial, Marion Tinsley, mas ele ainda não fornecia uma solução definitiva para o jogo.

"O que eu fiz então foi abrir mão de qualquer tipo de conhecimento que fosse imperfeito", disse o cientista à Folha. "O único conhecimento prévio que o computador usa são as regras do jogo, e só. Baseados nisso, conseguimos determinar que as damas são um jogo de empate. O programa jamais perderá um jogo." Schaeffer demorou para achar a solução porque faltava poder computacional da década de 1990. Seu trabalho ficou suspenso até que processadores mais potentes estivessem disponíveis. Em média, ele usou 50 computadores por dia para rodar o problema, tendo mobilizado 200 em alguns dias.

Jogue damas contra o programa imbatível: http://www.cs.ualberta.ca/~chinook

__________ 

Saiba mais sobre o Play Chinook :  [ http://www.cs.ualberta.ca/~chinook/play/index.html ]

"The Chinook project began in 1989 with the goal of developing a program capable of defeating the human World Checkers Champion. In 1990, Chinook became the first program in any game to win  (...) On April 29, 2007, we were pleased to announce that checkers is now solved. From the standard starting position, Black (who moves first) is guaranteed a draw with perfect play. White (moving second) is also guaranteed a draw, regardless of what Black plays as the opening move. Checkers ...."  continue a ler:

• O projeto - http://www.cs.ualberta.ca/~chinook/project/
• The University of Alberta GAMES Group - http://www.cs.ualberta.ca/~games/ 
• Os autores - http://www.cs.ualberta.ca/~chinook/authors/
• Checkers Solution - http://www.cs.ualberta.ca/~chinook/solution/
• Publicações - http://www.cs.ualberta.ca/~chinook/publications/
• Links interessantes na área de jogos de damas - http://www.cs.ualberta.ca/~chinook/links/
• Games solucionados - http://www.cs.ualberta.ca/~chinook/games/
• Query the databases  - http://chinook.cs.ualberta.ca/users/chinook/endgame.html
• See the proof - http://chinook.cs.ualberta.ca/users/chinook/index.html
• Review the competitions - http://www.cs.ualberta.ca/~chinook/matches/index.html
• Watch the video - http://www.cs.ualberta.ca/~chinook/news/media.html
• Play the podcast - http://www.cs.ualberta.ca/~chinook/news/media.html#podcast

Saiba mais sobre o que o  The University of Alberta GAMES Group  faz: [http://www.cs.ualberta.ca/~games/ ]

• Game-playing programs
• Sequential minimax search algorithms
• Using heuristic knowledge
• Handling imperfect information, andmaking decisions under conditions of uncertainty
• Single-agent search
• Parallel alpha-beta search algorithms
• Combinatorial game theory
• Planning
• Learning and adaptation
• Commercial games
• Applications "