• Corpus ID: 12842969

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

  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},
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… 

Figures from this paper

An Analysis of Defeasible Inheritance Systems
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
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"
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
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.
Resolving An-lbiguity ' in No ninonotonic 0-Inheritance Hierarchies
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
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.


Formalizing Nonmonotonic Reasoning Systems
Nonmonotonic inference rules for multiple inheritance with exceptions
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
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
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.
Non-Monotonic Logic I
A Logic for Default Reasoning
  • R. Reiter
  • Philosophy, Computer Science
    Artif. Intell.
  • 1980
Implicit Ordering of Defaults in Inheritance Systems
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
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
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
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.