From Organisation Specification to Normative Programming in Multi-Agent Organisations

  • Jomi F. Hübner
  • Olivier Boissier
  • Rafael H. Bordini
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6245)

Abstract

In this paper, we show how we can automatically translate high-level organisation modelling languages into simpler languages based on the idea of normative programming. With this approach, while designers and agents still use a highly abstract organisational modelling language to specify and reason about the multi-agent organisation, the development of the organisation management infrastructure is facilitated in the following manner. The high-level organisation specification is automatically translated into a simple normative programming language that we have recently introduced and for which we have given formal semantics. The organisation management infrastructure can then be based on an interpreter for the simpler normative language. We illustrate the approach showing how \(\mathcal M{\sc oise}\)’s organisation modelling language (with primitives such as roles, groups, and goals) can be translated into our normative programming language (with primitives such as norms and obligations). We briefly describe how this all has been implemented on top of ORA4MAS, the distributed artifact-based organisation management infrastructure for \(\mathcal M{\sc oise}\).

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. John Wiley & Sons, Chichester (2007)MATHCrossRefGoogle Scholar
  2. 2.
    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
  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., Lewis Johnson, W. (eds.) Proceedings of the First International Joint Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2002). LNCS (LNAI), vol. 1191, pp. 1045–1052. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  5. 5.
    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 1998), pp. 128–135. IEEE Press, Los Alamitos (1998)CrossRefGoogle Scholar
  6. 6.
    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 2006) (2006)Google Scholar
  7. 7.
    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
  8. 8.
    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.) COIN 2006. LNCS (LNAI), vol. 4386, pp. 101–114. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  9. 9.
    Hübner, J.F., Boissier, O., Bordini, R.H.: A normative organisation programming language for organisation management infrastructures. In: Padget, J., et al. (eds.) COIN 2009. LNCS (LNAI), vol. 6069, pp. 114–129. Springer, Heidelberg (2010)Google Scholar
  10. 10.
    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)CrossRefGoogle Scholar
  11. 11.
    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
  12. 12.
    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. John Wiley and Sons Ltd., Chichester (1993)Google Scholar
  13. 13.
    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
  14. 14.
    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)Google Scholar
  15. 15.
    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
  16. 16.
    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, ch. 8, pp. 259–288. Springer, Heidelberg (2009)Google Scholar
  17. 17.
    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 2009, pp. 121–128 (2009)Google Scholar
  18. 18.
    van Riemsdijk, B., Hindriks, K., Jonker, C.M., Sierhuis, M.: Formal organizational constraints: A semantic approach. In: Hoek, Kaminka, Lesperance, Luck, Sen (eds.) Proc. of 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), pp. 823–830 (2010)Google Scholar
  19. 19.
    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
  20. 20.
    López y López, F., Luck, M.: Constraining autonomy through norms. In: Luck, M., d’Inverno, M. (eds.) Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 674–681. ACM Press, New York (2002)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Jomi F. Hübner
    • 1
  • Olivier Boissier
    • 2
  • Rafael H. Bordini
    • 3
  1. 1.Dept Automation and Systems EngineeringFederal University of Santa Catarina 
  2. 2.Ecole Nationale Supérieure des MinesSaint EtienneFrance
  3. 3.Institute of InformaticsFederal University of Rio Grande do Sul 

Personalised recommendations