First-Order Logic ECE457 Applied Artificial Intelligence Spring 2007 Lecture #7 Outline First-order logic (FOL) Sentences Russell & Norvig, chapter 8 Inference Russell…
