Programa é 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, só isso. 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 programa, tendo mobilizado 200 em alguns dias.


Rafael Garcia
Folha de S.Paulo.

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

Áudio dos comentários