FOL Practice
FOL Practice. Models. A model for FOL requires 3 things: A set of things in the world called the UD A list of constants A list of predicates, relations, or functions. UD: Ashley, Clarence, Rhoda, Terry, and their marbles a: Ashley c: Clarence r: Rhoda t: Terry. B(x): x is blue
297 views • 20 slides