Please use this identifier to cite or link to this item:

Abduction in logic programming: A new definition and an abductive procedure based on rewriting

Authors Lin, Fangzhen View this author's profile
You, Jia-Huai
Issue Date 2002
Source Artificial intelligence , v. 140, (1-2), 2002, SEP, p. 175-205
Summary 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. (C) 2002 Elsevier Science B.V. All rights reserved.
ISSN 0004-3702
Language English
Format Article
Access View full-text via DOI
View full-text via Web of Science
View full-text via Scopus
Files in this item:
File Description Size Format
rewriteaij.pdf 206756 B Adobe PDF