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

#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://open.spotify.com/episode/4oKpn05ltzP8UXKe5R1DcL
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

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:53) – Love and consciousness in AI
(1:45:52) – The greatness of Marvin Minsky
(1:50:46) – Is Cyc just a beautiful dream?
(1:55:31) – What is OpenCyc and how was it born?
(2:01:21) – The open source community and OpenCyc
(2:11:48) – The inference problem
(2:13:31) – Cyc’s programming language
(2:21:05) – Ontological engineering
(2:28:30) – Do machines think?
(2:37:15) – Death and consciousness
(2:47:16) – What would you say to AI?
(2:51:52) – Advice to young people
(2:53:48) – Mortality

Det här avsnittet är hämtat från ett öppet RSS-flöde och publiceras inte av Podme. Det kan innehålla reklam.

Avsnitt(503)

#503 – AI Crisis in Math: Navier-Stokes, Riemann Hypothesis & Complexity Theory

#503 – AI Crisis in Math: Navier-Stokes, Riemann Hypothesis & Complexity Theory

Ankur Moitra, Steven Brunton and Alex Kontorovich are three mathematicians who can speak to this incredible moment in the history of mathematics, when AI solved some of its hardest problems: Navier-St...

26 Okt 3h 42min

#502 – Psychiatry, Insane Asylums, Mental Illness, ECT, Lobotomies, Freud & Jung

#502 – Psychiatry, Insane Asylums, Mental Illness, ECT, Lobotomies, Freud & Jung

Andrew Scull is a historian of psychiatry. Thank you for listening ❤ Check out our sponsors: https://lexfridman.com/sponsors/ep502-sc See below for timestamps, transcript, and to give feedback, submit...

17 Sep 3h 43min

#501 – DHH: Future of Programming, AI, Agentic Engineering, Vibe Coding & Linux

#501 – DHH: Future of Programming, AI, Agentic Engineering, Vibe Coding & Linux

DHH is the creator of Ruby on Rails, Omarchy Linux, CTO of 37signals, and a racecar driver. Thank you for listening ❤ Check out our sponsors: https://lexfridman.com/sponsors/ep501-sc See below for tim...

26 Aug 5h 21min

#500 – Khabib Nurmagomedov: Dagestan, MMA, UFC, Islam, Conor, Fedor & Football

#500 – Khabib Nurmagomedov: Dagestan, MMA, UFC, Islam, Conor, Fedor & Football

Khabib Nurmagomedov is one of the greatest fighters of all time, who retired from the UFC undefeated with a perfect 29-0 record. We did this conversation entirely in Russian. It’s translated and dubbe...

12 Aug 3h 19min

#499 – Gary Gallagher: American Civil War, Slavery, Lincoln, Grant & Lee

#499 – Gary Gallagher: American Civil War, Slavery, Lincoln, Grant & Lee

Gary Gallagher is a historian of the American Civil War. Thank you for listening ❤ Check out our sponsors: https://lexfridman.com/sponsors/ep499-sc See below for timestamps, transcript, and to give fe...

28 Juli 3h 53min

#498 – Anthony Kaldellis: Roman Empire, Byzantine Empire, Rise & Fall of Empires

#498 – Anthony Kaldellis: Roman Empire, Byzantine Empire, Rise & Fall of Empires

Anthony Kaldellis is a historian of the Roman Empire and author of “The New Roman Empire”, a comprehensive history of the Byzantine Empire (Eastern Roman Empire). Thank you for listening ❤ Check out o...

30 Juni 3h 58min

#497 – Biggest Mysteries in Physics: Antimatter, Dark Energy & ToE – Don Lincoln

#497 – Biggest Mysteries in Physics: Antimatter, Dark Energy & ToE – Don Lincoln

Don Lincoln is a particle physicist at Fermilab who has spent decades working at the frontiers of high energy physics. Thank you for listening ❤ Check out our sponsors: https://lexfridman.com/sponsors...

29 Maj 3h 1min

#496 – FFmpeg: The Incredible Technology Behind Video on the Internet

#496 – FFmpeg: The Incredible Technology Behind Video on the Internet

Jean-Baptiste Kempf is lead developer of VLC and president of VideoLAN. Kieran Kunhya is a longtime FFmpeg contributor, codec engineer, and the person behind the now-infamous FFmpeg account on X. Than...

6 Maj 4h 23min

Populärt inom Vetenskap

dumma-manniskor
p3-dystopia
angestpodden
allt-du-velat-veta
rss-ronden
kapitalet-en-podd-om-ekonomi
rss-ufobortom-rimligt-tvivel
sexet
medicinvetarna
rss-kriminologerna
hacka-livet
bildningskomplexet
svd-nyhetsartiklar
det-morka-psyket
bildningspodden
rss-ai-med-jonas-benjamin
rss-mottagningen
paranormalt-med-caroline-giertz
halsorevolutionen
rss-spraket