Computation with varied-strength attacks in abstract argumentation frameworks

In abstract frameworks with varied strength attacks (AFV), arguments may attack each other with different strength. An admissible scenario is an admissible set of arguments fulfilling certain strength conditions about defences. In this work we analyze the computational complexity of some decision problems related to the quality of admissible scenarios: checking the property of being top-admissible and the property of being equilibrated. These problems are implying an exhaustive comparison between scenarios, and both of them are shown to be coNP-complete.

[1]  Paolo Mancarella,et al.  The Acceptability Semantics for Logic Programs , 1994, ICLP.

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

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

[4]  S. Toulmin.  The uses of argument , 1960 .

[5]  Dov M. Gabbay,et al.  Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology , 2005, Mechanizing Mathematical Reasoning.

[6]  Paul E. Dunne,et al.  Semi-stable semantics , 2006, J. Log. Comput..

[7]  Paolo Mancarella,et al.  Computing ideal sceptical argumentation , 2007, Artif. Intell..

[8]  Trevor J. M. Bench-Capon.  Persuasion in Practical Argument Using Value-based Argumentation Frameworks , 2003, J. Log. Comput..

[9]  Paul E. Dunne,et al.  Computational properties of argument systems satisfying graph-theoretic constraints , 2007, Artif. Intell..

[10]  Michael Wooldridge,et al.  Inconsistency tolerance in weighted argument systems , 2009, AAMAS.

[11]  Sanjay Modgil,et al.  Reasoning about preferences in argumentation frameworks , 2009, Artif. Intell..

[12]  Guillermo Ricardo Simari,et al.  An Abstract Argumentation Framework with Varied-Strength Attacks , 2008, KR.

[13]  Claudette Cayrol,et al.  A Reasoning Model Based on the Production of Acceptable Arguments , 2002, Annals of Mathematics and Artificial Intelligence.

[14]  Pietro Baroni,et al.  Semantics of Abstract Argument Systems , 2009, Argumentation in Artificial Intelligence.