Advertisement

Norm Representation and Reasoning: A Formalization in Event Calculus

  • Wagdi Alrawagfeh
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8291)

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.

Keywords

Norm-representation normative-reasoning Event Calculus 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Ramchurn, S.D., Huynh, T.D., Jennings, N.R.: Trust in multi-agent systems. The Knowledge Engineering Review 19(1), 1–25 (2004)CrossRefGoogle Scholar
  2. 2.
    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)Google Scholar
  3. 3.
    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)Google Scholar
  4. 4.
    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)CrossRefGoogle Scholar
  5. 5.
    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)CrossRefGoogle Scholar
  6. 6.
    Castelfranchi, C.: Formalizing the informal?: Dynamic social order, bottom-up social control, and spontaneous normative relations. JAL 1(1-2), 47–92 (2004)MathSciNetCrossRefGoogle Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    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)CrossRefGoogle Scholar
  9. 9.
    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)CrossRefGoogle Scholar
  10. 10.
    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)Google Scholar
  11. 11.
    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)CrossRefGoogle Scholar
  12. 12.
    Bordini, R.H., Huebner, J.F., Wooldridge, M.: Programming Multi-Agent Systems in AgentSpeak using Jason. Wiley (2007)Google Scholar
  13. 13.
    Kowalski, R.A., Sergot, M.J.: A logic-based calculus of events. New Generation Computing 4(1), 67–95 (1986)CrossRefGoogle Scholar
  14. 14.
    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)CrossRefGoogle Scholar
  15. 15.
    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)CrossRefGoogle Scholar
  16. 16.
    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)Google Scholar
  17. 17.
    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)Google Scholar
  18. 18.
    Kollingbaum, M.: Norm-governed Practical Reasoning Agents. Ph.D. Dissertation, University of Aberdeen (2005)Google Scholar
  19. 19.
    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)Google Scholar
  20. 20.
    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)CrossRefGoogle Scholar
  21. 21.
    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)Google Scholar
  22. 22.
    Dastani, M.: 2APL: A practical agent programming language. Autonomous Agents and Multi-Agent Systems 16(3), 214–248 (2008)CrossRefGoogle Scholar
  23. 23.
    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)CrossRefGoogle Scholar
  24. 24.
    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)CrossRefGoogle Scholar
  25. 25.
    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)CrossRefGoogle Scholar
  26. 26.
    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)Google Scholar
  27. 27.
    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.CrossRefGoogle Scholar
  28. 28.
    Savarimuthu, B.T.R.: Mechanisms for norm emergence and norm identification in multi-agent societies (Thesis, Doctor of Philosophy). University of Otago (2011)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Wagdi Alrawagfeh
    • 1
  1. 1.Computer Science DepartmentMemorial University of NewfoundlandSt.John’sCanada

Personalised recommendations