Argumentation Semantics for Defeasible Logics

Defeasible logic is a simple but efficient rule-based nonmonotonic logic. It has powerful implementations and shows promise to be applied in the areas of legal reasoning and the modelling of business rules. So far defeasible logic has been defined only proof-theoretically. Argumentation-based semantics have become popular in the area of logic programming. In this paper we give an argumentation-based semantics for defeasible logic. Recently it has been shown that a family of approaches can be built around defeasible logic, in which different intuitions can be followed. In this paper we present an argumentation-based semantics for an ambiguity propagating logic, too. Further defeasible logics can be characterised in a similar way.

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

[2]  Michael J. Maher,et al.  Normal Forms for Defeasible Logic , 1998, IJCSLP.

[3]  Antonis C. Kakas,et al.  Logic Programming without Negation as Failure , 1995, ILPS.

[4]  Henry Prakken,et al.  Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law , 1997 .

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

[6]  John F. Horty,et al.  Some direct theories of nonmonotonic inheritance , 1994 .

[7]  Dirk Vermeir,et al.  Robust Semantics for Argumentation Frameworks , 1999, J. Log. Comput..

[8]  Henry Prakken,et al.  Logics for Defeasible Argumentation , 2001 .

[9]  Michael J. Maher,et al.  A Study of Provability in Defeasible Logic , 1998, Australian Joint Conference on Artificial Intelligence.

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

[11]  Torsten Schaub,et al.  Expressing preferences in default logic , 2000, Artif. Intell..

[12]  Guido Governatori,et al.  Defeasible Logic for Automated Negotiation * , 2022 .

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

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

[15]  Henry Prakken,et al.  Argument-Based Extended Logic Programming with Defeasible Priorities , 1997, J. Appl. Non Class. Logics.

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

[17]  Guillermo Ricardo Simari,et al.  A Mathematical Treatment of Defeasible Reasoning and its Implementation , 1992, Artif. Intell..

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

[19]  Michael J. Maher.  A Model-Theoretic Semantics for Defeasible Logic , 2002, Paraconsistent Computational Logic.

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

[21]  A.R.C.S. A. H. Loveless.  What is an abstract ? , 1990 .

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

[23]  Benjamin N. Grosof.  Prioritized Conflict Handling for Logic Programs , 1997, ILPS.

[24]  Guido Governatori,et al.  A formal approach to protocols and strategies for (legal) negotiation , 2001, ICAIL '01.

[25]  David Billington,et al.  Defeasible Logic is Stable , 1993, J. Log. Comput..

[26]  Gerard Vreeswijk,et al.  Abstract Argumentation Systems , 1997, Artif. Intell..

[27]  Kenneth Kunen,et al.  Negation in Logic Programming , 1987, J. Log. Program..

[28]  Benjamin N. Grosof,et al.  A declarative approach to business rules in contracts: courteous logic programs in XML , 2015, EC '99.

[29]  John L. Pollock,et al.  Defeasible Reasoning , 2020, Synthese Library.

[30]  Phan Minh Dung,et al.  An Abstract, Argumentation-Theoretic Approach to Default Reasoning , 1997, Artif. Intell..

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

[32]  Henry Prakken,et al.  Logical Tools for Modelling Legal Argument , 1997 .

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

[34]  Michael J. Maher.  A Denotational Semantics of Defeasible Logic , 2000, Computational Logic.

[35]  David S. Touretzky,et al.  A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems , 1987, IJCAI.

[36]  Michael J. Maher,et al.  On the analysis of regulations using defeasible rules , 1999, Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32. Abstracts and CD-ROM of Full Papers.

[37]  Phan Minh Dung,et al.  An Argumentation Semantics for Logic Programming with Explicit Negation , 1993, ICLP.

[38]  Benjamin N. Grosof.  Prioritized conflict handing for logic programs , 1997, International Conference on Logic Programming.