Abstract
There is a wide agreement on the use of norms in order to specify the expected behaviour of agents in open MAS. However, current norm formalisms focus on the declarative nature of norms. In order to be implemented, these norms should be translated into operational representations. In this paper we present our preliminary work on implementation of norm enforcement and issues on verifiability that highly affect this enforcement. We propose some mechanisms to be included in agent platforms in order to ease the implementation.
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
Artikis, A.: Executable Specification of Open Norm-Governed Computational Systems. PhD thesis, Department of Electrical & Electronic Engineering, Imperial College London (November 2003)
Boella, G., van der Torre, L.: Fulfilling or violating norms in normative multiagent systems. In: Proceedings of IAT 2004, IEEE, Los Alamitos (2004)
Boella, G., van der Torre, L.: Normative multiagent systems. In: Proceedings of Trust in Agent Societies Workshop at AAMAS 2004, New York (2004)
Broersen, J., Dignum, F., Dignum, V., Ch, J.-J.: Designing a Deontic Logic of Deadlines. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS (LNAI), vol. 3065, pp. 43–56. Springer, Heidelberg (2004)
Castelfranchi, C.: Formalizing the informal?: Dynamic social order, bottom-up social control, and spontaneous normative relations. Journal of Applied Logic 1(1-2), 47–92 (2003)
Castelfranchi, C., Dignum, F., Jonker, C., Treur, J.: Deliberative normative agents: Principles and architectures. In: Jennings, N., Lesperance, Y. (eds.) ATAL 1999. LNCS(LNAI), vol. 1757, pp. 364–378. Springer, Heidelberg (2000)
Dignum, F., Broersen, J., Dignum, V., Meyer, J.-J.C.: Meeting the deadline: Why, when and how. In: Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C.A. (eds.) FAABS 2004. LNCS(LNAI), vol. 3228, pp. 30–40. Springer, Heidelberg (2004)
Dignum, F., Kinny, D., Sonenberg, L.: From Desires, Obligations and Norms to Goals. Cognitive Science Quarterly 2(3-4), 407–430 (2002)
Dignum, V., Dignum, F.: Modeling agent societies: Coordination frameworks and institutions. In: Brazdil, P.B., Jorge, A.M. (eds.) EPIA 2001. LNCS(LNAI), vol. 2258, pp. 191–204. Springer, Heidelberg (2001)
Dignum, V., Meyer, J.-J.C., Dignum, F., Weigand, H.: Formal Specification of Interaction in Agent Societies. In: Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C.A., Gordon-Spears, D.F. (eds.) FAABS 2002. LNCS(LNAI), vol. 2699, pp. 37–52. Springer, Heidelberg (2002)
Esteva, M., Padget, J., Sierra, C.: Formalizing a language for institutions and norms. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS(LNAI), vol. 2333, pp. 348–366. Springer, Heidelberg (2001)
Esteva, M., Rodríguez-Aguilar, J.A., Rosell, B., Arcos, J.L.: AMELI: An Agentbased Middleware for Electronic Institutions. In: Third International Joint Conference on Autonomous Agents and Multi-agent Systems, New York, US (July 2004)
A Logical Framework for Ethical Behaviour between Infohabitants in the InformationTrading Economy of the Universal Information Ecosystem (ALFEBIITE), http://www.iis.ee.ic.ac.uk/~alfebiite/ab-home.htm
Lomuscio, A., Nute, D. (eds.): DEON 2004. LNCS (LNAI), vol. 3065. Springer, Heidelberg (2004)
López y Lopez, F.: Towards a Model of the Dynamics of Normative Multi-Agent Systems. In: Karlsson, R., Lingas, A. (eds.) SWAT 1988. LNCS, vol. 318, pp. 175–194. Springer, Heidelberg (1988)
López, F., Lopez, y., Luck, M., d’Inverno, M.: A framework for norm-based interagent dependence. In: Proceedings of The Third Mexican International Conference on Computer Science, SMCC-INEGI, pp. 31–40 (2001)
Noriega, P.: Agent-Mediated Auctions: The Fishmarket Metaphor. PhD thesis, Inst. d’Investigació en Intel.ligència Artificial (1997)
Rodriguez, J.A.: On the Design and Construction of Agent-mediated Electronic Institutions. PhD thesis, Inst. d’Investigació en Intel.ligència Artificial (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Vázquez-Salceda, J., Aldewereld, H., Dignum, F. (2004). Implementing Norms in Multiagent Systems. In: Lindemann, G., Denzinger, J., Timm, I.J., Unland, R. (eds) Multiagent System Technologies. MATES 2004. Lecture Notes in Computer Science(), vol 3187. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30082-3_23
Download citation
DOI: https://doi.org/10.1007/978-3-540-30082-3_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23222-3
Online ISBN: 978-3-540-30082-3
eBook Packages: Springer Book Archive