Programming Institutional Facts in Multi-Agent Systems

  • Maiquel de Brito
  • Jomi F. Hübner
  • Rafael H. Bordini
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7756)

Abstract

In multi-agent systems with separate agents, environment, and institution dimensions, the institutional state can be affected by facts originating in any of those constituent dimensions. Most current approaches model the dynamics of the institution focusing on the agents and the institution itself as the main sources of facts that produce changes in the institutional state. In this paper, we investigate also the environment as an important source of facts that change the institution. We propose thus a model and a language to specify and program the institutional dynamics as consequence of events and state changes occurring in any of the three component dimensions of the system (agent, environment, and institution). Our approach was evaluated through a case study where we compare two solutions for an application: the original design and a new one based on our proposal. We observed a simplification of the agents’ reasoning, an increase in the functions performed by the environment and the institution, and greater independence of the agents within the system. This last result is specially important in open systems where we cannot take for granted that agents will take part in the system.

Keywords

institutional facts constitutive rules environment institution 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Aldewereld, H., Alvares-Napagao, S., Dignum, F., Vasquez-Salceda, J.: Making norms concrete. In: Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), vol. 1, pp. 807–814. International Foundation for Autonomous Agents and Multiagent Systems, Toronto (2010)Google Scholar
  2. 2.
    Artikis, A., Pitt, J., Sergot, M.: Animated specifications of computational societies. In: Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems: Part 3 (AAMAS 2002), pp. 1053–1061. ACM, New York (2002)CrossRefGoogle Scholar
  3. 3.
    Boissier, O., Hübner, J.F., Sichman, J.S.: Organization Oriented Programming: From Closed to Open Organizations. In: O’Hare, G.M.P., Ricci, A., O’Grady, M.J., Dikenelli, O. (eds.) ESAW 2006. LNCS (LNAI), vol. 4457, pp. 86–105. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  4. 4.
    Boissier, O., Bordini, R.H., Hübner, J.F., Ricci, A., Santi, A.: Multi-agent oriented programming with JaCaMo. In: Science of Computer Programming (2011)Google Scholar
  5. 5.
    Bordini, R.H., Hübner, J.F., Wooldridge, M.: Programming Multi-Agent Systems in AgentSpeak Using Jason. In: Wiley Series in Agent Technology. John Wiley & Sons (2007)Google Scholar
  6. 6.
    Campos, J., López-Sánchez, M., Rodríguez-Aguilar, J.A., Esteva, M.: Formalising Situatedness and Adaptation in Electronic Institutions. In: Hübner, J.F., Matson, E., Boissier, O., Dignum, V. (eds.) COIN 2008. LNCS (LNAI), vol. 5428, pp. 126–139. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  7. 7.
    Cassandras, C.G., Lafortune, S.: Introduction to discrete event systems. Springer (2008)Google Scholar
  8. 8.
    Dastani, M., Tinnemeier, N., Meyer, J.C.: A programming language for normative multi-agent systems. In: Dignum, V. (ed.) Multi-Agent Systems: Semantics and Dynamics of Organizational Models. Cap. XVI, pp. 397–417. Information Science Reference, Hershey (2009)CrossRefGoogle Scholar
  9. 9.
    Esteva, M., Rosell, B., Rodriguez-Aguilar, J.A., Arcos, J.L.: AMELI: An agent-based middleware for electronic institutions. In: Jennings, N.R., Sierra, C., Sonenberg, L., Tambe, M. (eds.) Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), vol. 1, pp. 236–243. ACM, Washington, DC (2004)Google Scholar
  10. 10.
    Hübner, J.F., Sichman, J.S., Boissier, O.: Developing organised multi-agent systems using the MOISE+ model: programming issues at the system and agent levels. International Journal of Agent-Oriented Software Engineering 1(3/4), 370–395 (2007)CrossRefGoogle Scholar
  11. 11.
    Piunti, M.: Situating agents and organisations in artifact-based work environments. PhD Thesis, Univerist di Bologna (2009)Google Scholar
  12. 12.
    Plotkin, G.D.: A structural approach to operational semantics. J. Log. Algebr. Program. 60-61, 17–139 (2004)MathSciNetCrossRefGoogle Scholar
  13. 13.
    Ricci, A., Piunti, M., Viroli, M., Omicini, A.: Environment Programming in CArtAgO. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.) Multi-Agent Programming: Languages, Tools and Applications, pp. 259–288. Springer (2009)Google Scholar
  14. 14.
    Searle, J.: The construction of social reality. Free Press (1999)Google Scholar
  15. 15.
    Stratulat, T., Ferber, J., Tranier, J.: MASQ: Towards an integral approach to interaction. In: Proceedings of the 8th Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Richland, SC, vol. 2, pp. 813–820 (2009)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Maiquel de Brito
    • 1
  • Jomi F. Hübner
    • 1
  • Rafael H. Bordini
    • 2
  1. 1.Federal University of Santa CatarinaFlorianpolisBrazil
  2. 2.FACIN-PUCRSPorto AlegreBrazil

Personalised recommendations