siping@b.cs.wvu.wvnet.edu (Siping Liu) (11/04/88)
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.
hall@nvuxh.UUCP (Michael R Hall) (11/07/88)
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.e., each world has only one parent world. > >The question is: [Why not allow multiple parents?] Sure, you can have multiple parents in some frame-inheritence implementations. KEE lets you do it. You should be able to find some literature on the research problems associated with doing this type of inheritence gracefully. -- Michael R. Hall | Bell Communications Research "I'm just a symptom of the moral decay that's | nvuxh!hall@bellcore.COM gnawing at the heart of the country" -The The | bellcore!nvuxh!hall
bwk@mitre-bedford.ARPA (Barry W. Kort) (11/07/88)
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