Automated Reasoning Basics | Douglas Lenat and Lex Fridman

Lex Fridman Podcast full episode: https://www.youtube.com/watch?v=3wMKoSRbGVs 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 GUEST BIO: Douglas Lenat is the founder of Cyc, a 37 year project aiming to solve common-sense knowledge and reasoning in AI. 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/ Full episodes playlist: https://www.youtube.com/playlist?list=PLrAXtmErZgOdP_8GztsuKi9nrraNbKKp4 Clips playlist: https://www.youtube.com/playlist?list=PLrAXtmErZgOeciFP3CBCIEElOJeitOr41 SOCIAL: - Twitter: https://twitter.com/lexfridman - LinkedIn: https://www.linkedin.com/in/lexfridman - Facebook: https://www.facebook.com/lexfridman - Instagram: https://www.instagram.com/lexfridman - Medium: https://medium.com/@lexfridman - Reddit: https://reddit.com/r/lexfridman - Support on Patreon: https://www.patreon.com/lexfridman