Slide 1 ITCS 3153 Artificial Intelligence Lecture 13 First-Order Logic Chapter 8 Lecture 13 First-Order Logic Chapter 8 Slide 2 First-order logic We saw how propositional…