UM COMPILADOR PARA DEFINIÇÃO E GERAÇÃO DE NORMAS EM SISTEMAS MULTIAGENTES

Autores

  • Luccas Felippe Oliveira Graduando em Engenharia da Computação. Instituto Federal do Triângulo Mineiro, Campus Avançado Uberaba Parque Tecnológico, Uberaba, MG, Brasil. lfelippeoliveira@gmail.com
  • Eduardo Augusto Silvestre Doutor em Computação. Instituto Federal do Triângulo Mineiro, Campus Avançado Uberaba Parque Tecnológico, Uberaba, MG, Brasil. eduardosilvestre@iftm.edu.br
  • Viviane Torres da Silva [3] Doutora em Computação. IBM Research (licença UFF), Rio de Janeiro, RJ, Brasil. vivianet@br.ibm.com

Palavras-chave:

Gramática BNF, Linguagens Formais, Compiladores, Sistemas Multiagentes.

Resumo

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.

Referências

APHALE, M., NORMAN, T. J., SENSOY, M. Goal-directed policy conflict detection and prioritisation: an empirical. In: Lecture notes in computer science. [S.l.]: Springer, 2013. p. 87–104.

BACKUS, J. W. et al. Revised report on the algorithm language ALGOL 60. ACM digital library. [S.l.], v. 6, n. 1, 1963. p. 1–17. Disponível em: <http://doi.acm.org/10.1145/366193.366201>. Acesso em: 10 jun. 2016.

BOISSIER, O. et al. Multi-agent oriented programming with JaCaMo. In: Science Computer Programming, v. 78, n. 6, 2013. p. 747–761. Disponível em: <http://dx.doi.org/10.1016/j.scico.2011.10.004>. Acesso em: 10 jun. 2016.

BUILDER, Gold Parser. Gold Parser Builder . [S.l: s.n.], 2015.

CHOLVY, L; CUPPENS, F. Solving normative conflicts by merging roles: ICAIL ’95, New York, NY, USA: ACM digital library, 1995. p.201–209. Disponível em: <http://doi.acm.org/10.1145/222092.222241>. Acesso em: 10 de jun. 2016.

DEUTSCH, Morton; GERARD, Harold B. A study of normative and informational social influences upon individual judgement. In: Journal of Abnormal & Social Psychology, v. 51, n. 3, 1995. p. 629–636. Disponível em: <http://dx.doi.org.arugula.cc.columbia.edu:2048/10.1037/h0046408>. Acesso em: 10 jun. 2016.

FIGUEIREDO, Karen da Silva; SILVA, Viviane Torres da; BRAGA, Christiano de Oliveira. Modeling Norms in Multi-agent Systems with NormML. In: COIN@AAMAS’10, Berlin, Heidelberg: Springer-Verlag, 2011. p.39–57. Disponível em: <http://dl.acm.org/citation.cfm?id=2018118.2018122>. Acesso em: 10 jun. 2016.

JIANG, J. et al. Norm Contextualization. [S.l: s.n.], 2012. p.141–157. Disponível em: <http://dx.doi.org/10.1007/978-3-642-37756-3_9>. Acesso em: 10 jun. 2016.

KOLLINGBAUM, M; NORMAN, T. Strategies for resolving norm conflict in practical reasoning. In: ECAI Workshop Coordination in Emergent Agent Societies, 2004. Disponível em: <http://betsie.aberdeen.ac.uk/cgi-bin/betsie/0005/www.csd.abdn.ac.uk/~mkolling/publications/KollingbaumNorman_ECAI2004_WS.pdf>. Acesso em: 10 de jun. 2016

LI, T. et al. Contextualized Institutions in virtual organizations. In: BALKE, Tina et al. (Orgs.). . Coordination, Organizations, Institutions, and Norms in Agent Systems IX. Lecture Notes in Computer Science. [S.l.]: Springer International Publishing, v. 8386, 2014. p. 136–154. Disponível em: <http://dx.doi.org/10.1007/978-3-319-07314-9_8>. Acesso em: 10 jun. 2016.

LÓPEZ. F. L. Y. Social Power and Norms: impact on Agent Behaviour. [S.l: s.n.], 2003.

MEYER, J. J. C; WIERINGA, R. J. Deontic logic in computer science: normative system specification. [S.l.]: John Wiley and Sons Ltd., 1994.

MUCHNICK, S. S. Advanced compiler design and implementation. [S.l.]: Morgan Kaufmann, 1997.

RUSSELL, S; NORVIG, P. Artificial Intelligence: a modern approach. 3. ed. Upper Saddle River, NJ, USA: Prentice Hall Press, 2009.

SANTOS NETO, B. F. dos. Desenvolvimento de agentes normativos. Rio de Janeiro: PUC-Rio, 2012.

SILVA, Viviane Torres da. From the specification to the implementation of norms: an automatic approach to generate rules from norms to govern the behavior of agents. In: Journal Autonomous agents and multi-Agent systems, v. 17, n. 1, 2008. p. 113–155. Disponível em: <http://dx.doi.org/10.1007/s10458-008-9039-8>. Acesso em: 10 jun. 2016

SILVA, V. T. da; ZAHN, J. Normative conflicts that depend on the domain. [S.l: s.n.], 2013. p.311–326. Disponível em: <http://dx.doi.org/10.1007/978-3-319-07314-9_17>. Acesso em: 10 jun. 2016.

SILVESTRE, Eduardo Augusto. Verificação de conflitos entre múltiplas normas em sistemas multiagentes. Rio de Janeiro: Universidade Federal Fluminense, 2017.

VASCONCELOS, W. W.; KOLLINGBAUM, M. J; NORMAN, T. J. Normative conflict resolution in multi-agent systems. In: Autonomous agents and multi-agent systems, v. 19, n. 2, 2009. p. 124–152 . Disponível em: <http://dx.doi.org/10.1007/s10458-008-9070-9>. Acesso em: 10 jun. 2016.

VON WRIGHT, G. H. Deontic Logic. In: Mind. Oxford University Press, v. 60, n. 237, 1951. p. 1–15.

WOOLDRIDGE, Michael. An introduction to multiAgent systems. 2. ed. [S.l.]: Wiley Publishing, 2009.

Downloads

Publicado

01-12-2017

Como Citar

Oliveira, L. F., Silvestre, E. A., & da Silva, V. T. (2017). UM COMPILADOR PARA DEFINIÇÃO E GERAÇÃO DE NORMAS EM SISTEMAS MULTIAGENTES. Revista Inova Ciência & Tecnologia / Innovative Science & Technology Journal, 3(2), 56–63. Recuperado de https://periodicos.iftm.edu.br/index.php/inova/article/view/186

Edição

Seção

Ciências Exatas e da Terra - Ciência da Computação

Artigos mais lidos pelo mesmo(s) autor(es)