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={David S. Touretzky and John F. Horty and Richmond H. 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…Â
331 Citations
On Sandewall's Paper: Nonmonotonic Inference Rules for Multiple Inheritance with Exceptions
- Computer ScienceArtif. Intell.
- 1996
An Analysis of Defeasible Inheritance Systems
- Computer Science
- 2010
This work gives a conceptual analysis of (defeasible or nonmonotonic) inheritance diagrams, and shows that the small/big sets of preferential reasoning have to be relativized if they want to conform to inheritance theory, resulting in a more cautious approach, perhaps closer to actual human reasoning.
Clarifying Mixed Bipolar Multiple Inheritance with Exceptions
- Philosophy
- 2007
The inheritance problem can be simply stated: for any instantiation of an inheritance network , say a speciic hierarchy ? nd a conclusion set for ?. In other words nd out what is logically entailed…
More Notes on "A Clash of Intuitions"
- Computer ScienceIJCAI
- 1993
The paper describes ways in which exceptional classes are identified and subsequently located in inheritance structures, and proposes off-path pre-emption, where the idea that more explicit informa tion should win in cases of conflict is proposed.
Tractable Theories of Multiple Defeasible Inheritance in Ordinary Nonmonotonic Logics
- Computer ScienceAAAI
- 1988
A family of theories is presented that substantially revises McCarthy's formulation of multiple defeasible inheritance in ordinary nonmonotonic logic whose tractability is ensured by a variety of techniques including incremental computation of abnormalities and truth maintenance.
A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks
- Computer ScienceArtif. Intell.
- 1990
Resolving An-lbiguity ' in No ninonotonic 0-Inheritance Hierarchies
- Computer Science
An original theory of inheritance 'in nonmonotonic hierarchies' is presented, it is proved that true skeptical 'Inheritance is not contained 'in the language of path-based inheritance, and a unified framework for a broad class of inheritance theories is provided.
A family of Non-Monotonic Inference Systems based on Conditional Logics
- Computer Science
- 1993
This article proposes to use conditional logics to represent defensible rules and presents different ways, based on semantics, to increase their deductive power, which leads to different non-monotonic systems.
References
SHOWING 1-10 OF 18 REFERENCES
Nonmonotonic inference rules for multiple inheritance with exceptions
- Computer ScienceProceedings of the IEEE
- 1986
The semantics of inheritance "hierarchies" with multiple inheritance and exceptions is discussed, and a partial semantics in terms of a number of structure types is defined. Previously proposed…
The Mathematics of Inheritance Systems
- Computer Science
- 1984
A formal mathematical theory of inheritance is presented and it is shown how the defects in existing systems can be corrected, and how a correct implementation on a parallel marker propagation machine (PMPM) may be achieved through conditioning.
A Calculus for Inheritance in Monotonic Semantic Nets
- Computer ScienceISMIS
- 1987
This report describes the inheritance relation through a sequent calculus, or natural-deduction system, that is relatively natural and well-motivated, and proves to be both sound and complete with respect to monotonic inheritance relation.
A Logic for Default Reasoning
- Philosophy, Computer ScienceArtif. Intell.
- 1980
Implicit Ordering of Defaults in Inheritance Systems
- Computer ScienceAAAI
- 1984
This work defines the correct partial ordering to use in inheritance and shows how it applies to semantic network systems.
Formalizing Non-Monotonic Reasoning Systems
- Computer Science
- 1983
It is shown that Default Logic is a useful tool for the specification and description of non-monotonic systems, and new results are presented which enhance this usefulness.
A Useful Four-Valued Logic
- Philosophy
- 1977
It is argued that a sophisticated question-answering machine that has the capability of making inferences from its data base should employ a certain four-valued logic, the motivating consideration…
Cancellation in a Parallel Semantic Network
- Computer ScienceIJCAI
- 1981
This paper explores some of the interactions between cancellation and parallelism in semantic networks, and proposes a cancellation scheme that appears to be workable for NETLIike systems.