Slide 11 Artificial Intelligence First-Order Logic Inference in First-Order Logic Slide 2 2 First-Order Logic: Better choice for Wumpus World Propositional logic represents…