Chapter
Common sense knowledge and formal logic in AI
10:44 - 22:54 (12:10)
The podcast discusses the necessary amount of if-then rules and common sense knowledge that AI must possess for it to be not brittle and the viability of representing this knowledge using formal logic.
Clips
The speaker discusses the importance of philosophy in leveraging AI for decision-making, highlighting the ability of formal language to algorithmically produce logical conclusions.
10:44 - 17:06 (06:22)
Summary
The speaker discusses the importance of philosophy in leveraging AI for decision-making, highlighting the ability of formal language to algorithmically produce logical conclusions.
ChapterCommon sense knowledge and formal logic in AI
Episode#221 – Douglas Lenat: Cyc and the Quest to Solve Common Sense Reasoning in AI
PodcastLex Fridman Podcast
In 1984, top minds in AI convened to determine the number of if-then rules necessary to attain common sense knowledge.
17:06 - 19:02 (01:55)
Summary
In 1984, top minds in AI convened to determine the number of if-then rules necessary to attain common sense knowledge. Surprisingly, everyone came up with an answer around one million.
ChapterCommon sense knowledge and formal logic in AI
Episode#221 – Douglas Lenat: Cyc and the Quest to Solve Common Sense Reasoning in AI
PodcastLex Fridman Podcast
In the third part of the "History of AI" series, the focus is on natural language processing and understanding, and the research consortia that sprang up in the United States to tackle this challenge.
19:02 - 22:54 (03:52)
Summary
In the third part of the "History of AI" series, the focus is on natural language processing and understanding, and the research consortia that sprang up in the United States to tackle this challenge.