Introduction to Logical Reasoning
Foundations of knowledge-based agents
Syntax and Semantics
Propositional logic syntax and truth tables
The Wumpus World
A classic AI reasoning environment
Knowledge Base Operations
Inference rules and knowledge base manipulation
Model Checking
Verifying logical entailment through enumeration
Theorem Proving
Resolution-based theorem proving