Knowledge Representation
Propositional and first-order logic, inference rules, and knowledge bases.
To reason about the world, an AI system must represent facts and rules in a form it can manipulate. This chapter covers propositional logic, first-order predicate logic, resolution-based inference, Horn clauses, and Prolog as a demonstration of logic programming.