Graduate studies at Western
Artificial Intelligence and Law 4 (3-4):275-296 (1996)
|Abstract||In this paper we explore the thesis that the role of argumentation in practical reasoning in general and legal reasoning in particular is to justify the use of defeasible rules to derive a conclusion in preference to the use of other defeasible rules to derive a conflicting conclusion. The defeasibility of rules is expressed by means of non-provability claims as additional conditions of the rules.We outline an abstract approach to defeasible reasoning and argumentation which includes many existing formalisms, including default logic, extended logic programming, non-monotonic modal logic and auto-epistemic logic, as special cases. We show, in particular, that the admissibility semantics for all these formalisms has a natural argumentation-theoretic interpretation and proof procedure, which seem to correspond well with informal argumentation.|
|Keywords||argumentation default reasoning priority|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Aleksander Peczenik (1996). Jumps and Logic in the Law. Artificial Intelligence and Law 4 (3-4):297-329.
Carlos Iván Chesñevar & Guillermo Ricardo Simari (2007). Modelling Inference in Argumentation Through Labelled Deduction: Formalization and Logical Properties. [REVIEW] Logica Universalis 1 (1):93-124.
Douglas Walton (2011). Defeasible Reasoning and Informal Fallacies. Synthese 179 (3):377 - 407.
Martin W. A. Caminada & Dov M. Gabbay (2009). A Logical Account of Formal Argumentation. Studia Logica 93 (2/3):109 - 145.
Yining Wu, Martin Caminada & Dov M. Gabbay (2009). Complete Extensions in Argumentation Coincide with 3-Valued Stable Models in Logic Programming. Studia Logica 93 (2/3):383 - 403.
Henry Prakken (1996). Two Approaches to the Formalisation of Defeasible Deontic Reasoning. Studia Logica 57 (1):73 - 90.
Floris Bex, Henry Prakken, Chris Reed & Douglas Walton (2003). Towards a Formal Account of Reasoning About Evidence: Argumentation Schemes and Generalisations. [REVIEW] Artificial Intelligence and Law 11 (2-3):125-165.
Henry Prakken (2011). An Abstract Framework for Argumentation with Structured Arguments. Argument and Computation 1 (2):93-124.
Robert L. Causey (2003). Computational Dialogic Defeasible Reasoning. Argumentation 17 (4):421-450.
Bart Verheij (2003). Dialectical Argumentation with Argumentation Schemes: An Approach to Legal Logic. [REVIEW] Artificial Intelligence and Law 11 (2-3):167-195.
Added to index2009-01-28
Total downloads5 ( #170,097 of 739,303 )
Recent downloads (6 months)1 ( #61,243 of 739,303 )
How can I increase my downloads?