Path: utzoo!utgpu!attcan!uunet!husc6!mailrus!purdue!haven!h.cs.wvu.wvnet.edu!b.cs.wvu.wvnet.edu!siping
From: siping@b.cs.wvu.wvnet.edu (Siping Liu)
Newsgroups: comp.ai
Subject: Inherit through net
Message-ID: <107@h.cs.wvu.wvnet.edu>
Date: 3 Nov 88 16:27:53 GMT
Sender: news@h.cs.wvu.wvnet.edu
Lines: 11

In frame knowledge representation systems, knowledge
can be inherited through the tree-style world hierarchies.
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 ?

BTW, the question is raised when I am thinking how to fit ATMS
(Assumption-based Truth Maintenance System) into a frame system.