UM COMPILADOR PARA DEFINIÇÃO E GERAÇÃO DE NORMAS EM SISTEMAS MULTIAGENTES
Revista Inova Ciência & Tecnologia
UM COMPILADOR PARA DEFINIÇÃO E GERAÇÃO DE NORMAS EM SISTEMAS MULTIAGENTES
Autor Correspondente: Dr. Eduardo Augusto Silvestre | [email protected]
Palavras-chave: GRAMÁTICA BNF, LINGUAGENS FORMAIS, COMPILADORES, SISTEMAS MULTIAGENTES.
Resumos Cadastrados
Resumo Português:
Um agente de software é uma entidade capaz de perceber seu ambiente por meio de sensores e de agir sobre esse ambiente por intermédio de atuadores. Os agentes inteligentes podem ser classificados de acordo com a maneira que eles coletam informações e agem no ambiente. No caso de vários agentes cooperando ou disputando entre si, inseridos em um mesmo ambiente e trocando informações, chamamos esse sistema de multiagente (SMA). SMAs são sociedades autônomas, heterogêneas e podem trabalhar a fim de alcançar objetivos comuns ou diferentes. A fim de lidar com a heterogeneidade, autonomia e diversidade de interesses entre os agentes da sociedade, projetistas desses sistemas estabelecem um conjunto de normas que é usado como um mecanismo de controle social que visa possibilitar que os agentes possam trabalhar em conjunto. Dentro deste contexto, dois problemas frequentes são a representação de normas e também sua verificação e resolução de possíveis conflitos. Existem várias formas de representação de normas na literatura, mas ainda falta um consenso a respeito da sua expressividade e formalização. Os conflitos são inerentes a um sistema normativo, no qual diferentes agentes cooperam ou concorrem por um mesmo recurso. Este trabalho apresenta uma nova sintaxe para normas em SMA. Foi definida uma linguagem formal utilizando uma gramática BNF e a linguagem foi aplicada com o uso de um compilador desenvolvido neste trabalho. A linguagem pode ser utilizada como base de uma arquitetura em um SMA normativo. Como trabalhos futuros, a linguagem será utilizada para verificação de conflitos em SMA.
Resumo Italiano
A software agent is an entity capable of perceiving its environment through sensors and acting upon that environment through actuators. Intelligent agents can be classified according to the way they collect information and act on the environment. In the case of multiple agents cooperating or competing with each other, inserted into the same environment and sharing information, we call this multi-agent system (MAS). MAS are autonomous and heterogeneous societies and can work to achieve common or different goals. In order to deal with the autonomy and diversity of interests among different members of society, designers of these systems provide a set of norms that is used as a social control mechanism which enables agents to work together. Within this context, two frequent problems are the representation of norms and also their verification and resolution of potential conflicts. There are several forms of representation of norms in literature, but still there is lack of consensus about its expressiveness and formalization. The conflicts are inherent in a normative system where different agents cooperate or compete for the same resource. This paper presents a new syntax for norms in MAS. A formal language was defined using a BNF grammar and the language was applied with the use of a compiler developed in this work. The language can be used as the basis of architecture in a normative MAS. As future work, the language will be used to check conflicts in MAS.
