HKUST Library Institutional Repository Banner

HKUST Institutional Repository >
Computer Science and Engineering >
CSE Journal/Magazine Articles >

Please use this identifier to cite or link to this item:
Title: Abduction in logic programming : a new definition and an abductive procedure based on rewriting
Authors: Lin, Fangzhen
You, Jia-Huai
Keywords: Abduction
Logic programming
Answer set programming
Rewrite systems
Issue Date: 2002
Citation: Artificial intelligence, v. 140, no. 1/2, p. 175-205, 2002
Abstract: A long outstanding problem for abduction in logic programming has been on how minimality might be defined. Without minimality, an abductive procedure is often required to generate exponentially many subsumed explanations for a given observation. In this paper, we propose a new definition of abduction in logic programming where the set of minimal explanations can be viewed as a succinct representation of the set of all explanations. We then propose an abductive procedure where the problem of generating explanations is formalized as rewriting with confluent and terminating rewrite systems. We show that these rewrite systems are sound and complete under the partial stable model semantics, and sound and complete under the answer set semantics when the underlying program is so-called odd-loop free. We discuss an application of abduction in logic programming to a problem in reasoning about actions and provide some experimental results.
Appears in Collections:CSE Journal/Magazine Articles

Files in This Item:

File Description SizeFormat
rewriteaij.pdfpre-published version201KbAdobe PDFView/Open

All items in this Repository are protected by copyright, with all rights reserved.