Argument and Computation 1 (2):93-124 (2010)
Abstract |
An abstract framework for structured arguments is presented, which instantiates Dung's ('On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming, and n- Person Games', Artificial Intelligence , 77, 321-357) abstract argumentation frameworks. Arguments are defined as inference trees formed by applying two kinds of inference rules: strict and defeasible rules. This naturally leads to three ways of attacking an argument: attacking a premise, attacking a conclusion and attacking an inference. To resolve such attacks, preferences may be used, which leads to three corresponding kinds of defeat: undermining, rebutting and undercutting defeats. The nature of the inference rules, the structure of the logical language on which they operate and the origin of the preferences are, apart from some basic assumptions, left unspecified. The resulting framework integrates work of Pollock, Vreeswijk and others on the structure of arguments and the nature of defeat and extends it in several respects. Various rationality postulates are proved to be satisfied by the framework, and several existing approaches are proved to be a special case of the framework, including assumption-based argumentation and DefLog
|
Keywords | No keywords specified (fix it) |
Categories | (categorize this paper) |
Reprint years | 2011 |
DOI | 10.1080/19462160903564592 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
The Carneades Model of Argument and Burden of Proof.Thomas F. Gordon, Henry Prakken & Douglas Walton - 2007 - Artificial Intelligence 171 (10-15):875-896.
Argument-Based Extended Logic Programming with Defeasible Priorities.Henry Prakken & Giovanni Sartor - 1997 - Journal of Applied Non-Classical Logics 7 (1-2):25-75.
Towards a Formal Account of Reasoning About Evidence: Argumentation Schemes and Generalisations. [REVIEW]Floris Bex, Henry Prakken, Chris Reed & Douglas Walton - 2003 - Artificial Intelligence and Law 11 (2-3):125-165.
View all 8 references / Add more references
Citations of this work BETA
The ASPIC+ Framework for Structured Argumentation: A Tutorial.Sanjay Modgil & Henry Prakken - 2014 - Argument and Computation 5 (1):31-62.
An Arugmentation Framework for Contested Cases of Statutory Interpertation.Douglas Walton, Giovanni Sartor & Fabrizio Macagno - 2016 - Artificial Intelligence and Law 24 (1):51-91.
A Hybrid Formal Theory of Arguments, Stories and Criminal Evidence.Floris J. Bex, Peter J. van Koppen, Henry Prakken & Bart Verheij - 2010 - Artificial Intelligence and Law 18 (2):123-152.
A Methodology for Designing Systems to Reason with Legal Cases Using Abstract Dialectical Frameworks.Latifa Al-Abdulkarim, Katie Atkinson & Trevor Bench-Capon - 2016 - Artificial Intelligence and Law 24 (1):1-49.
Using Argument Schemes for Hypothetical Reasoning in Law.Trevor Bench-Capon & Henry Prakken - 2010 - Artificial Intelligence and Law 18 (2):153-174.
View all 75 citations / Add more citations
Similar books and articles
Relating Carneades with Abstract Argumentation Via the ASPIC+ Framework for Structured Argumentation.Bas van Gijzel & Henry Prakken - 2012 - Argument and Computation 3 (1):21 - 47.
Meta-Argumentation Modelling I: Methodology and Techniques.Dov Guido Boella, Leendert der Torre M. Gabbavany & Serena Villata - forthcoming - Studia Logica.
Modelling Inference in Argumentation Through Labelled Deduction: Formalization and Logical Properties. [REVIEW]Carlos Iván Chesñevar & Guillermo Ricardo Simari - 2007 - Logica Universalis 1 (1):93-124.
Abstract Argumentation.Robert A. Kowalski & Francesca Toni - 1996 - Artificial Intelligence and Law 4 (3-4):275-296.
A Dialectical Model of Assessing Conflicting Arguments in Legal Reasoning.H. Prakken & G. Sartor - 1996 - Artificial Intelligence and Law 4 (3-4):331-368.
Dialectical Argumentation with Argumentation Schemes: An Approach to Legal Logic. [REVIEW]Bart Verheij - 2003 - Artificial Intelligence and Law 11 (2-3):167-195.
Logical Relations in a Statistical Problem.Jon Williamson, Jan-Willem Romeijn, Rolf Haenni & Gregory Wheeler - 2008 - In Benedikt Lowe, Jan-Willem Romeijn & Eric Pacuit (eds.), Foundations of the Formal Sciences Vi: Probabilistic Reasoning and Reasoning With Probabilities. Studies in Logic. College Publications.
Analytics
Added to PP index
2010-08-11
Total views
104 ( #94,524 of 2,404,241 )
Recent downloads (6 months)
5 ( #155,772 of 2,404,241 )
2010-08-11
Total views
104 ( #94,524 of 2,404,241 )
Recent downloads (6 months)
5 ( #155,772 of 2,404,241 )
How can I increase my downloads?
Downloads