Cyc
Artificial intelligence project by Doug Lenat. Lenat left the public AI community to pursue the Cyc project in 1984, building a company around the effort. Cyc's foundation is in a massive database of knowledge and reasoning about the real world, axiomatized in a Lisp-based language. Marvin Minsky considers it one of the few bright spots in AI.
OpenCyc is a stripped-down open source version of Cyc, first announced in early 2001.
- Computer to Save World? ''Associated Press', June 7, 2002