Douglas B. Lenat

See: CYC System, First-Order Predicate Calculus, Lisp Programming Language, Eurisko.

References

(Wikipedia, 2016) ⇒ http://wikipedia.org/wiki/Douglas_Lenat Retrieved:2016-3-25.
- Douglas Bruce Lenat (born 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 Darwinismbased 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.

http://www.wired.com/2016/03/doug-lenat-artificial-intelligence-common-sense-engine/
- QUOTE: … Either the machine learning crowd is right and their technologies will reach full human intelligence on their own, Lenat says, or they’re only partly right and they’ll need the help of something like Cyc. “Either way, real AI will exist on Earth,” he tells me, “which is all I really care about anyway.”

(Lenat & Guha, 1990) ⇒ Douglas B. Lenat, and R. V. Guha. (1990). “Building Large Knowledge-based Systems; Representation and Inference in the Cyc Project, 1st edition." Addison-Wesley
(Lenat, 1990) ⇒ Douglas B. Lenat, R. V. Guha, K. Pittman, D. Pratt, and M. Shepherd. (1990). “Cyc: Toward Programs with Common Sense.” In: Communications of the ACM, 33(8).

(Hayes-Roth et al., 1983) ⇒ Frederick Hayes-Roth, Donald Arthur Waterman, and Douglas B. Lenat, Eds. (1983). “Building Expert Systems.” Addison-Wesley. ISBN:0201106868