Tractable Theories of Multiple Defeasible Inheritance in Ordinary Nonmonotonic Logics
Abstract
A suggestion by John McCarthy for general formulations of multiple defeasible inheritance in ordinary nonmonotonic logic is examined and found to suffer from a variety of technical problems, including 1) its restriction to object/class/property networks, 2) unintuitive results in “Nixon diamond”-type networks, 3) unnecessary closed-world assumptions, and 4) susceptibility to unintended models when generalized. A family of theories is presented that substantially revises McCarthy’s formulation to avoid these problems and restrictions. Finally, an inference control strategy for computing the theory is identified whose tractability
Cite
Text
Haugh. "Tractable Theories of Multiple Defeasible Inheritance in Ordinary Nonmonotonic Logics." AAAI Conference on Artificial Intelligence, 1988.Markdown
[Haugh. "Tractable Theories of Multiple Defeasible Inheritance in Ordinary Nonmonotonic Logics." AAAI Conference on Artificial Intelligence, 1988.](https://mlanthology.org/aaai/1988/haugh1988aaai-tractable/)BibTeX
@inproceedings{haugh1988aaai-tractable,
title = {{Tractable Theories of Multiple Defeasible Inheritance in Ordinary Nonmonotonic Logics}},
author = {Haugh, Brian A.},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {1988},
pages = {421-426},
url = {https://mlanthology.org/aaai/1988/haugh1988aaai-tractable/}
}