A Semantic Decomposition of Defeasible Logics

We investigate defeasible logics using a technique which decomposes the semantics of such logics into two parts: a specification of the structure of defeasible reasoning and a semantics for the meta-language in which the specification is written. We show that Nute's Defeasible Logic corresponds to Kunen's semantics, and develop a defeasible logic from the well-founded semantics of Van Gelder, Ross and Schlipf. We also obtain a new defeasible logic which extends an existing language by modifying the specification of Defeasible Logic. Thus our approach is productive in analysing, comparing and designing defeasible logics.

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

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

[3]  David S. Touretzky,et al.  A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks , 1987, Artif. Intell..

[4]  Peter J. Stuckey,et al.  Negation and Constraint Logic Programming , 1995, Inf. Comput..

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

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

[7]  Kenneth A. Ross,et al.  The well-founded semantics for general logic programs , 1991, JACM.

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

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

[10]  Donald Nute,et al.  Prolog Programming in Depth , 1988 .

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

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

[13]  Kenneth A. Ross,et al.  Unfounded sets and well-founded semantics for general logic programs , 1988, PODS.

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

[15]  David Billington,et al.  A modular translation from defeasible nets to defeasible logics , 1990, J. Exp. Theor. Artif. Intell..