---
title: "Abduction in Logic Programming: A New Definition and an Abductive Procedure Based on Rewriting"
authors:
  - "Fangzhen Lin"
  - "Jia-Huai You"
doi: ""
url: "https://ijcai.org/proceedings/2001/91"
pdf: "https://ijcai.org/proceedings/2001/0091.pdf"
venue: "Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence"
year: 2001
pages: "655-665"
track: ""
keywords:
---

# Abduction in Logic Programming: A New Definition and an Abductive Procedure Based on Rewriting

Fangzhen Lin, Jia-Huai You

*Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence*, pages 655-665.

## Abstract

We propose a new definition of abduction in logic programming, and contrast it with that of Kakas and Mancarella’s. We then introduce a rewriting system for answering queries and generating explanations, and show that it is both 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 the work to a problem in reasoning about actions and provide some experimental results.