On the relationship between Carneades and Defeasible Logic

We study the formal relationships between the inferential aspects of Carneades (a general argumentation framework) and Defeasible Logic. The outcome of the investigation is that the current proof standards proposed in the Carneades framework correspond to some variants of Defeasible Logic.

[1]  Guido Governatori,et al.  Burdens of Proof in Monological Argumentation , 2010, JURIX.

[2]  Henry Prakken,et al.  Formalising arguments about the burden of persuasion , 2007, ICAIL.

[3]  J. Bouvier,et al.  A Law Dictionary , 2009 .

[4]  Michael J. Maher.  Under consideration for publication in Theory and Practice of Logic Programming 1 Propositional Defeasible Logic has Linear Complexity , 2004 .

[5]  Michael J. Maher,et al.  Argumentation Semantics for Defeasible Logics , 2000, PRICAI.

[6]  Donald Nute,et al.  Defeasible Logic , 1994, INAP.

[7]  Michael J. Maher,et al.  A Flexible Framework for Defeasible Logics , 2000, AAAI/IAAI.

[8]  John F. Horty,et al.  Skepticism and floating conclusions , 2002, Artif. Intell..

[9]  Michael J. Maher,et al.  An Argumentation-Theoretic Characterization of Defeasible Logic , 2000, ECAI.

[10]  Henry Prakken,et al.  The Carneades model of argument and burden of proof , 2007, Artif. Intell..

[11]  Guido Governatori,et al.  On the Problem of Computing Ambiguity Propagation and Well-Founded Semantics in Defeasible Logic , 2010, RuleML.

[12]  Kewen Wang,et al.  Combining Description Logic and Defeasible Logic for the Semantic Web , 2004, RuleML.

[13]  Lynn Andrea Stein,et al.  Resolving Ambiguity in Nonmonotonic Inheritance Hierarchies , 1992, Artif. Intell..

[14]  Guido Governatori,et al.  Representing business contracts in RuleML , 2005, Int. J. Cooperative Inf. Syst..

[15]  Michael J. Maher,et al.  Efficient defeasible reasoning systems , 2000, Proceedings 12th IEEE Internationals Conference on Tools with Artificial Intelligence. ICTAI 2000.

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

[17]  Guido Governatori,et al.  The Making of SPINdle , 2009, RuleML.

[18]  Michael J. Maher,et al.  A Semantic Decomposition of Defeasible Logics , 1999, AAAI/IAAI.

[19]  Francesca Toni.  Assumption-Based Argumentation for Epistemic and Practical Reasoning , 2008, Computable Models of the Law, Languages, Dialogues, Games, Ontologies.

[20]  G. Sartor,et al.  A logical analysis of burdens of proof , 2009 .

[21]  Guido Governatori,et al.  Defeasible Description Logics , 2004, RuleML.

[22]  Michael J. Maher,et al.  A Family of Defeasible Reasoning Logics and its Implementation , 2000, ECAI.

[23]  Shazia Wasim Sadiq,et al.  Modeling Control Objectives for Business Process Compliance , 2007, BPM.

[24]  Michael J. Maher,et al.  Defeasible Logic versus Logic Programming without Negation as Failure , 2000, J. Log. Program..

[25]  Guido Governatori,et al.  Temporalised normative positions in defeasible logic , 2005, ICAIL '05.

[26]  Gerhard Brewka,et al.  Carneades and Abstract Dialectical Frameworks: A Reconstruction , 2010, COMMA.

[27]  Guido Governatori,et al.  BIO logical agents: Norms, beliefs, intentions in defeasible logic , 2008, Autonomous Agents and Multi-Agent Systems.

[28]  Guido Governatori,et al.  An Asymmetric Protocol for Argumentation Games in Defeasible Logic , 2007, PRIMA.

[29]  Guido Governatori,et al.  Variants of temporal defeasible logics for modelling norm modifications , 2007, ICAIL.

[30]  Michael J. Maher,et al.  Embedding Defeasible Logic into Logic Programming , 2005, ArXiv.

[31]  Guido Governatori,et al.  The Journey to Business Process Compliance , 2009, Handbook of Research on Business Process Modeling.

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

[33]  Michael J. Maher,et al.  Argumentation Semantics for Defeasible Logic , 2004, J. Log. Comput..

[34]  Michael J. Maher,et al.  An inclusion theorem for defeasible logics , 2010, TOCL.

[35]  Dov M. Gabbay,et al.  Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning , 1994 .

[36]  Guido Governatori,et al.  Changing legal systems: legal abrogations and annulments in Defeasible Logic , 2010, Log. J. IGPL.

[37]  Grigoris Antoniou,et al.  DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web , 2007, IEEE Transactions on Knowledge and Data Engineering.

[38]  Michael J. Maher,et al.  Representation results for defeasible logic , 2000, TOCL.

[39]  Guido Governatori,et al.  Dialogue Games in Defeasible Logic , 2007, Australian Conference on Artificial Intelligence.

[40]  Ioannis P. Vlahavas,et al.  A Defeasible Logic Reasoner for the Semantic Web , 2004, Int. J. Semantic Web Inf. Syst..