first order logic
Concept
A system of logic that uses quantified variables to express relationships between objects, discussed as a development from predicate logic in AI textbooks.
Mentioned in 1 video
A system of logic that uses quantified variables to express relationships between objects, discussed as a development from predicate logic in AI textbooks.
