Work

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

Year: 2011

Type: article

Abstract: This paper presents models for building multi-agent systems.First, we present a model for spe- cifying multi-agent systems based on the Gaia methodology.Below we present a model for system verification based on the high level Petri net.For the evaluation of the models we present a case study in Intelligent Tutoring Systems in the domain of mathematics.In this case study is used a multidimensional view of Mathema model for specifying the domain and, finally, we use the specification and verification models.Thus, the aim is to have a set of formal models that can be more easily reused and automatically processed.

Source: Revista Brasileira de Informática na Educação

DOI: 10.5753/rbie.2011.19.01.74

Authors: Marlos Tacio Silva, Ig Ibert Bittencourt, Evandro Costa

Institution: Universidade Federal de Alagoas

Language: Portuguese

Topic: Multi-Agent Systems and Negotiation

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

SDG: Quality education

Open Access status: diamond

OpenAlex ID: W2086247100

FWCI:

Cites: 18

Cited by:

Related to: 8