A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems

Touretzky, David S.; Horty, John F.; Thomason, Richmond H.

A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems

David S. Touretzky, John F. Horty, Richmond H. Thomason

Download BibTeX Cite

Proceedings of the Tenth International Joint Conference on Artificial Intelligence. Knowledge Representation. Pages 476-481.

Abstract

Early attempts at combining multiple inheritance with nonmonotonic reasoning were based on straightforward extensions of tree-structured inheritance systems, and were theoretically unsound. In The Mathematics of Inheritance S11sterm, or TMOIS, Touretzky described two problems these systems cannot handle: reasoning in the presence of true but redundant assertions, and coping with ambiguity. TMOIS provided a definition and analysis of a theoretically sound multiple inheritance system, accompanied by inference algorithms. Other definitions for inheritance have since been proposed that are equally sound and intuitive, but do not always agree with TMOIS. At the heart of the controversy is a clash of intuitions about certain fundamental issues such as skepticism versus credulity, the direction in which inheritance paths are extended, and classical versus intuitive notions of consistency. Just as there are alternative logics, there may be no single "best" approach to nonmonotonic multiple inheritance.

David S. Touretzky, John F. Horty, and Richmond H. Thomason. 1987. A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems. In Proceedings of the Tenth International Joint Conference on Artificial Intelligence, IJCAI-87. IJCAI, 476–481. https://ijcai.org/proceedings/1987/94

@inproceedings{ijcai1987p94,
  title     = {A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems},
  author    = {Touretzky, David S. and Horty, John F. and Thomason, Richmond H.},
  booktitle = {Proceedings of the Tenth International Joint Conference on
               Artificial Intelligence, {IJCAI-87}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {John McDermott},
  pages     = {476--481},
  year      = {1987},
  note      = {Knowledge Representation},
  url       = {https://ijcai.org/proceedings/1987/94},
}

TY  - CPAPER
TI  - A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems
AU  - Touretzky, David S.
AU  - Horty, John F.
AU  - Thomason, Richmond H.
T2  - Proceedings of the Tenth International Joint Conference on Artificial Intelligence, IJCAI-87
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1987
SP  - 476
EP  - 481
UR  - https://ijcai.org/proceedings/1987/94
ER  -