Expanding Argumentation Frameworks: Enforcing and Monotonicity Results

This paper addresses the problem of revising a Dung-style argumentation framework by adding finitely many new arguments which may interact with old ones. We study the behavior of the extensions of the augmented argumentation frameworks, taking also into account possible changes of the underlying semantics (which may be interpreted as corresponding changes of proof standards). We show both possibility and impossibility results related to the problem of enforcing a desired set of arguments. Furthermore, we prove some monotonicity results for a special class of expansions with respect to the cardinality of the set of extensions and the justification state.

[1]  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..

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

[3]  Guillermo Ricardo Simari,et al.  Argument Theory Change: Revision Upon Warrant , 2008, COMMA.

[4]  Guillermo Ricardo Simari,et al.  Belief dynamics and defeasible argumentation in rational agents , 2004, NMR.

[5]  Pietro Baroni,et al.  On principle-based evaluation of extension-based argumentation semantics , 2007, Artif. Intell..

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

[7]  Trevor J. M. Bench-Capon,et al.  Argumentation and standards of proof , 2007, ICAIL.

[8]  Paolo Mancarella,et al.  A dialectic procedure for sceptical, assumption-based argumentation , 2006, COMMA.

[9]  Pietro Baroni,et al.  Evaluation and comparison criteria for extension-based argumentation semantics , 2006, COMMA.

[10]  Henry Prakken,et al.  Logics for Defeasible Argumentation , 2001 .

[11]  Trevor J. M. Bench-Capon,et al.  Argumentation in artificial intelligence , 2007, Artif. Intell..

[12]  Guido Boella,et al.  Dynamics in argumentation with single extensions: attack refinement and the grounded extension , 2009, AAMAS.

[13]  Claudette Cayrol,et al.  Revision of an Argumentation System , 2008, KR.

[14]  Renata Wassermann,et al.  Full Acceptance through Argumentation -a Preliminary Report , 1999 .