Integrating Dialectical and Accrual Modes of Argumentation

This paper argues that accrual should be modelled in terms of reasoning about the application of preferences to sets of arguments, and shows how such reasoning can be formalised within metalevel argumentation frameworks. These frameworks adopt the same machinery and level of abstraction as Dung's argumentation framework. We thus provide a dialectical argumentation semantics that integrates accrual, and illustrate our approach by instantiating our framework with the arguments and attacks defined by an object level formalism that accommodates reasoning about priorities over sets of rules.

[1]  Bart Verheij,et al.  Accrual of arguments in defeasible argumentation , 1999 .

[2]  J. Pollock Cognitive Carpentry: A Blueprint for How to Build a Person , 1995 .

[3]  Guillermo Ricardo Simari,et al.  On the accrual of arguments in defeasible logic programming , 2009, IJCAI 2009.

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

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

[6]  Henry Prakken,et al.  Modelling Reasoning with Precedents in a Formal Dialogue Game , 1998 .

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

[8]  Douglas Walton,et al.  Proof Burdens and Standards , 2009, Argumentation in Artificial Intelligence.

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

[10]  Trevor J. M. Bench-Capon,et al.  Metalevel argumentation , 2011, J. Log. Comput..

[11]  John Fox,et al.  A LOGIC OF ARGUMENTATION FOR REASONING UNDER UNCERTAINTY , 1995, Comput. Intell..

[12]  Sanjay Modgil,et al.  Proof Theories and Algorithms for Abstract Argumentation Frameworks , 2009, Argumentation in Artificial Intelligence.

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

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