A Distributed Architecture for Norm-Aware Agent Societies

  • A. García-Camino
  • J. A. Rodríguez-Aguilar
  • C. Sierra
  • W. Vasconcelos
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3904)


We propose a distributed architecture to endow multi-agent systems with a social layer in which normative positions are explicitly represented and managed via rules. Our rules operate on a representation of the states of affairs of a multi-agent system. We define the syntax and semantics of our rules and an interpreter; we achieve greater precision and expressiveness by allowing constraints to be part of our rules. We show how the rules and states come together in a distributed architecture in which a team of administrative agents employ a tuple space to guide the execution of a multi-agent system.


Logic Program Institutional State Multiagent System Atomic Formula Governor Agent 
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.
    Dignum, F.: Autonomous Agents with Norms. A. I. & Law 7, 69–79 (1999)Google Scholar
  2. 2.
    López y López, F., Luck, M., d’Inverno, M.: Constraining Autonomy Through Norms. In: Procs. AAMAS 2002. ACM Press, New York (2002)Google Scholar
  3. 3.
    Verhagen, H.: Norm Autonomous Agents. PhD thesis, Stockholm University (2000)Google Scholar
  4. 4.
    Sergot, M.: A Computational Theory of Normative Positions. ACM Trans. Comput. Logic 2 (2001)Google Scholar
  5. 5.
    Esteva, M.: Electronic Institutions: from Specification to Development. PhD thesis, Universitat Politècnica de Catalunya (UPC), IIIA monography Vol. 19 (2003)Google Scholar
  6. 6.
    Carriero, N., Gelernter, D.: Linda in Context. Comm. of the ACM 32 (1989)Google Scholar
  7. 7.
    Apt, K.R.: From Logic Programming to Prolog. Prentice-Hall, UK (1997)Google Scholar
  8. 8.
    Vasconcelos, W.W., Robertson, D., Sierra, C., Esteva, M., Sabater, J., Wooldridge, M.: Rapid Prototyping of Large Multi-Agent Systems through Logic Programming. Annals of Mathematics and Artificial Intelligence 41, 135–169 (2004)CrossRefMATHGoogle Scholar
  9. 9.
    Swedish Institute of Computer Science: SICStus Prolog (2005) http://www.sicsse/isl/sicstuswww/site/index.html (viewed on 10 February 2005 at 18.16 GMT) Google Scholar
  10. 10.
    Jaffar, J., Maher, M.J., Marriott, K., Stuckey, P.J.: The Semantics of Constraint Logic Programs. Journal of Logic Programming 37, 1–46 (1998)MathSciNetCrossRefMATHGoogle Scholar
  11. 11.
    Holzbaur, C.: ÖFAI clp(q, r) Manual, Edition 1.3.3. TR-95-09, Austrian Research Institute for Artificial Intelligence, Vienna, Austria (1995)Google Scholar
  12. 12.
    Fitting, M.: First-Order Logic and Automated Theorem Proving. Springer, New York (1990)CrossRefMATHGoogle Scholar
  13. 13.
    Kramer, B., Mylopoulos, J.: Knowledge Representation. In: Shapiro, S.C. (ed.) Encyclopedia of Artificial Intelligence, vol. 1. John Wiley & Sons, Chichester (1992)Google Scholar
  14. 14.
    Russell, S.J., Norvig, P.: Artificial Intelligence: A Modern Approach, 2nd edn. Prentice Hall, Inc., USA (2003)MATHGoogle Scholar
  15. 15.
    Conte, R., Castelfranchi, C.: Understanding the Functions of Norms in Social Groups through Simulation. In: Artificial Societies, The Computer Simulation of Social Life. UCL Press, London (1995)Google Scholar
  16. 16.
    Conte, R., Castelfranchi, C.: Norms as Mental Objects: From Normative Beliefs to Normative Goals. In: Müller, J.P., Castelfranchi, C. (eds.) MAAMAW 1993. LNCS, vol. 957, Springer, Heidelberg (1995)CrossRefGoogle Scholar
  17. 17.
    Tuomela, R., Bonnevier-Tuomela, M.: Norms and Agreement. European Journal of Law, Philosophy and Computer Science 5, 41–46 (1995)Google Scholar
  18. 18.
    Walker, A., Wooldridge, M.: Understanding the emergence of conventions in multiagent systems. In: Procs. ICMAS 2005, San Francisco, USA (2005)Google Scholar
  19. 19.
    Shoham, Y., Tennenholtz, M.: On Social Laws for Artificial Agent Societies: Offline Design. Artificial Intelligence 73, 231–252 (1995)CrossRefGoogle Scholar
  20. 20.
    von Wright, G.: Norm and Action: A Logical Inquiry. Routledge and Kegan Paul, London (1963)Google Scholar
  21. 21.
    Alchourron, C., Bulygin, E.: The Expressive Conception of Norms. In: Hilpinen, R. (ed.) New Studies in Deontic Logics, London, D. Reidel, pp. 95–124 (1981)Google Scholar
  22. 22.
    Lomuscio, A., Nute, D. (eds.): DEON 2004. LNCS (LNAI), vol. 3065. Springer, Heidelberg (2004)MATHGoogle Scholar
  23. 23.
    Boella, G., van der Torre, L.: Permission and Obligations in Hierarchical Normative Systems. In: Procs. ICAIL 2003. ACM Press, New York (2003)Google Scholar
  24. 24.
    Vázquez-Salceda, J., Aldewereld, H., Dignum, F.: MATES 2004. LNCS (LNAI), vol. 3187, pp. 313–327. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  25. 25.
    Fornara, N., Viganò, F., Colombetti, M.: A Communicative Act Library in the Context of Artificial Institutions. In: Procs. EUMAS (2004)Google Scholar
  26. 26.
    Vázquez-Salceda, J., Aldewereld, H., Dignum, F.: Norms in Multiagent Systems: Some Implementation Guidelines. In: Procs. EUMAS (2004)Google Scholar
  27. 27.
    López y López, F., Luck, M.: RASTA 2002. LNCS (LNAI), vol. 2934. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  28. 28.
    Artikis, A., Kamara, L., Pitt, J., Sergot, M.J.: A protocol for resource sharing in norm-governed ad hoc networks. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol. 3476, pp. 221–238. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  29. 29.
    Michael, L., Parkes, D.C., Pfeffer, A.: Specifying and monitoring market mechanisms using rights and obligations. In: Proc. AMEC VI (2004)Google Scholar
  30. 30.
    Vasconcelos, W.W.: Norm verification and analysis of electronic institutions. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol. 3476, pp. 166–182. Springer, Heidelberg (2005)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • A. García-Camino
    • 1
  • J. A. Rodríguez-Aguilar
    • 1
  • C. Sierra
    • 1
  • W. Vasconcelos
    • 2
  1. 1.CSICInstitut d’Investigació en Intelligència ArtificialBellaterra, CatalunyaSpain
  2. 2.Dept. of Computing ScienceUniv. of AberdeenAberdeenUK

Personalised recommendations