#221 – Douglas Lenat: Cyc and the Quest to Solve Common Sense Reasoning in AI

Douglas Lenat is the founder of Cyc, a 37 year project aiming to solve common-sense knowledge and reasoning in AI. Please support this podcast by checking out our sponsors: – Squarespace: https://lexfridman.com/squarespace and use code LEX to get 10% off – BiOptimizers: http://www.magbreakthrough.com/lex to get 10% off – Stamps.com: https://stamps.com and use code LEX to get free postage & scale – LMNT: https://drinkLMNT.com/lex to get free sample pack – ExpressVPN: https://expressvpn.com/lexpod and use code LexPod to get 3 months free EPISODE LINKS: Douglas’s Twitter: https://twitter.com/cycorpai Cyc’s Website: https://cyc.com PODCAST INFO: Podcast website: https://lexfridman.com/podcast Apple Podcasts: https://apple.co/2lwqZIr Spotify: https://spoti.fi/2nEwCF8 RSS: https://lexfridman.com/feed/podcast/ YouTube Full Episodes: https://youtube.com/lexfridman YouTube Clips: https://youtube.com/lexclips SUPPORT & CONNECT: – Check out the sponsors above, it’s the best way to support this podcast – Support on Patreon: https://www.patreon.com/lexfridman – Twitter: https://twitter.com/lexfridman – Instagram: https://www.instagram.com/lexfridman – LinkedIn: https://www.linkedin.com/in/lexfridman – Facebook: https://www.facebook.com/lexfridman – Medium: https://medium.com/@lexfridman OUTLINE: Here’s the timestamps for the episode. On some podcast players you should be able to click the timestamp to jump to that time. (00:00) – Introduction (07:39) – What is Cyc? (15:45) – How to form a knowledge base of the universe (26:11) – How to train an AI knowledge base (30:32) – Global consistency versus local consistency (54:53) – Automated reasoning (1:00:33) – Direct uses of AI and machine learning (1:13:11) – The semantic web (1:23:44) – Tools to help Cyc interpret data (1:32:54) – The most beautiful idea about Cyc (1:38