Norm-based behaviour modification in BDI agents

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.

[1]  M. Wooldridge,et al.  On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language , 2007, J. Artif. Intell. Res..

[2]  Martin J. Kollingbaum,et al.  Norm Adoption and Consistency in the NoA Agent Architecture , 2003, PROMAS.

[3]  Michael Luck,et al.  Argumentation for normative reasoning , 2008 .

[4]  A. S. Roa,et al.  AgentSpeak(L): BDI agents speak out in a logical computable language , 1996 .

[5]  Javier Vázquez-Salceda,et al.  Norms in multiagent systems: from theory to practice , 2005, Comput. Syst. Sci. Eng..

[6]  Rafael H. Bordini,et al.  Multi-Agent Programming: Languages, Platforms and Applications , 2005, Multi-Agent Programming.

[7]  Ingmar Pörn,et al.  The logic of power , 1970 .

[8]  Michael Luck,et al.  Towards a Monitoring Framework for Agent-Based Contract Systems , 2008, CIA.

[9]  Jürgen Dix,et al.  Multi-Agent Programming: Languages, Tools and Applications , 2009 .

[10]  Julian Padget,et al.  Formalizing a Language for Institutions and Norms , 2001, ATAL.

[11]  Wamberto Weber Vasconcelos,et al.  Resolving conflict and inconsistency in norm-regulated virtual organizations , 2007, AAMAS '07.

[12]  Andrew J. I. Jones,et al.  ‘Ought’ and ‘Must’ , 2004, Synthese.

[13]  Michael Luck,et al.  A normative framework for agent-based systems , 2006, Comput. Math. Organ. Theory.

[14]  Pablo Noriega,et al.  Operationalisation of norms for usage in electronic institutions , 2006, AAMAS '06.

[15]  O. Boissier,et al.  Towards a Formalisation of Electronic Contracting Environments , 2008 .

[16]  Michael Luck,et al.  Leveraging New Plans in AgentSpeak(PL) , 2008, DALT.

[17]  Alessio Lomuscio,et al.  Deontic Interpreted Systems , 2003, Stud Logica.