Douglas B. Lenat
Douglas B. Lenat developed knowledge-based AI, including automated discovery research and leadership of the Cyc common sense project. Lenat earned a computer science doctorate in 1976. His thesis program AM proposed mathematical discoveries. He received an IJCAI Computers and Thought Award in 1977. In a June 2003 Stanford talk, Lenat discussed representing everyday facts and rules of thumb so computers could reason with them. Lenat presented the work as a team engineering effort and discussed lessons from constructing a large knowledge-based system.
- Works
- 112
- Citations
- 8,048
- h-index
- 31
Publication numbers from OpenAlex, as of 14 October 2026.
Timeline
-
1976–1977
Heuristic discovery
Lenat earned a computer science doctorate in 1976. His thesis program AM proposed mathematical discoveries. He received an IJCAI Computers and Thought Award in 1977.
-
1984–1994
The Cyc project at MCC
Lenat directed the Cyc common sense knowledge and reasoning project at MCC from 1984 to 1994. His team worked on the knowledge base.
-
1994
A company for continued development
Lenat founded Cycorp in 1994 to continue developing and commercializing Cyc.
-
2003
Explaining the engineering program
In a June 2003 Stanford talk, Lenat discussed representing everyday facts and rules of thumb so that computers can reason with them. He presented the work as a team engineering effort and discussed lessons from constructing a large knowledge-based system.
Sources and credits
Photo: LordRedthorn, via Wikimedia Commons. License: CC BY-SA 4.0. Source: commons.wikimedia.org. Cropped to a square and resized. Ask us to remove or replace this photo.
