Logic and Knowledge Base Systems. Outline Knowledge-based systems Wumpus world Logic in general - models and entailment Propositional (Boolean) logic.
