文章基本信息

标题：Modelos para a Construção de Sistemas Multiagentes: Um Estudo de Caso em Sistemas Tutores Inteligentes
本地全文：下载
作者：Marlos Tacio Silva ; Ig Ibert Bittencourt ; Evandro Costa 等
期刊名称：Revista Brasileira de Informática na Educação
印刷版ISSN：1414-5685
出版年度：2011
卷号：19
期号：01
页码：74
DOI：10.5753/RBIE.2011.19.01.74
语种：Portuguese
出版社：Revista Brasileira de Informática na Educação
摘要：Normal 0 21 false false false PT-BR X-NONE X-NONE 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.
关键词：Sistemas Multiagentes; Representação de Conhecimento; Verificação de Modelos; Sistemas Tutores Inteligentes