An Approach to Abductive Reasoning in Equational Logic
Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence. Pages 531-536.
Abstract
Abduction has been extensively studied in propositional logic because of its many applications in artificial intelligence. However, its intrinsic complexity has been a limitation to the implementation of abductive reasoning tools in more expressive logics. We have devised such a tool in ground flat equational logic, in which literals are equations or disequations between constants. Our tool is based on the computation of prime implicates. It uses a relaxed paramodulation calculus, designed to generate all prime implicates of a formula, together with a carefully defined data structure storing the implicates and able to efficiently detect, and remove, redundancies. In addition to a detailed description of this method, we present an analysis of some experimental results.
@inproceedings{ijcai2013p86,
title = {An Approach to Abductive Reasoning in Equational Logic},
author = {Echenim, Mnacho and Peltier, Nicolas and Tourret, Sophie},
booktitle = {Proceedings of the Twenty-Third International Joint Conference on
Artificial Intelligence, {IJCAI-13}},
publisher = {AAAI Press / International Joint Conferences on Artificial Intelligence},
editor = {Francesca Rossi},
pages = {531--536},
year = {2013},
month = {8},
url = {https://ijcai.org/proceedings/2013/86},
}
TY - CPAPER TI - An Approach to Abductive Reasoning in Equational Logic AU - Echenim, Mnacho AU - Peltier, Nicolas AU - Tourret, Sophie T2 - Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, IJCAI-13 PB - AAAI Press / International Joint Conferences on Artificial Intelligence PY - 2013 SP - 531 EP - 536 UR - https://ijcai.org/proceedings/2013/86 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
