Computer Science CPSC 502 Lecture 6 Finish Planning Start Logic (Ch 5) 1 Lecture Overview Finish Planning Logics Propositional, Definite Clause Logic: Syntax and Semantics…