Predicate Logic

ConceptMentioned in 1 video

A formal language developed by philosophers, used by Cyc to represent knowledge, allowing for mechanical procedures to derive logical conclusions.

Videos Mentioning Predicate Logic

Douglas Lenat: Cyc and the Quest to Solve Common Sense Reasoning in AI | Lex Fridman Podcast #221

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.