Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Dignum, F.: Autonomous Agents with Norms. A. I. & Law 7, 69–79 (1999)
López y López, F., Luck, M., d’Inverno, M.: Constraining Autonomy Through Norms. In: Procs. AAMAS 2002. ACM Press, New York (2002)
Verhagen, H.: Norm Autonomous Agents. PhD thesis, Stockholm University (2000)
Sergot, M.: A Computational Theory of Normative Positions. ACM Trans. Comput. Logic 2 (2001)
Esteva, M.: Electronic Institutions: from Specification to Development. PhD thesis, Universitat Politècnica de Catalunya (UPC), IIIA monography Vol. 19 (2003)
Carriero, N., Gelernter, D.: Linda in Context. Comm. of the ACM 32 (1989)
Apt, K.R.: From Logic Programming to Prolog. Prentice-Hall, UK (1997)
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)
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)
Jaffar, J., Maher, M.J., Marriott, K., Stuckey, P.J.: The Semantics of Constraint Logic Programs. Journal of Logic Programming 37, 1–46 (1998)
Holzbaur, C.: ÖFAI clp(q, r) Manual, Edition 1.3.3. TR-95-09, Austrian Research Institute for Artificial Intelligence, Vienna, Austria (1995)
Fitting, M.: First-Order Logic and Automated Theorem Proving. Springer, New York (1990)
Kramer, B., Mylopoulos, J.: Knowledge Representation. In: Shapiro, S.C. (ed.) Encyclopedia of Artificial Intelligence, vol. 1. John Wiley & Sons, Chichester (1992)
Russell, S.J., Norvig, P.: Artificial Intelligence: A Modern Approach, 2nd edn. Prentice Hall, Inc., USA (2003)
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)
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)
Tuomela, R., Bonnevier-Tuomela, M.: Norms and Agreement. European Journal of Law, Philosophy and Computer Science 5, 41–46 (1995)
Walker, A., Wooldridge, M.: Understanding the emergence of conventions in multiagent systems. In: Procs. ICMAS 2005, San Francisco, USA (2005)
Shoham, Y., Tennenholtz, M.: On Social Laws for Artificial Agent Societies: Offline Design. Artificial Intelligence 73, 231–252 (1995)
von Wright, G.: Norm and Action: A Logical Inquiry. Routledge and Kegan Paul, London (1963)
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)
Lomuscio, A., Nute, D. (eds.): DEON 2004. LNCS (LNAI), vol. 3065. Springer, Heidelberg (2004)
Boella, G., van der Torre, L.: Permission and Obligations in Hierarchical Normative Systems. In: Procs. ICAIL 2003. ACM Press, New York (2003)
Vázquez-Salceda, J., Aldewereld, H., Dignum, F.: MATES 2004. LNCS (LNAI), vol. 3187, pp. 313–327. Springer, Heidelberg (2004)
Fornara, N., Viganò, F., Colombetti, M.: A Communicative Act Library in the Context of Artificial Institutions. In: Procs. EUMAS (2004)
Vázquez-Salceda, J., Aldewereld, H., Dignum, F.: Norms in Multiagent Systems: Some Implementation Guidelines. In: Procs. EUMAS (2004)
López y López, F., Luck, M.: RASTA 2002. LNCS (LNAI), vol. 2934. Springer, Heidelberg (2004)
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)
Michael, L., Parkes, D.C., Pfeffer, A.: Specifying and monitoring market mechanisms using rights and obligations. In: Proc. AMEC VI (2004)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
García-Camino, A., Rodríguez-Aguilar, J.A., Sierra, C., Vasconcelos, W. (2006). A Distributed Architecture for Norm-Aware Agent Societies. In: Baldoni, M., Endriss, U., Omicini, A., Torroni, P. (eds) Declarative Agent Languages and Technologies III. DALT 2005. Lecture Notes in Computer Science(), vol 3904. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11691792_6
Download citation
DOI: https://doi.org/10.1007/11691792_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-33106-3
Online ISBN: 978-3-540-33107-0
eBook Packages: Computer ScienceComputer Science (R0)