Semantics and Complexity of Abduction from Default Theories
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence. Knowledge Representation. Pages 870-876.
Abstract
Since logical knowledge representation is commonly based on nonclassical formalisms like default logic, autoepistemic logic, or circumscription, it is necessary to perform abductive reasoning from theories of nonclassical logics. In this paper, we investigate how abduction can be performed from theories in default logic. Different modes of abduction are plausible, based on credulous and skeptical default reasoning; they appear useful for different applications such as diagnosis and planning. Moreover, we analyze the complexity of the main abductive reasoning tasks. They are intractable in the general case; we also present known classes of default theories for which abduction is tractable.
@inproceedings{ijcai1995p113,
title = {Semantics and Complexity of Abduction from Default Theories},
author = {Eiter, Thomas and Gottlob, Georg and Leone, Nicola},
booktitle = {Proceedings of the Fourteenth International Joint Conference on
Artificial Intelligence, {IJCAI-95}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Chris S. Mellish},
pages = {870--876},
year = {1995},
note = {Knowledge Representation},
url = {https://ijcai.org/proceedings/1995/113},
}
TY - CPAPER TI - Semantics and Complexity of Abduction from Default Theories AU - Eiter, Thomas AU - Gottlob, Georg AU - Leone, Nicola T2 - Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI-95 PB - International Joint Conferences on Artificial Intelligence PY - 1995 SP - 870 EP - 876 UR - https://ijcai.org/proceedings/1995/113 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
