Search the Kids Internet
Encyclopedia > CycL
Article Content
CycL
CycL was originally a frame language[?] used by Doug Lenat's Cyc Artificial Intelligence project.
The modern version of CycL is not based on frames. It is, instead based First Order Predicate Calculus[?] extended to allow quantification over predicates and statements, and therefore is a Second Order Logical Language[?].
All Wikipedia text is available under the terms of the GNU Free Documentation License
|
Search Encyclopedia
|