Advertisement

An Event Driven Approach to Norms in Artificial Institutions

  • Francesco Viganò
  • Nicoletta Fornara
  • Marco Colombetti
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3913)

Abstract

The notion of artificial institution is crucial for the specification of open and dynamic interaction frameworks where heterogeneous and autonomous agents can interact to face problems in various fields. In our view the specification of artificial institutions requires a clear standard definition of some basic concepts: the notion of ontology, authorizations, conventions, and the normative component. In this paper we propose an event driven approach to the definition of norms that is mainly based on the manipulation of commitments. We will discuss the crucial differences between the notion of authorization and permission and how the notion of permissions, obligations, and prohibitions can be expressed in our model. We will investigate the connections among the specification of different artificial institutions, in particular how an institution can enrich or further regulate the entities defined in another one. Finally we will briefly present the specification of the Dutch Auction Institution and of the Auction House Institution in order to exemplify the model presented in this paper.

Keywords

Multiagent System Autonomous Agent Reservation Price Object Constraint Language Institutional Action 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Artikis, A., Sergot, M., Pitt, J.: Animated Specifications of Computational Societies. In: Castelfranchi, C., Johnson, W.L. (eds.) Proceedings of the 1st International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002), Bologna, Italy, pp. 535–542. ACM Press, New York (2002)Google Scholar
  2. 2.
    Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide, 1st edn. Addison-Wesley, Reading (1999)Google Scholar
  3. 3.
    Castelfranchi, C.: Commitments: From Individual Intentions to Groups and Organizations. In: Lesser, V. (ed.) Proceedings of the 1st International Conference on Multi-Agent Systems, pp. 528–535. AAAI-Press and MIT Press, San Francisco, USA (1995)Google Scholar
  4. 4.
    Colombetti, M., Fornara, N., Verdicchio, M.: A Social Approach to Communication in Multiagent Systems. In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS, vol. 2990, pp. 191–220. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  5. 5.
    Dignum, F.: Autonomous Agents with Norms. Artificial Intelligence and Law 7(1), 69–79 (1999)CrossRefGoogle Scholar
  6. 6.
    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 3rd International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2004), pp. 236–243. ACM Press, New York (2004)Google Scholar
  7. 7.
    López y López, F., Luck, M., d’Inverno, M.: Normative Agent Reasoning in Dynamic Societies. In: Jennings, N.R., Sierra, C., Sonenberg, L., Tambe, M. (eds.) Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2004), pp. 535–542. ACM Press, New York (2004)Google Scholar
  8. 8.
    Fornara, N., Colombetti, M.: A Commitment-Based Approach to Agent Communication. Applied Artificial Intelligence an International Journal 18(9–10), 853–866 (2004)CrossRefGoogle Scholar
  9. 9.
    Fornara, N., Viganò, F., Colombetti, M.: Agent Communication and Institutional Reality. In: van Eijk, et al. (eds.) [19], pp. 1–17Google Scholar
  10. 10.
    Foundation for Intelligent Physical Agents. FIPA Dutch Auction Interaction Protocol Specification (2001), http://www.fipa.org
  11. 11.
    Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns. Addison-Wesley, Reading (1995)Google Scholar
  12. 12.
    Jones, A., Sergot, M.J.: A formal characterisation of institutionalised power. Journal of the IGPL 4(3), 429–445 (1996)MathSciNetGoogle Scholar
  13. 13.
    Kagal, L., Finin, T.: Modeling Conversation Policies using Permissions and Obligations. In: van Eijk, et al. (eds.) [19], pp. 123–133Google Scholar
  14. 14.
    Barbuceanu, M., Gray, T., Mankovski, S.: Coordinating with Obligations. In: Sycara, K.P., Wooldridge, M. (eds.) Proceedings of the 2nd International Conference on Autonomous Agents (Agents 1998), pp. 62–69. ACM Press, New York (1998)CrossRefGoogle Scholar
  15. 15.
    Moses, Y., Tennenholtz, M.: Artificial social systems. Computers and AI 14(6), 533–562 (1995)MathSciNetGoogle Scholar
  16. 16.
    Object Management Group. UML 2.0 OCL Specification (2003), http://www.omg.org/
  17. 17.
    Searle, J.R.: The construction of social reality. Free Press, New York (1995)Google Scholar
  18. 18.
    Singh, M.P.: An ontology for commitments in multiagent systems: Toward a unification of normative concepts. Artificial Intelligence and Law 7, 97–113 (1999)CrossRefGoogle Scholar
  19. 19.
    van Eijk, R.M., Huget, M.-P., Dignum, F.P.M. (eds.): AC 2004. LNCS, vol. 3396. Springer, Heidelberg (2005)Google Scholar
  20. 20.
    Vasconcelos, W.W.: Norm Verification and Analysis of Electronic Institutions. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS, vol. 3476, pp. 166–182. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  21. 21.
    Vázquez-Salceda, J., Aldewereld, H., Dignum, F.P.M.: Implementing Norms in Multiagent Systems. In: Lindemann, G., Denzinger, J., Timm, I.J., Unland, R. (eds.) MATES 2004. LNCS, vol. 3187, pp. 313–327. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  22. 22.
    Viganò, F., Fornara, N., Colombetti, M.: An Operational Approach to Norms in Artificial Institutions. Technical Report 2, Institute for Communication Technologies, Università della Svizzera Italiana (2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Francesco Viganò
    • 1
  • Nicoletta Fornara
    • 1
  • Marco Colombetti
    • 1
    • 2
  1. 1.Università della Svizzera italianaLuganoSwitzerland
  2. 2.Politecnico di MilanoMilanoItaly

Personalised recommendations