Path: utzoo!mnetor!uunet!husc6!bloom-beacon!mit-eddie!ll-xn!ames!pasteur!ucbvax!research.att.COM!dlm
From: dlm@research.att.COM
Newsgroups: comp.ai.digest
Subject: Seminar - Nonmonotonic Parallel Inheritance Networks (AT&T)
Message-ID: <8804291708.AA29163@ucbvax.Berkeley.EDU>
Date: 25 Apr 88 16:30:25 GMT
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The Internet
Lines: 23
Approved: ailist@kl.sri.com



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