dlm@research.att.COM (04/25/88)
Speaker: Chiaki Sakama
ICOT, Japan.
Time: 10:30, May 2nd, 1988
Room: AT&T Bell Laboratories- Murray Hill 3D-436
Title: Nonmonotonic Parallel Inheritance Networks
This paper discusses a formalization of nonmonotonic inheritance
reasoning in semantic networks using Reiter's default theory. It enables us to
define inheritance rules apart from data in a network, and improves
readability or maintenance of a network compared with other approaches.
We also present a parallel inheritance algorithm based on this method,
which generates a set of properties for an input class. This algorithm is
easily realized in a parallel logic programming language GHC (Guarded Horn
Clauses), which is developed as the kernel language of the fifth-generation
project at ICOT.
Sponsor: David Etherington
ether@research.att.com