Douglas Lenat

Douglas Lenat: Cyc and the Quest to Solve Common Sense Reasoning in AI | Lex Fridman Podcast #221

Douglas Lenat, Lex Fridman, Marvin Minsky

Since 1984, Doug Lennett's Psyche project has constructed a foundational common sense knowledge base using higher-order logic to resolve the inherent contradictions of human language through a local consistency model. By integrating thousands of ontological engineers and leveraging machine learning to generate hypotheses for logical verification, the system has evolved from a theoretical challenge into a practical infrastructure for domain-specific applications in fields like healthcare. This decades-long effort culminates in a hybrid intelligence architecture that prioritizes causal reasoning over statistical patterns, aiming to establish the necessary groundwork for general superintelligence capable of solving global challenges.