Path: utzoo!attcan!uunet!lll-winken!lll-tis!helios.ee.lbl.gov!pasteur!ucbvax!husc6!linus!mbunix!bwk
From: bwk@mitre-bedford.ARPA (Barry W. Kort)
Newsgroups: comp.ai
Subject: Re: Inherit through net
Summary: Create your child and discover its properties.
Keywords: Kripke Logics
Message-ID: <41613@linus.UUCP>
Date: 7 Nov 88 14:06:54 GMT
References: <107@h.cs.wvu.wvnet.edu>
Sender: news@linus.UUCP
Reply-To: bwk@mbunix (Barry Kort)
Organization: Protoplasmics Ltd., Cleft Chasm, NM
Lines: 14

In article <107@h.cs.wvu.wvnet.edu> siping@b.cs.wvu.wvnet.edu
(Siping Liu) writes:

 > In frame knowledge representation systems, knowledge can be
 > inherited  through the tree-style world hierarchies.  
 I i.e., each world has only one parent world.
 >
 > The question is: if the intersection of the confined problem
 > spaces for two (or more) brother worlds is not empty, why can not
 > they have a common child world with the intersection as its
 > problem space ?

Try constructing such an intersection and explore its properties.

--Barry Kort