Computer Science – Artificial Intelligence
Scientific paper
2011-06-10
Computer Science
Artificial Intelligence
36 pages; To appear in Theory and Practice of Logic Programming (TPLP)
Scientific paper
We provide a method of translating theories of Nute's defeasible logic into logic programs, and a corresponding translation in the opposite direction. Under certain natural restrictions, the conclusions of defeasible theories under the ambiguity propagating defeasible logic ADL correspond to those of the well-founded semantics for normal logic programs, and so it turns out that the two formalisms are closely related. Using the same translation of logic programs into defeasible theories, the semantics for the ambiguity blocking defeasible logic NDL can be seen as indirectly providing an ambiguity blocking semantics for logic programs. We also provide antimonotone operators for both ADL and NDL, each based on the Gelfond-Lifschitz (GL) operator for logic programs. For defeasible theories without defeaters or priorities on rules, the operator for ADL corresponds to the GL operator and so can be seen as partially capturing the consequences according to ADL. Similarly, the operator for NDL captures the consequences according to NDL, though in this case no restrictions on theories apply. Both operators can be used to define stable model semantics for defeasible theories.
No associations
LandOfFree
Interdefinability of defeasible logic and logic programming under the well-founded semantics does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Interdefinability of defeasible logic and logic programming under the well-founded semantics, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Interdefinability of defeasible logic and logic programming under the well-founded semantics will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-319827