Skip to main content

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

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 3913))

Abstract

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.

This is a preview of subscription content, log in via an institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Searle, J.R.: The construction of social reality. The Free Press, New York (1995)

    Google Scholar 

  2. Sartor, G.: Legal Reasoning: a Cognitive Approach to the Law. Springer, Heidelberg (2005)

    Google Scholar 

  3. Peczenik, A.: On Law and Reason. Kluwer, Dordrecht (1989)

    Google Scholar 

  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. Etzioni, A.: Modern Organisations. Prentice-Hall, Englewood Cliffs (1964)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. 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. 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. 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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  14. Wooldridge, M.: An Introduction to Multiagent Systems. John Wiley & Sons, Chichester, England (2002)

    Google Scholar 

  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)

    Article  Google Scholar 

  16. Pea, R., Brown, J.S., Heath, C. (eds.): Perspectives on Activity Theory. Cambridge University Press, Cambridge (1999)

    Google Scholar 

  17. Nardi, B.A.: Context and Consciousness: Activity Theory and Human-Computer Interaction. MIT Press, Cambridge (1996)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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. 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. Omicini, A., Denti, E.: From tuple spaces to tuple centres. Science of Computer Programming 41(3), 277–294 (2001)

    Article  MATH  Google Scholar 

  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. 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. 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. Dignum, V.: A Model for Organizational Interaction: Based on Agents, Founded in Logic. PhD thesis, Tekst. - Proefschrift Universiteit Utrecht (2003)

    Google Scholar 

  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)

    MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Rubino, R., Omicini, A., Denti, E. (2006). Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts. In: Boissier, O., et al. Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems. AAMAS 2005. Lecture Notes in Computer Science(), vol 3913. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11775331_9

Download citation

  • DOI: https://doi.org/10.1007/11775331_9

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-35173-3

  • Online ISBN: 978-3-540-35176-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics