Abstract
Norms have been used in multi-agent systems as a standard description of agents’ behaviors. A lot of effort has been put into formalizing norms and utilizing them in agent decision making. Such work focuses mostly on two types of norms: prohibitions and obligations; with the unstated assumption that agents are completely aware of all norms. However, agents may have incomplete knowledge about norms in a system for several reasons such as deficient norm identification or because norms are not fixed. In this work we argue that, by assuming that agents do not have complete knowledge of the norms within a system, permission norms are fundamental for modeling unknown normative states. Using Event Calculus (EC), we propose a formal representation of permission norms and we show how to use it in agent normative practical reasoning. We implement a simple mineral mining scenario to demonstrate our work.
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
References
Aldewereld, H., Dignum, F.P.M., García-Camino, A., Noriega, P., Rodríguez-Aguilar, J.-A., Sierra, C.: Operationalisation of norms for electronic institutions. In: Noriega, P., Vázquez-Salceda, J., Boella, G., Boissier, O., Dignum, V., Fornara, N., Matson, E. (eds.) COIN 2006. LNCS (LNAI), vol. 4386, pp. 163–176. Springer, Heidelberg (2007). http://dx.doi.org/10.1007/978-3-540-74459-7_11
Alechina, N., Dastani, M., Logan, B.: Programming norm-aware agents. In: Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems, vol. 2, pp. 1057–1064. International Foundation for Autonomous Agents and Multiagent Systems, Richland (2012). http://dl.acm.org/citation.cfm?id=2343776.2343848
Alrawagfeh, W.: 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. LNCS, vol. 8291, pp. 5–20. Springer, Heidelberg (2013). http://dx.doi.org/10.1007/978-3-642-44927-7_2
Alrawagfeh, W., Brown, E., Mata-Montero, M.: Norms of behaviour and their identification and verification in open multi-agent societies. Int. J. Agent Technol. Syst. (IJATS) 3(3), 1–16 (2011)
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, I. (eds.) DALT 2004. LNCS (LNAI), vol. 3476, pp. 221–238. Springer, Heidelberg (2005). http://dx.doi.org/10.1007/11493402_13
Bordini, R.H., Hübner, J.F.: BDI agent programming in AgentSpeak using Jason (Tutorial Paper). In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS (LNAI), vol. 3900, pp. 143–164. Springer, Heidelberg (2006). http://dx.doi.org/10.1007/11750734_9
Bordini, R.H., Hübner, J.F., Wooldridge, M.: Programming Multi-agent Systems in AgentSpeak Using Jason. Wiley, Chichester (2007)
Bratman, M.: Intention, Plans, and Practical Reason. Harvard University Press, Cambridge (1987)
Castelfranchi, C.: Formalising the informal? dynamic social order, bottom-up social control, and spontaneous normative relations. J. Appl. Log. 1(1), 47–92 (2003)
Criado, N., Argente, E., Noriega, P., Botti, V.J.: Towards a normative BDI architecture for norm compliance. In: Fornara, N., Vouros, G. (eds.) 11th International Workshop on Coordination, Organization, Institutions and Norms in Multi-Agent Systems, 30 August 2010, pp. 65–81. Springer, Berlin (2010)
Dignum, F., Morley, D., Sonenberg, E.A., Cavedon, L.: Towards socially sophisticated BDI agents. In: Proceedings of the Fourth International Conference on Multi-agent Systems (ICMAS-2000), pp. 111–118. IEEE Press, Los Alamitos (2000)
d’Inverno, M., Kinny, D., Luck, M., Wooldridge, M.: A formal specification of dMARS. In: Singh, M.P., Rao, A.S., Wooldridge, M. (eds.) Agent Theories, Architectures, and Languages. LNCS, vol. 1365, pp. 155–176. Springer, Berlin (1998)
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). http://dx.doi.org/10.1007/3-540-44682-6_8
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, Pennsylvania (2009)
Hermoso, R., Billhardt, H., Ossowski, S.: Role evolution in open multi-agent systems as an information source for trust. In: Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems, vol. 1, pp. 217–224 (2010), http://dl.acm.org/citation.cfm?id=1838206.1838237
Hübner, J.F., Boissier, O., Kitio, R., Ricci, A.: Instrumenting multi-agent organisations with organisational artifacts and agents. Auton. Agents Multi-agent Syst. 20(3), 369–400 (2010). http://dx.doi.org/10.1007/s10458-009-9084-y
Kollingbaum, M.: Norm-governed practical reasoning agents. Ph.D. thesis, University of Aberdeen (2005)
Kowalski, R., Sergot, M.: A logic-based calculus of events. In: Schmidt, J., Thanos, C. (eds.) Foundations of Knowledge Base Management. Topics in Information Systems, pp. 23–55. Springer, Berlin (1989). http://dx.doi.org/10.1007/978-3-642-83397-7_2
Meneguzzi, F., Luck, M.: Norm-based behaviour modification in BDI agents. In: Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems, vol. 1, pp. 177–184. International Foundation for Autonomous Agents and Multiagent Systems, Richland (2009). http://dl.acm.org/citation.cfm?id=1558013.1558037
Meneguzzi, F., Vasconcelos, W., Oren, N., Luck, M.: Nu-BDI: norm-aware BDI agents. In: The 10th European Workshop on Multi-agent Systems (EUMAS), London, UK (2012)
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). http://dx.doi.org/10.1007/978-3-642-22359-4_24
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). http://dx.doi.org/10.1007/978-3-642-35545-5_6
Pitt, J., Busquets, D., Riveret, R.: The pursuit of computational justice in open systems. AI SOC. 1–20 (2013). http://dx.doi.org/10.1007/s00146-013-0531-6
Rao, A.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS, vol. 1038, pp. 42–55. Springer, Heidelberg (1996). http://dx.doi.org/10.1007/BFb0031845
Royakkers, L.M.M.: Giving permission implies giving choice. In: 8th International Workshop on Database and Expert Systems Applications, pp. 198–203. IEEE Press, Los Alamitos, September 1997
Savarimuthu, B.T.R.: Mechanisms for norm emergence and norm identification in multi-agent societies. Ph.D. thesis, University of Otago (2011)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Alrawagfeh, W., Meneguzzi, F. (2015). Utilizing Permission Norms in BDI Practical Normative Reasoning. In: Ghose, A., Oren, N., Telang, P., Thangarajah, J. (eds) Coordination, Organizations, Institutions, and Norms in Agent Systems X. COIN 2014. Lecture Notes in Computer Science(), vol 9372. Springer, Cham. https://doi.org/10.1007/978-3-319-25420-3_1
Download citation
DOI: https://doi.org/10.1007/978-3-319-25420-3_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-25419-7
Online ISBN: 978-3-319-25420-3
eBook Packages: Computer ScienceComputer Science (R0)