Norm-based behaviour modification in BDI agents

ABSTRACT

While there has been much work on developing frameworks and models of norms and normative systems, consideration of the impact of norms on the practical reasoning of agents has attracted less attention. The problem is that traditional agent architectures and their associated languages provide no mechanism to adapt an agent at runtime to norms constraining their behaviour. This is important because if BDI-type agents are to operate in open environments, they need to adapt to changes in the norms that regulate such environments. In response, in this paper we provide a technique to extend BDI agent languages, by enabling them to enact behaviour modification at runtime in response to newly accepted norms. Our solution consists of creating new plans to comply with obligations and suppressing the execution of existing plans that violate prohibitions. We demonstrate the viability of our approach through an implementation of our solution in the AgentSpeak(L) language.

REFERENCES

• 1: Huib Aldewereld , Frank Dignum , Andrés García-Camino , Pablo Noriega , Juan Antonio Rodríguez-Aguilar , Carles Sierra, Operationalisation of norms for usage in electronic institutions, Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems, May 08-12, 2006, Hakodate, Japan [doi>10.1145/1160633.1160669]
• 2: Rafael H. Bordini , Mehdi Dastani , Jrgen Dix , Amal El Fallah Seghrouchni, Multi-Agent Programming: Languages, Tools and Applications, Springer Publishing Company, Incorporated, 2009
• 3: Marc Esteva , Julian A. Padget , Carles Sierra, Formalizing a Language for Institutions and Norms, Revised Papers from the 8th International Workshop on Intelligent Agents VIII, p.348-366, August 01-03, 2001
• 4: Noura Faci , Sanjay Modgil , Nir Oren , Felipe Meneguzzi , Simon Miles , Michael Luck, Towards a Monitoring Framework for Agent-Based Contract Systems, Proceedings of the 12th international workshop on Cooperative Information Agents XII, September 10-12, 2008, Prague, Czech Republic [doi>10.1007/978-3-540-85834-8_23]
• 5: A. J. I. Jones and I. Pörn. 'ought' and 'must'. Synthese, 66(1):89--93, 1986.
• 6: M. J. Kollingbaum and T. J. Norman. Norm adoption and consistency in the NoA agent architecture. In PROMAS 2003, volume 3067 of LNCS, pages 169--186. Springer, 2003.
• 7: A. Lomuscio and M. Sergot. Deontic interpreted systems. Studia Logica, 75(1):63--92, 2003.
• 8: F. Lopez y Lopez, M. Luck, and M. d'Inverno. A normative framework for agent-based systems. In Proc. 1st Int. Symp. on Normative Multi-Agent Systems, 2005.
• 9: Felipe Meneguzzi , Michael Luck, Leveraging New Plans in AgentSpeak(PL), Declarative Agent Languages and Technologies VI: 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers, Springer-Verlag, Berlin, Heidelberg, 2008 [doi>10.1007/978-3-540-93920-7_8]
• 10: N. Oren, M. Luck, and T. J. Norman. Argumentation for normative reasoning. In Proc. Symp. Behaviour Regulation in Multi-Agent Systems, pages 55--60, 2008.
• 11: N. Oren, S. Panagiotidi, J. Vazquez-Salceda, S. Modgil, M. Luck, and S. Miles. Towards a formalisation of electronic contracting environments. In Proc. 12th COIN Workshop, pages 61--68, 2008.
• 12: I. Pörn. Logic of Power. Blackwell Publishers, 1970.
• 13: Anand S. Rao, AgentSpeak(L): BDI agents speak out in a logical computable language, Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away, p.42-55, February 1996, Einhoven, The Netherlands
• 14: Wamberto Vasconcelos , Martin J. Kollingbaum , Timothy J. Norman, Resolving conflict and inconsistency in norm-regulated virtual organizations, Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems, May 14-18, 2007, Honolulu, Hawaii [doi>10.1145/1329125.1329236]
• 15: J. Vázquez-Salceda, H. Aldewereld, and F. Dignum. Norms in multiagent systems: from theory to practice. Computer Systems: Science&Engineering, 20(4), 2005.
• 16: R. Vieira, Á. F. Moreira, M. Wooldridge, and R. H. Bordini. On the formal semantics of speech-act based communication in an agent-oriented programming language. Journal of Artificial Intelligence Research, 29:221--267, 2007.

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
        I.2.11 Distributed Artificial Intelligence

General Terms:
Algorithms, Design, Languages

Keywords:
BDI, norms