Este trabalho de pesquisa discute a adequação de formalismo ASM para a especificação do comportamento de agentes em aplicações de Inteligência Artificial. Fazendo uso de ferramentas específicas, um dos objetivos desta pesquisa é implementar aplicações de Inteligência Artificial usando-se o paradigma de ASM, bem como avaliar a facilidade de implementação das regras dos sistemas formalizados e a clareza oferecidas pela linguagem utilizada.

Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (3) / Doutorado: (1) .

Integrantes: Mariza Andrade da Silva Bigonha – Integrante / Marco Túlio de Oliveira Valente – Integrante / Vladimir O Di Iorio – Integrante / BIGONHA, Roberto S. – Coordenador / Luciana Leal Ambrosio – Integrante / Wendell Figueiredo Taveira – Integrante / Fabíola Fonseca de Oliveira – Integrante / Fernando Magno Quintão Pereira – Integrante / Eliseu Cesar Miguel – Integrante.