Toronto - Um grupo de cientistas de computação canadenses anunciou ontem ter atingido um marco histórico para a inteligência artificial. Em um artigo na disputada revista “Science”, os pesquisadores descrevem como conseguiram criar um programa de computador comprovadamente imbatível no jogo de damas. O que o grupo liderado por Jonathan Schaeffer, da Universidade de Alberta, fez foi provar que damas é um “jogo de empate”: se dois jogadores se enfrentam sem cometer erros, a partida sempre acaba sem vencedor. Esse era mesmo o palpite da maioria dos bons jogadores, mas provar matematicamente a hipótese era um desafio que atormentava a mente de Schaeffer desde 1989. Com o trabalho dos canadenses, 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 já existirem programas capazes de bater campeões mundiais. O programa que Schaeffer escreveu baseado em sua solução, porém, vai um passo além de derrotar humanos. Ele nunca perde nem para si próprio: sempre acaba em empate.
Há 15 anos, Schaeffer já tinha um bom programa de damas. O software era baseado em estratégias de jogadores humanos, mas ainda não era bom o suficiente para fornecer uma solução definitiva para o jogo. “O único conhecimento prévio que o computador usa, na verdade, são as regras do jogo, e só. Baseados nisso, conseguimos determinar que as damas são um jogo de empate. Isso é informação perfeita, sem erro, o que significa que esse programa jamais perderá um jogo.”
O que fez Schaeffer levar tanto tempo para arranjar sua solução, na verdade, foi a falta de poder computacional da década de 1990. Seu trabalho acabou sendo até suspenso por alguns anos até que processadores mais potentes estivessem a sua disposição.
