Nonmonotonic inference rules for multiple inheritance with exceptions

Journal Article · Wed Oct 01 00:00:00 EDT 1986 · Proc. IEEE; (United States)

DOI:https://doi.org/10.1109/PROC.1986.13636· OSTI ID:6905487

Sandewall, E

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 inference systems for inheritance with exceptions are discussed. A new and improved inference system is proposed, using a fixed number of nonmonotonic inference rules. The hierarchy is viewed as a set of atomic propositions using the two relations isa (subsumption) and nisa (nonsubsumption). General results concerning systems of nonmonotonic inference rules can immediately be applied to the proposed inference system.

• Research Organization: Dept. of Computer and Information Science, Linkoping Univ., 58183 Linkoping
• OSTI ID: 6905487
• Journal Information: Proc. IEEE; (United States), Vol. 74:10
• Country of Publication: United States
• Language: English

Related Subjects

99 GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE
ARTIFICIAL INTELLIGENCE
ALGORITHMS
DECISION MAKING
KNOWLEDGE BASE
MATHEMATICAL LOGIC
STANDARDIZED TERMINOLOGY
990210* - Supercomputers- (1987-1989)