Lecture 7 - Logical Agents, Propositional Logic

Knowledge-based Systems

Syntax and Semantics in Propositional Logic

Model checking

Theorem Proving

Resolution

Forward and Backward Chaining