Douglas Lenat

Douglas Lenat

Douglas B. Lenat (born in 1950) is the CEO of Cycorp, Inc. of Austin, Texas, and has been a prominent researcher in artificial intelligence, especially machine learning (with his AM and Eurisko programs), knowledge representation, blackboard systems, and "ontological engineering" (with his Cyc program at MCC and at Cycorp). He has also worked in military simulations and published a critique of conventional random-mutation Darwinism based on his experience with Eurisko. Lenat was one of the original Fellows of the AAAI.

Lenat's quest, in the Cyc project, is to build the basis of a general artificial intelligence by manually representing knowledge in the formal language, CycL, based on extensions to first-order predicate calculus.