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

Search over one million articles, find something about almost anything!

Featured Article

Thomas a Kempis

... and Cologne and in the Netherlands. He was a follower of Geert Groote and Florentius Radewijns, the founders of the Brethren of the Common Life. His writings ...