Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts

  • Rossella Rubino
  • Andrea Omicini
  • Enrico Denti
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3913)


As agent autonomy emphasises the need of norms for governing agent interactions, increasing attention is being devoted to (electronic) institutions for modelling organisations governed by norms. Moving from the concepts of role (with its normative consequences, i.e. obligations, permissions and prohibitions), norms (both regulative and constitutive), and normative agents, we first introduce the notion of computational institution for modelling norm-regulated MAS. Then, we discuss how infrastructural abstractions like coordination artifacts can be exploited to express norms inside computational institutions. Finally, we present an example based on the TuCSoN infrastructure.


Multiagent System Social Contract Normative System Virtual Enterprise Interaction Protocol 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Searle, J.R.: The construction of social reality. The Free Press, New York (1995)Google Scholar
  2. 2.
    Sartor, G.: Legal Reasoning: a Cognitive Approach to the Law. Springer, Heidelberg (2005)Google Scholar
  3. 3.
    Peczenik, A.: On Law and Reason. Kluwer, Dordrecht (1989)Google Scholar
  4. 4.
    Omicini, A., Ricci, A., Viroli, M., Castelfranchi, C., Tummolini, L.: Coordination artifacts: Environment-based coordination for intelligent agents. In: Jennings, N.R., Sierra, C., Sonenberg, L., Tambe, M. (eds.) 3rd international Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), vol. 1, pp. 286–293. ACM, New York (2004)Google Scholar
  5. 5.
    Etzioni, A.: Modern Organisations. Prentice-Hall, Englewood Cliffs (1964)Google Scholar
  6. 6.
    Esteva, M., Rodríguez-Aguilar, J.-A., Sierra, C., Garcia, P., Arcos, J.-L.: On the formal specification of electronic institutions. In: Sierra, C., Dignum, F.P.M. (eds.) AgentLink 2000. LNCS, vol. 1991, pp. 126–147. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  7. 7.
    Vasconcelos, W.W.: Logic-based electronic institutions. In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS, vol. 2990, pp. 221–242. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  8. 8.
    Noriega, P., Sierra, C.: Electronic institutions: Future trends and challenges. In: Klusch, M., Ossowski, S., Shehory, O. (eds.) CIA 2002. LNCS, vol. 2446, pp. 18–20. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  9. 9.
    Broersen, J., Dastani, M., Hulstijn, J., van der Torre, L.W.N.: Goal generation in the BOID architecture. Cognitive Science Quarterly 2(3-4), 428–447 (2002)Google Scholar
  10. 10.
    Boella, G., van der Torre, L.W.N.: Regulative and constitutive norms in normative multiagent systems. In: 9th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2004), pp. 255–266 (2004)Google Scholar
  11. 11.
    Boella, G., van der Torre, L.W.: Attributing mental attitudes to normative systems. In: Rosenschein, J.S., Wooldridge, M.J., Sandholm, T., Yokoo, M. (eds.) 2nd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2003), pp. 942–943. ACM Press, New York (2003) (Poster)Google Scholar
  12. 12.
    Castelfranchi, C., Dignum, F., Jonker, C.M., Treur, J.: Deliberative normative agents: Principles and architecture. In: Jennings, N.R. (ed.) ATAL 1999. LNCS, vol. 1757, pp. 15–17. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  13. 13.
    Lopez y Lopez, F., Luck, M.: Towards a model of the dynamics of normative multi-agent systems. In: Lindemann, G., Moldt, D., Paolucci, M. (eds.) RASTA 2002. LNCS, vol. 2934, pp. 175–193. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  14. 14.
    Wooldridge, M.: An Introduction to Multiagent Systems. John Wiley & Sons, Chichester, England (2002)Google Scholar
  15. 15.
    Petersen, S.A., Divitini, M., Matskin, M.: An agent-based approach to modelling virtual enterprises. International Journal of Production Planning & Control 12(3), 224–233 (2001)CrossRefGoogle Scholar
  16. 16.
    Pea, R., Brown, J.S., Heath, C. (eds.): Perspectives on Activity Theory. Cambridge University Press, Cambridge (1999)Google Scholar
  17. 17.
    Nardi, B.A.: Context and Consciousness: Activity Theory and Human-Computer Interaction. MIT Press, Cambridge (1996)Google Scholar
  18. 18.
    Ricci, A., Omicini, A., Denti, E.: Activity Theory as a framework for MAS coordination. In: Petta, P., Tolksdorf, R., Zambonelli, F. (eds.) ESAW 2002. LNCS, vol. 2577, pp. 96–110. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  19. 19.
    Viroli, M., Omicini, A.: Coordination as a service: Ontological and formal foundation. Electronic Notes in Theoretical Computer Science 68(3), 457–482 (2003); 1st International Workshop Foundations of Coordination Languages and Software Architecture (FOCLASA 2002), August 24, 2002, Proceedings, Brno, Czech Republic (2002)Google Scholar
  20. 20.
    Omicini, A., Zambonelli, F.: Coordination for Internet application development. Autonomous Agents and Multi-Agent Systems, Special Issue: Coordination Mechanisms for Web Agents 2(3), 251–269 (1999)Google Scholar
  21. 21.
    Omicini, A., Denti, E.: From tuple spaces to tuple centres. Science of Computer Programming 41(3), 277–294 (2001)MATHCrossRefGoogle Scholar
  22. 22.
    Omicini, A., Denti, E.: Formal ReSpecT. Electronic Notes in Theoretical Computer Science 48, 179–196 (2001); Declarative Programming – Selected Papers from AGP 2000, December 4–6, 2000, La Habana, Cuba (2000)Google Scholar
  23. 23.
    Omicini, A.: Towards a notion of agent coordination context. In: Marinescu, D.C., Lee, C. (eds.) Process Coordination and Ubiquitous Computing, pp. 187–200. CRC Press, Boca Raton (2002)Google Scholar
  24. 24.
    Ricci, A., Viroli, M., Omicini, A.: Agent coordination context: From theory to practice. In: Trappl, R. (ed.) Cybernetics and Systems 2004, vol. 2, pp. 618–623. Austrian Society for Cybernetic Studies, Vienna, Austria (2004); 17th European Meeting on Cybernetics and Systems Research (EMCSR 2004), April 13-16, 2004, Proceedings, Vienna, Austria (2004)Google Scholar
  25. 25.
    Dignum, V.: A Model for Organizational Interaction: Based on Agents, Founded in Logic. PhD thesis, Tekst. - Proefschrift Universiteit Utrecht (2003)Google Scholar
  26. 26.
    Omicini, A., Ricci, A., Viroli, M.: An algebraic approach for modelling organisation, roles and contexts in MAS. Applicable Algebra in Engineering, Communication and Computing, Special Issue: Process Algebras and Multi-Agent Systems 16(2-3), 151–178 (2005)MATHMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Rossella Rubino
    • 1
  • Andrea Omicini
    • 2
  • Enrico Denti
    • 3
  1. 1.CIRSFID, Alma Mater StudiorumUniversità di BolognaBolognaItaly
  2. 2.DEIS, Alma Mater StudiorumUniversità di Bologna a CesenaCesenaItaly
  3. 3.DEIS, Alma Mater StudiorumUniversità di BolognaBolognaItaly

Personalised recommendations