An Argumentation Inspired Heuristic for Resolving Normative Conflict

In multi-agent systems, norms provide a means for regulating agent behaviour at a system or society level rather than by constraining agent behaviour directly. In order to cope effectively with scenarios in which norms conflict, agents must be able to reason about norms and the consequences of compliance and violation. In particular, in this paper we argue that, if an agent must violate a norm (because norms conflict, for example) then it should determine which norm to violate in such a way that enables it to otherwise maximise its compliance with the remaining set of applicable norms. This concept of maximising compliance and minimising violation or conflict is similar to the notion of preferred exten- sions from argument theory, which provides a potentially valuable way to anal- yse sets of norms to determine which norms to violate. In this paper, therefore, we map normative structures to argument theory, and show how some resulting heuristics may be applied to minimising normative conflict.

[1]  Anand S. Rao,et al.  Modeling Rational Agents within a BDI-Architecture , 1997, KR.

[2]  Moshe Tennenholtz,et al.  Artificial Social Systems , 1992, Lecture Notes in Computer Science.

[3]  Phan Minh Dung,et al.  On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games , 1995, Artif. Intell..

[4]  John F. Horty,et al.  Nonmonotonic Foundations for Deontic Logic , 1997 .

[5]  Nicholas R. Jennings,et al.  Modelling Sociality in the BDI Framework , 1999 .

[6]  Frank Dignum,et al.  Towards socially sophisticated BDI agents , 2000, Proceedings Fourth International Conference on MultiAgent Systems.

[7]  Trevor J. M. Bench-Capon,et al.  Coherence in finite argument systems , 2002, Artif. Intell..

[8]  Trevor J. M. Bench-Capon Value-based argumentation frameworks , 2002, NMR.

[9]  Fabiola López y López,et al.  Social power and norms : impact on agent behaviour , 2003 .

[10]  Pietro Baroni,et al.  Solving Semantic Problems with Odd-Length Cycles in Argumentation , 2003, ECSQARU.

[11]  Fabiola. LoÌpez y LoÌpez Social power and norms : impact on agent behaviour , 2003 .

[12]  John F. Horty,et al.  Agency and obligation , 1996, Synthese.

[13]  Pierre Marquis,et al.  Prudent semantics for argumentation frameworks , 2005, 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'05).

[14]  Henry Prakken,et al.  A study of accrual of arguments, with applications to evidential reasoning , 2005, ICAIL '05.

[15]  Bart Verheij,et al.  A Labeling Approach to the Computation of Credulous Acceptance in Argumentation , 2007, IJCAI.

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

[17]  Nir Oren,et al.  An argumentation framework supporting evidential reasoning with applications to contract monitoring , 2007 .