Abduction in Logic Programming: A New Definition and an Abductive Procedure Based on Rewriting
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.
Fangzhen Lin, and Jia-Huai You. 2001. Abduction in Logic Programming: A New Definition and an Abductive Procedure Based on Rewriting. In Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI-01. IJCAI, 655–665. https://ijcai.org/proceedings/2001/91
Lin, F., & You, J. (2001). Abduction in Logic Programming: A New Definition and an Abductive Procedure Based on Rewriting. In Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI-01 (pp. 655–665). IJCAI. https://ijcai.org/proceedings/2001/91
@inproceedings{ijcai2001p91,
title = {Abduction in Logic Programming: A New Definition and an Abductive Procedure Based on Rewriting},
author = {Lin, Fangzhen and You, Jia-Huai},
booktitle = {Proceedings of the Seventeenth International Joint Conference on
Artificial Intelligence, {IJCAI-01}},
publisher = {International Joint Conferences on Artificial Intelligence},
pages = {655--665},
year = {2001},
url = {https://ijcai.org/proceedings/2001/91},
}
TY - CPAPER TI - Abduction in Logic Programming: A New Definition and an Abductive Procedure Based on Rewriting AU - Lin, Fangzhen AU - You, Jia-Huai T2 - Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI-01 PB - International Joint Conferences on Artificial Intelligence PY - 2001 SP - 655 EP - 665 UR - https://ijcai.org/proceedings/2001/91 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
