Corpus ID: 12842969

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

@inproceedings{Touretzky1987ACO,
  title={A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems},
  author={D. Touretzky and J. Horty and R. Thomason},
  booktitle={IJCAI},
  year={1987}
}
Early attempts at combining multiple inheritance with nonmonotonic reasoning were based on straight forward extensions of tree-structured inheritance systems, and were theoretically unsound. In The Mathematics of Inheritance Systems, 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… Expand
327 Citations
On Sandewall's Paper: Nonmonotonic Inference Rules for Multiple Inheritance with Exceptions
  • G. Simonet
  • Mathematics, Computer Science
  • Artif. Intell.
  • 1996
  • 12
  • PDF
An Analysis of Defeasible Inheritance Systems
  • 5
  • PDF
Resolving Ambiguity in Nonmonotonic Inheritance Hierarchies
  • L. Stein
  • Computer Science
  • Artif. Intell.
  • 1992
  • 68
  • PDF
More Notes on "A Clash of Intuitions"
  • 8
  • PDF
Tractable Theories of Multiple Defeasible Inheritance in Ordinary Nonmonotonic Logics
  • 22
  • PDF
A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks
  • 301
  • PDF
The Complexity of Path-Based Defeasible Inheritance
  • 18
The Tractability of Path-Based Inheritance
  • 95
  • PDF
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 19 REFERENCES
Formalizing Nonmonotonic Reasoning Systems
  • 186
Nonmonotonic inference rules for multiple inheritance with exceptions
  • 108
  • Highly Influential
The Mathematics of Inheritance Systems
  • 576
Non-Monotonic Logic I
  • 1,000
A Logic for Default Reasoning
  • R. Reiter
  • Mathematics, Computer Science
  • Artif. Intell.
  • 1980
  • 4,249
  • Highly Influential
  • PDF
Implicit Ordering of Defaults in Inheritance Systems
  • 146
  • PDF
Formalizing Non-Monotonic Reasoning Systems
  • 33
A Useful Four-Valued Logic
  • 1,397
How a computer should think
  • 343
...
1
2
...