Path: utzoo!attcan!uunet!lll-winken!ames!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: question on knowledge representation
Message-ID: <252@h.cs.wvu.wvnet.edu>
Date: 13 Jan 89 20:12:05 GMT
Sender: news@h.cs.wvu.wvnet.edu
Lines: 29


  As we know, we should distinguish between "defaults" and "truth"
when trying to inherent something through "isa" relation in frame-based
representation. I only know there is a system called ZERO in Japan
which can do it. Can someone tell the systems in US which can
do the similar thing ? Can KEE do it ?

  Thanks in advance.

  P.S. to make my point clearer, here is an example.

        bird: can_fly: "TRUE"
         |
         |isa
         |
       penguin : can_fly: "FALSE"

{here "can_fly" should be treated as default value and not inherented in
 penguin since it has local value.}


        human: sports: "tennis" "swim"
          |
          |isa
          |
         man: sports: "boxing"

{here "sports" describes truth without exception. "man" should inherent
  it from human even they have their exclusive sports.}