Recycling Computed Answers in Rewrite Systems for Abduction
Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence. Pages 879-885.
Abstract
In rule-based systems, goal-oriented computations correspond naturally to the possible ways that an observation may be explained. In some applications, we need to compute explanations for a series of observations with the same domain. The question whether previously computed answers can be recycled arises. A yes answer could result in substantial savings of repeated computations. For systems based on classic logic, the answer is yes. For nonmonotonic systems however, one tends to believe that the answer should be no, since recycling is a form of adding information. In this paper, we show that computed answers can always be recycled, in a nontrivial way, for the class of rewrite procedures proposed earlier in [Lin and You, 2001] for logic programs with negation. We present some experimental results on an encoding of a logistics domain.
@inproceedings{ijcai2003p126,
title = {Recycling Computed Answers in Rewrite Systems for Abduction},
author = {Lin, Fangzhen and You, Jia-Huai},
booktitle = {Proceedings of the Eighteenth International Joint Conference on
Artificial Intelligence, {IJCAI-03}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Georg Gottlob},
pages = {879--885},
year = {2003},
url = {https://ijcai.org/proceedings/2003/126},
}
TY - CPAPER TI - Recycling Computed Answers in Rewrite Systems for Abduction AU - Lin, Fangzhen AU - You, Jia-Huai T2 - Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, IJCAI-03 PB - International Joint Conferences on Artificial Intelligence PY - 2003 SP - 879 EP - 885 UR - https://ijcai.org/proceedings/2003/126 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
