I've read 16 of 32 tutorials at http://www.opencyc.org/doc/ and mapped CycL concepts to KR concepts http://www.volcano.net/~rhm/knowledge/theory/CycL/CycLvsKR.txt The CycL microtheory BaseKB corresponds to the KR context tabula rasa. BaseKB is about 2 times the size of tabula rasa because it explicitly names about 350 microtheories that depend on it. About 50 important CycL microtheories are given at http://www.cyc.com/cycdoc/vocab/vocab-toc.html ============ Dick McCullough knowledge := man do identify od existent done knowledge haspart proposition list
Received on Thursday, 19 December 2002 16:34:41 UTC