Sciweavers

Share
AAAI
2008

Abductive Logic Programming by Nonground Rewrite Systems

8 years 9 months ago
Abductive Logic Programming by Nonground Rewrite Systems
Logic programming with negation offers a compelling approach to abductive reasoning. This paper shows a simple view of abduction in this context for the completion semantics, under which the problem of abduction becomes one of solving quantified equations and disequations. By this way of treating abduction, the problems with nonground negative queries in the previous approaches no longer exist. We show the soundness and completeness results for our approach.
Fangzhen Lin, Jia-Huai You
Added 02 Oct 2010
Updated 02 Oct 2010
Type Conference
Year 2008
Where AAAI
Authors Fangzhen Lin, Jia-Huai You
Comments (0)
books