A normative programming language for multi-agent organisations

  • Jomi F. Hübner
  • Olivier Boissier
  • Rafael H. Bordini
Article

Abstract

The specification of multi-agent organisations is typically based on high-level modelling languages so as to simplify the task of software designers. Interpreting such high-level specifications as part of the organisation management infrastructure (OMI) is a difficult and cumbersome task. Simpler and more efficient tools need to be used for this. Based on primitives such as norms and obligations, we introduce in this paper a Normative Programming Language (NPL)—a language dedicated to the development of normative programs. We present the interpreter for such a language and show how it can be used within an organisation management infrastructure. While designers and agents can still use a high-level organisational modelling language to specify and reason about the multi-agent organisation, the OMI interprets a simpler language. This is possible because the high-level specifications can be automatically translated into the simpler (normative) language. Our approach was used to develop an improved OMI for the Moise framework, as described in this paper. We also show how Moise’s organisation modelling language (with primitives such as roles, groups, and goals) can be translated into NPL programs. Finally, we briefly describe how this all has been implemented on top of ORA4MAS, the distributed artifact-based organisation management infrastructure for Moise.

Keywords

Multi-agent systems Normative programming Multi-agent organisations Moise 

Mathematics Subject Classifications (2010)

68T42 68N17 68T35 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Bordini, R.H., Hübner, J.F., Wooldrige, M.: Programming Multi-Agent Systems in AgentSpeak Using Jason. Wiley Series in Agent Technology. Wiley, New York (2007). http://jason.sf.net/jBook. doi:10.1002/9780470061848 MATHCrossRefGoogle Scholar
  2. 2.
    Criado, N., Julian, V., Botti, V., Argente, E.: A norm-based organization management system. In: Hübner, J.F., Matson, E., Boissier, O., Dignum, V. (eds.) Coordination, Organizations, Institutions, and Norms in Agent Systems IV (COIN 2009), LNAI, vol. 5428, pp. 19–35. Springer (2009)Google Scholar
  3. 3.
    Dignum, V. (ed.): Handbook of Research on Multi-agent Systems: Semantics and Dynamics of Organizational Models. Information Science Reference (2009)Google Scholar
  4. 4.
    Esteva, M., de la Cruz, D., Sierra, C.: ISLANDER: an electronic institutions editor. In: Castelfranchi, C., Johnson, W.L. (eds.) Proceedings of the First International Joint Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2002), LNAI 1191, pp. 1045–1052. Springer (2002)Google Scholar
  5. 5.
    Esteva, M., Rodríguez-Aguilar, J.A., Rosell, B., 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 Multi-Agent Systems (AAMAS’2004), pp. 236–243. ACM, New York (2004)Google Scholar
  6. 6.
    Ferber, J., Gutknecht, O.: A meta-model for the analysis and design of organizations in multi-agents systems. In: Demazeau, Y. (ed.) Proceedings of the 3rd International Conference on Multi-Agent Systems (ICMAS’98), pp. 128–135. IEEE Press (1998)Google Scholar
  7. 7.
    Forgy, C.: Rete: a fast algorithm for the many pattern/many object pattern match problem. Artif. Intell. 19(1), 17–37 (1982)CrossRefGoogle Scholar
  8. 8.
    Fornara, N., Colombetti, M.: Specifying and enforcing norms in artificial institutions. In: Omicini, A., Dunin-Keplicz, B., Padget, J. (eds.) Proceedings of the 4th European Workshop on Multi-Agent Systems (EUMAS 06) (2006)Google Scholar
  9. 9.
    García-Camino, A., Rodríguez-Aguilar, J.A., Sierra, C., Vasconcelos, W.: Constraining rule-based programming norms for electronic institutions. Journal of Autonomous Agents and Multi-Agent Systems 18(1), 186–217 (2009)CrossRefGoogle Scholar
  10. 10.
    Grossi, D., Aldewered, H., Dignum, F.: Ubi Lex, Ibi Poena: designing norm enforcement in e-institutions. In: Noriega, P., Vázquez-Salceda, J., Boella, G., Boissier, O., Dignum, V., Fornara, N., Matson, E., (eds.) Coordination, Organizations, Institutions, and Norms in Agent Systems II. LNAI, vol. 4386, pp. 101–114. Springer (2007). Revised Selected PapersGoogle Scholar
  11. 11.
    Hübner, J.F., Boissier, O., Bordini, R.H.: From organisation specification to normative programming in multi-agent organisations. In: Dix, J., Governatori, G., Jamroga, W., Leite, J. (eds.) Proc. of Computational Logic in Multi- Agent Systems (CLIMA XI). LNAI, vol. 6245, pp. 117–134. Springer (2010). doi:10.1007/978-3-642-14977-1_11
  12. 12.
    Hübner, J.F., Boissier, O., Bordini, R.H.: A normative organisation programming language for organisation management infrastructures. In: J.P. et al. (ed.) Coordination, Organizations, Institutions and Norms in Agent Systems V. LNAI, vol. 6069, pp. 114–129. Springer (2010). doi:10.1007/978-3-642-14962-7_8
  13. 13.
    Hübner, J.F., Boissier, O., Kitio, R., Ricci, A.: Instrumenting multi-agent organisations with organisational artifacts and agents: “giving the organisational power back to the agents”. Journal of Autonomous Agents and Multi-Agent Systems 20(3), 369–400 (2010). doi:10.1007/s10458-009-9084-y CrossRefGoogle Scholar
  14. 14.
    Hübner, J.F., Sichman, J.S., Boissier, O.: S-MOISE+: a middleware for developing organised multi-agent systems. In: Boissier, O., Dignum, V., Matson, E., Sichman, J.S. (eds.) Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems. LNCS, vol. 3913, pp. 64–78. Springer (2006). doi:10.1007/11775331_5
  15. 15.
    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). doi:10.1504/IJAOSE.2007.016266 CrossRefGoogle Scholar
  16. 16.
    Jones, A.J.I., Sergot, M.: On the characterization of law and computer systems: the normative systems perspective. In: Deontic logic in computer science: normative system specification, pp. 275–307. Wiley, Chichester, UK (1993)Google Scholar
  17. 17.
    y López, F.L., Luck, M., d’Inverno, M.: Constraining autonomy through norms. In: Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 674 – 681. ACM Press (2002)Google Scholar
  18. 18.
    Omicini, A., Ricci, A., Viroli, M.: Artifacts in the A&A meta-model for multi-agent systems. Journal of Autonomous Agents and Multi-Agent Systems 17(3), 432–456 (2008)CrossRefGoogle Scholar
  19. 19.
    Piunti, M., Ricci, A., Boissier, O., Hübner, J.F.: Embodying organisations in multi-agent work environments. In: Proceedings of International Joint Conferences on Web Intelligence and Intelligent Agent Technologies (WI-IAT 2009), pp. 511–518. IEEE/WIC/ACM (2009). doi:10.1109/WI-IAT.2009.204
  20. 20.
    Plotkin, G.D.: A structural approach to operational semantics. Tech. rep., Computer Science Department, Aarhus University, Aarhus, Denmark (1981)Google Scholar
  21. 21.
    Pynadath, D.V., Tambe, M.: An automated teamwork infrastructure for heterogeneous software agents and humans. Autonomous Agents and Multi-Agent Systems 7(1–2), 71–100 (2003)CrossRefGoogle Scholar
  22. 22.
    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, chap. 8, pp. 259–288. Springer (2009)Google Scholar
  23. 23.
    van Riemsdijk, B., Hindriks, K., Jonker, C.M., Sierhuis, M.: Formal organizational constraints: a semantic approach. In: W. van der Hoek, G.A. Kaminka, Y. Lesperance, M. Luck, S. Sen (eds.) Proc. of 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), pp. 823–830 (2010)Google Scholar
  24. 24.
    da Silva, V.T.: Implementing norms that govern non-dialogical actions. In: Sichman, J., Noriega, P., Padget, J., Ossowski, S. (eds.) Coordination, Organizations, Institutions, and Norms in Agent Systems III (COIN 2007). LNCS, vol. 4870, pp. 232–244. Springer (2007)Google Scholar
  25. 25.
    da Silva, V.T.: From the specification to the implementation of norms: an automatic approach to generate rules from norm to govern the behaviour of agents. Journal of Autonomous Agents and Multi-Agent Systems 17(1), 113–155 (2008)CrossRefGoogle Scholar
  26. 26.
    Tinnemeier, N., Dastani, M., Meyer, J.J.: Roles and norms for programming agent organizations. In: Sichman, J., Decker, K., Sierra, C., Castelfranchi, C. (eds.) Proc. of AAMAS 09, pp. 121–128 (2009)Google Scholar
  27. 27.
    Vázquez-Salceda, J., Aldewereld, H., Dignum, F.: Norms in multiagent systems: some implementation guidelines. In: Proceedings of the Second European Workshop on Multi-Agent Systems (EUMAS 2004) (2004). http://people.cs.uu.nl/dignum/papers/eumas04.PDF

Copyright information

© Springer Science+Business Media B.V. 2011

Authors and Affiliations

  • Jomi F. Hübner
    • 1
  • Olivier Boissier
    • 2
  • Rafael H. Bordini
    • 3
  1. 1.Department of Automation and Systems EngineeringFederal University of Santa CatarinaFlorianópolisBrazil
  2. 2.Ecole Nationale Supérieure des MinesSaint EtienneFrance
  3. 3.Institute of InformaticsFederal University of Rio Grande do SulPorto AlegreBrazil

Personalised recommendations