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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
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)