Abstract
The behaviour of a norm-driven agent is governed by obligations, permissions and prohibitions. Agents joining a society or accepting a contract for the purpose of executing specific collaborative tasks usually have to adopt norms representing certain rules and regulations. Adoption of norms can cause problems – an agent maybe already hold norms that would be in conflict or inconsistent with new norms it adopts. How can it be shown that the set of norms is consistent to allow the agent to act according to the ideals that the norms specify? In general, the answer to such a question in a real-world situation is not simple. This paper addresses the problem of finding a pragmatic solution to the problem of norm consistency checking for practical reasoning agents in the context of the NoA Normative Agent Architecture.
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
Broersen, J., Dastani, M., Hulstijn, J., Huang, Z., van der Torre, L.: The BOID architecture: conflicts between beliefs, obligations, intentions and desires. In: Proceedings of Autonomous Agents 2001, pp. 9–16 (2001)
Castelfranchi, C., Dignum, F., Jonker, C., Treur, J.: Deliberate normative Agents: Principles and Architecture. In: Jennings, N.R. (ed.) ATAL 1999. LNCS, vol. 1757, pp. 364–378. Springer, Heidelberg (2000)
Dastani, M., van der Torre, L.: What is a normative Goal. In: Proceedings of International Workshop on Regulated Agent-based Social Systems: Theories and Applications. AAMAS Workshop (2002)
d’Inverno, M., Luck, M.: Engineering AgentSpeak(L): A formal computational model. Journal of Logic and Computation 8(3), 233–260 (1998)
Firby, R.J.: An investigation into reactive planning in complex domains. In: Proceedings of the National Conference on Artificial Intellgence (AAAI 1987), pp. 809–815 (1987)
Forgy, C.L.: Rete: A Fast Algorithm for the Many Pattern / Many Object Pattern Match Problem. Artificial Intelligence 19, 17–37 (1982)
Georgeff, M.P., Lansky, A.: Reactive Reasoning and Planning. In: Proceedings of the National Conference on Artificial Intellgence (AAAI 1987), pp. 677–682 (1987)
Ghallab, M., Howe, A., Knoblock, G., McDermott, D., Ram, A., Veloso, M., Weld, D., Wilkins, D.: PDDL – The Planning Domain Definition Language, Tech Report CVC TR-98-003/DCS TR-1165, Yale Center for Computational Vision and Control (1998)
Huber, M.J.: JAM: A BDI-theoretic mobile agent architecture. In: Proceedings of the Third International Conference on Autonomous Agents (Agents 1999), pp. 236–243 (1999)
Jones, A.J.I., Sergot, M.: On the Characterisation of Law and Computer Systems: The Normative Systems Perspective. In: Meyer, J.-J.C., Wieringa, R.J. (eds.) Deontic Logic in Computer Science: Normative System Specification, Wiley, Chichester (1992)
Jones, A.J.I., Sergot, M.: A Formal Characterisation of Institutionalised Power. Journal of the IGPL 4(3), 429–445 (1996)
Kollingbaum, M.J., Norman, T.J.: Supervised Interaction - Creating a Web of Trust for Contracting Agents in Electronic Environments. In: Castelfranchi, C., Johnson, W. (eds.) Proceedings of the First International Joint Conference on Autonomous Agents and Mulit-Agent Systems, Bologna, Italy, pp. 272–279. ACM Press, New York (2002)
Kollingbaum, M.J., Norman, T.J.: A Contract Management Framework for Supervised Interaction. In: UKMAS 2002, Liverpool (December 2002)
Kollingbaum, M.J., Norman, T.J.: Supervised Interaction - A Form of Contract Management to create Trust between Agents. In: Falcone, R., Barber, S.K., Korba, L., Singh, M.P. (eds.) AAMAS 2002. LNCS (LNAI), vol. 2631, pp. 108–122. Springer, Heidelberg (2003)
Lopez, F., Luck, M., d’Inverno, M.: Constraining autonomy through norms. In: Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 647–681 (2002)
Machado, R., Bordini, R.H.: Running AgentSpeak(L) agents on SIM_AGENT. In: d’Inverno, M., Luck, M. (eds.) Working Notes of the Fourth UK Workshop on Multi-Agent Systems (UKMAS 2001), December 13-14, St. Catherine’s College, Oxford (2001)
Norman, T.J., Long, D.P.: Goal Creation in motivated Agents. In: Wooldridge, M.J., Jennings, N.R. (eds.) ECAI 1994 and ATAL 1994. LNCS, vol. 890, Springer, Heidelberg (1995)
Norman, T.J., Reed, C.A.: Delegation and responsibility. In: Castelfranchi, C., Lespérance, Y. (eds.) ATAL 2000. LNCS (LNAI), vol. 1986, pp. 136–149. Springer, Heidelberg (2001)
Pacheco, O., Carmo, J.: A Role Based Model for the Normative Specification of Organized Collective Agency and Agents Interaction. Journal of Autonomous Agents and Multi-Agent Systems 6(2), 145–184 (2001)
Rao, A.S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Van de Velde, W., Perram, J.W. (eds.) MAAMAW 1996. LNCS, vol. 1038, pp. 42–55. Springer, Heidelberg (1996)
Wooldridge, M.J.: An Introduction to Multi-Agent Systems. Wiley, Chichester (2002)
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
Kollingbaum, M.J., Norman, T.J. (2004). Norm Adoption and Consistency in the NoA Agent Architecture. In: Dastani, M.M., Dix, J., El Fallah-Seghrouchni, A. (eds) Programming Multi-Agent Systems. ProMAS 2003. Lecture Notes in Computer Science(), vol 3067. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25936-7_9
Download citation
DOI: https://doi.org/10.1007/978-3-540-25936-7_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22180-7
Online ISBN: 978-3-540-25936-7
eBook Packages: Springer Book Archive