Abstract
Norms play an important role in coordinating, regulating and predicting agents’ behavior in open multi-agent societies. Much work has been done on modeling and developing normative multi-agent systems. Norms in open multi-agent societies are not fixed, they might emerge, change or vanish; therefore agents need a mechanism to adapt their behavior accordingly. Using Event Calculus we propose a formal representation of prohibition and obligation norms. This includes the norm’s context, rewards and sanctions. Using this formalization we propose a technique for BDI agents to reason at run time about their behavior taking into consideration current norms and past actions performed by the agent. In this work, we assume that the best behavior of an agent is the behavior with maximum utility. Our technique has been applied to a simple mining simulation.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
Ramchurn, S.D., Huynh, T.D., Jennings, N.R.: Trust in multi-agent systems. The Knowledge Engineering Review 19(1), 1–25 (2004)
Boella, G., van der Torre, L.: A Game-Theoretic Approach to Normative Multi-Agent Systems. In: Dagstuhl Seminar Proceedings 07122 - Normative Multi-Agent Systems. LZI, Dagstuhl (2007)
Boella, G., van der Torre, L.: Regulative and constitutive norms in normative multi-Agent systems. In: Proceedings of 9th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2004), pp. 255–265. AAAI Press (2004)
Esteva, M., Rodríguez-Aguilar, J.-A., Sierra, C., Garcia, P., Arcos, J.-L.: On the formal specification of electronic institutions. In: Sierra, C., Dignum, F.P.M. (eds.) AgentLink 2000. LNCS (LNAI), vol. 1991, pp. 126–147. Springer, Heidelberg (2001)
Aldewereld, H., Dignum, F., García-Camino, A., Noriega, P., Rodríguez- Aguilar, J.A., Sierra, C.: Operationalisation of norms for usage in electronic institutions. In: Proceedings of the Fifth International Joint Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2006), pp. 223–225. ACM Press, New York (2006)
Castelfranchi, C.: Formalizing the informal?: Dynamic social order, bottom-up social control, and spontaneous normative relations. JAL 1(1-2), 47–92 (2004)
Rao, A.S., Georgeff, M.: BDI Agents: from Theory to Practice. In: Proceedings of the 1st International Conference on Multi-Agent Systems, San Francisco, CA, pp. 312–319 (1995)
d’Inverno, M., Kinny, D., Luck, M., Wooldridge, M.: A formal specification of dMARS. In: Singh, M.P., Rao, A.S., Wooldridge, M. (eds.) ATAL 1997. LNCS, vol. 1365, pp. 155–176. Springer, Heidelberg (1998)
Rao, A.S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Van de Velde, W., Perram, J. (eds.) MAAMAW 1996. LNCS, vol. 1038, pp. 42–55. Springer, Heidelberg (1996)
Dignum, F., Morley, D., Sonenberg, E., Cavedon, L.: Towards socially sophisticated BDI agents. In: Durfee, E. (ed.) Proceedings of the International Conference on Multi-agent Systems (ICMAS 2000), pp. 111–118. IEEE Press (2000)
Bordini, R.H., Hübner, J.F.: BDI Agent Programming in AgentSpeak Using Jason. In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS (LNAI), vol. 3900, pp. 143–164. Springer, Heidelberg (2006)
Bordini, R.H., Huebner, J.F., Wooldridge, M.: Programming Multi-Agent Systems in AgentSpeak using Jason. Wiley (2007)
Kowalski, R.A., Sergot, M.J.: A logic-based calculus of events. New Generation Computing 4(1), 67–95 (1986)
Artikis, A., Kamara, L., Pitt, J., Sergot, M.: 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)
Fornara, N., Colombetti, M.: Specifying artificial institutions in the event calculus. In: Dignum, V. (ed.) Handbook of Research on Multi-agent Systems: Semantics and Dynamics of Organizational Models, pp. 335–366. IGI Global, Hershey (2009)
Soeteman, A.: Pluralism and Law: Amsterdam. In: Proceedings of the 20th IVR World Congress of the International Association for Philosophy of Law and Social Philosophy (IVR), Legal Reasoning, vol. 4, p. 104 (2001)
Alrawagfeh, W., Brown, E., Mata-Montero, M.: Identifying norms of behaviour in multi-agent societies. In: The Seventh Conference of the European Social Simulation Association (ESSA), Montpellier, France, September 19-23 (2011)
Kollingbaum, M.: Norm-governed Practical Reasoning Agents. Ph.D. Dissertation, University of Aberdeen (2005)
Meneguzzi, F., Luck, M.: Norm-based behaviour modification in BDI agents. In: Proceedings of the Eighth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, pp. 177–184 (2009)
Oren, N., Vasconcelos, W., Meneguzzi, F., Luck, M.: Acting on Norm Constrained Plans. In: Leite, J., Torroni, P., Ågotnes, T., Boella, G., van der Torre, L. (eds.) CLIMA XII 2011. LNCS, vol. 6814, pp. 347–363. Springer, Heidelberg (2011)
Alechina, N., Dastani, M., Logan, B.: Programming norm-aware agents. In: Procs. 11th Int’l Conf. on Autonomous Agents & Multiagent Systems (AAMAS 2012), Valencia, Spain, vol. 2, pp. 1057–1064. IFAAMAS (2012)
Dastani, M.: 2APL: A practical agent programming language. Autonomous Agents and Multi-Agent Systems 16(3), 214–248 (2008)
Criado, N., Argente, E., Botti, V.: Rational Strategies for Norm Compliance in the n-BDI Proposal. In: De Vos, M., Fornara, N., Pitt, J.V., Vouros, G. (eds.) COIN 2010. LNCS, vol. 6541, pp. 1–20. Springer, Heidelberg (2011)
Balke, T., De Vos, M., Padget, J.A., Traskas, D.: Normative run-time reasoning for institutionally-situated BDI agents. In: Proceedings - 2011 IEEE/WIC/ACM International Joint Conferences on Web Intelligence and Intelligent Agent Technology, vol. 3, pp. 1–4. IEEE Computer Society, Piscataway (2011)
Panagiotidi, S., Vázquez-Salceda, J.: Towards Practical Normative Agents: A Framework and an Implementation for Norm-Aware Planning. In: Cranefield, S., van Riemsdijk, M.B., Vázquez-Salceda, J., Noriega, P. (eds.) COIN 2011. LNCS, vol. 7254, pp. 93–109. Springer, Heidelberg (2012)
Meneguzzi, F., Vasconcelos, W., Oren, N., Luck, M.: Nu-BDI: Norm-aware BDI Agents. In: Proceedings of the 10th European Workshop on Multi-Agent Systems, Dublin, Ireland (2012)
Alrawagfeh, W., Brown, E., Mata-Montero, M.: Norms of Behaviour and Their Identification and Verification in Open Multi-Agent Societies. International Journal of Agent Technologies and Systems (IJATS) 3(3), 1–16 (2011), doi:10.4018/jats.2011070101.
Savarimuthu, B.T.R.: Mechanisms for norm emergence and norm identification in multi-agent societies (Thesis, Doctor of Philosophy). University of Otago (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Alrawagfeh, W. (2013). Norm Representation and Reasoning: A Formalization in Event Calculus. In: Boella, G., Elkind, E., Savarimuthu, B.T.R., Dignum, F., Purvis, M.K. (eds) PRIMA 2013: Principles and Practice of Multi-Agent Systems. PRIMA 2013. Lecture Notes in Computer Science(), vol 8291. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-44927-7_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-44927-7_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-44926-0
Online ISBN: 978-3-642-44927-7
eBook Packages: Computer ScienceComputer Science (R0)