论文信息 - Ambiguity Propagating Defeasible Logic and the Well-Founded Semantics

Ambiguity Propagating Defeasible Logic and the Well-Founded Semantics

The most recent version of defeasible logic (Nute, 1997) is related to the well-founded semantics by translating defeasible theories into normal logic programs using a simple scheme proposed in (Brewka, 2001). It is found that by introducing ambiguity propagation into this logic, the assertions of defeasible theories coincide with the well-founded models of their logic program translations. Without this addition, the two formalisms are found to disagree in important cases. A translation in the other direction is also provided. By treating default negated atoms as presumptions in defeasible logic, normal logic programs can be converted into equivalent defeasible theories.

Donald Nute | Frederick Maier

[1] Gerhard Brewka. On the Relationship between Defeasible Logic and Well-Founded Semantics , 2001, LPNMR.

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

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

[4] Raymond Reiter,et al. A Logic for Default Reasoning , 1987, Artif. Intell..

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

[6] Donald Nute,et al. Defeasible Logic to the Well-Founded Semantics for Normal Logic Programs , 2006 .

[7] Robert A. Kowalski,et al. The Semantics of Predicate Logic as a Programming Language , 1976, JACM.

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

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

[10] Michael J. Maher,et al. Embedding Defeasible Logic into Logic Programs , 2002, ICLP.

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

[12] Karl Schlechta,et al. Floating Conclusions and Zombie Paths: Two Deep Difficulties in the "Directly Skeptical" Approach to Defeasible Inheritance Nets , 1991, Artif. Intell..