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
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.