Handling exceptions to general rules is a persistent and difficult problem in systems for representing knowledge. In semantic networks, this often takes the form of cancelling some item of information, such as membership in a class, that would otherwise be inherited from a higher level description in the type hierarchy. Some conceptually clean approaches to cancellation lead to great inefficiency in accessing the information in the network, and can negate much of the speed advantage that would otherwise be possible in a parallel network system such as NETL. In this paper we explore some of the interactions between cancellation and parallelism in semantic networks, and we propose a cancellation scheme that appears to be workable for NETLIike systems.
[1]
Daniel G. Bobrow,et al.
On Overview of KRL, a Knowledge Representation Language
,
1976,
Cogn. Sci..
[2]
Richard Fikes,et al.
A Network-Based Knowledge Representation and Its Natural Deduction System
,
1977,
IJCAI.
[3]
Ira P. Goldstein,et al.
The FRL Manual
,
1977
.
[4]
D. McDermott,et al.
An introduction to nonmonotonic logic
,
1979,
IJCAI 1979.
[5]
Drew McDermott,et al.
An Introduction to Non-Monotonic Logic
,
1979,
IJCAI.
[6]
Scott E. Fahlman.
Design Sketch for a Million-Element NETL Machine
,
1980,
AAAI.
[7]
Scott E. Fahlman,et al.
NETL: A System for Representing and Using Real-World Knowledge
,
1979,
CL.