Abductive logic programming by nonground rewrite systems

Authors:
Fangzhen Lin;Jia-Huai You
Affiliations:
Department of Computer Science, Hong Kong University of Science and Technology, Clear Water Bay, Kowloon, Hong Kong;Department of Computing Science, University of Alberta, Edmonton, Alberta, Canada
Venue:
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Year:
2008

Citing 5
Cited 0

Negation in logic programming

Journal of Logic Programming
SLS-resolution without floundering

Proceedings of the second international workshop on Logic programming and non-monotonic reasoning
The role(s) of logic in artificial intelligence

Handbook of logic in artificial intelligence and logic programming (vol. 1)
Negation and constraint logic programming

Information and Computation
Abduction in logic programming: a new definition and an abductive procedure based on rewriting

Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.