Nonmonotonic inference rules for multiple inheritance with exceptions
- 1 January 1986
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Proceedings of the IEEE
- Vol. 74 (10) , 1345-1353
- https://doi.org/10.1109/PROC.1986.13636
Abstract
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.Keywords
This publication has 0 references indexed in Scilit: