DocumentCode :
979324
Title :
Nonmonotonic inference rules for multiple inheritance with exceptions
Author :
Sandewall, Erik
Author_Institution :
Linköping University, Linköping, Sweden
Volume :
74
Issue :
10
fYear :
1986
Firstpage :
1345
Lastpage :
1353
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 :
Artificial intelligence; Birds; Computer science; Information science; Instruction sets;
fLanguage :
English
Journal_Title :
Proceedings of the IEEE
Publisher :
ieee
ISSN :
0018-9219
Type :
jour
DOI :
10.1109/PROC.1986.13636
Filename :
1457904
Link To Document :
بازگشت