A Skeptic's Menagerie: Conflictors, Preemptors, Reinstaters, and Zombies in Nonrnonotonic Inheritance
Proceedings of the Twelfth International Joint Conference on Artificial Intelligence. Knowledge Representation. Pages 478-484.
Abstract
Subtle differences in the method of constructing arguments in inheritance systems can result in profound differences in both the conclusions reached and the efficiency of inference. This paper focuses on issues surrounding the defeat of arguments in nonmonotonic inheritance. Looking primarily at skeptical reasoners, we analyze several types of defeat that may be encountered, especially the defeat of defeaters. Finally, we raise some questions specific to networks that mix strict and defeasible links.
@inproceedings{ijcai1991p72,
title = {A Skeptic's Menagerie: Conflictors, Preemptors, Reinstaters, and Zombies in Nonrnonotonic Inheritance},
author = {Touretzky, David S. and Thomason, Richmond H. and Horty, John F.},
booktitle = {Proceedings of the Twelfth International Joint Conference on
Artificial Intelligence, {IJCAI-91}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {John Mylopoulos and Ray Reiter},
pages = {478--484},
year = {1991},
month = {8},
note = {Knowledge Representation},
url = {https://ijcai.org/proceedings/1991/72},
}
TY - CPAPER TI - A Skeptic's Menagerie: Conflictors, Preemptors, Reinstaters, and Zombies in Nonrnonotonic Inheritance AU - Touretzky, David S. AU - Thomason, Richmond H. AU - Horty, John F. T2 - Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, IJCAI-91 PB - International Joint Conferences on Artificial Intelligence PY - 1991 SP - 478 EP - 484 UR - https://ijcai.org/proceedings/1991/72 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
