Outline
	n Knowledge-based agents n Wumpus world n Logic in general - models and entailment n Propositional (Boolean) logic n Equivalence, validity, satisfiability n Inference rules and theorem proving n forward chaining n backward chaining n resolution