CMSC 671 Fall 2001
CMSC 671 Fall 2001. Class #12/13 – Thursday, October 11 / Tuesday, October 16. Today’s class. First-order logic Properties, relations, functions, quantifiers, … Terms, sentences, wffs, axioms, theories, proofs, … Extensions to first-order logic Logical agents Reflex agents
456 views • 33 slides