Especificação formal de jogos de inteligência artificial

Desde o surgimento das primeiras pesquisas na area de inteligencia artificial, os jogos vem sendo usados como objeto de estudo. Alem de despertar o interesse das pessoas tanto no lazer como no meio academico, os jogos sao mecanismos para a aplicacao das tecnicas de inteligencia artificial, que os ve como problemas de dificil solucao. Contudo, a formalizacao das regras que descrevem esses jogos nao recebem atencao especial no momento em que o problema e proposto. Geralmente formalizadas em linguagens logicas ou ate mesmo em linguagens naturais, o entendimento das regras dos jogos pode ser vago ou ate mesmo ambiguo. As Maquinas de Estado Abstratas (ASM) constituem um conceito expressivo e elegante para modelagem matematica de sistemas dinâmicos discretos. Aplicadas com sucesso em varios tipos de sistemas, as ASM sao descritas sob um rigorosoembasamento matematico, o que torna suas especificacoes mais precisas e confiaveis. Fazendo uso do formalismo das Maquinas de Estado Abstratas(ASM) e suas linguagens de programacao, este trabalho descreve uma excelente alternativa para se formalizar, com clareza e rigor matematico, as regras dos jogos de computadorese o comportamento dos agentes inteligentes envolvidos no ambiente desses jogos.