entailment

Lecture 1: Knowledge

Introduction to artificial intelligence focusing on propositional logic, entailment, inference, model checking, resolution, and first order logic.