Copyright © 2002 Cycorp
•
Why use logic?
•
CycL Syntax
•
Collections and Individuals
(#$isa and #$genls)
•
Microtheories
Foundations of Knowledge
Representation in Cyc
This is an introduction to the foundations of knowledge representation in Cyc.
Our first topic is: Why use logic?
