Predicate Logic
Concept
A formal language developed by philosophers, used by Cyc to represent knowledge, allowing for mechanical procedures to derive logical conclusions.
Mentioned in 2 videos
Save the 2 videos on Predicate Logic to your own pod.
Sign up free to keep building your knowledge base on Predicate Logic as more episodes are added.
Videos Mentioning Predicate Logic
Douglas Lenat: Cyc and the Quest to Solve Common Sense Reasoning in AI | Lex Fridman Podcast #221
Lex Fridman
A formal language developed by philosophers, used by Cyc to represent knowledge, allowing for mechanical procedures to derive logical conclusions.
Peter Norvig: Artificial Intelligence: A Modern Approach | Lex Fridman Podcast #42
Lex Fridman
A form of logic where statements are made up of predicates and variables, discussed in the context of early AI textbooks.