Modelos para a Construção de Sistemas Multiagentes: Um Estudo de Caso em Sistemas Tutores Inteligentes

Resumo

Este trabalho apresenta modelos para a construção de sistemas multiagentes. Primeiramente, apresenta-se um modelo para a especificação de sistemas multiagentes baseado na metodologia Gaia. Adiante apresenta-se um modelo para verificação do sistema baseado em redes de Petri de alto nível. Para a avaliação dos modelos é apresentado um estudo de caso em Sistemas Tutores Inteligentes no domínio de Matemática. Este estudo de caso utiliza a visão multidimensional do modelo Mathema para a especificação do domínio e, a partir deste, os modelos de especificação e verificação propostos aqui. Com isso, visa-se ter um conjunto de modelos formais que possam ser mais facilmente reutilizados e automaticamente processados.