Lecture notes

Notes (handout) Notes (overhead presentation) Relevant textbook material
Agents Agents Chapter 2
Search1 Search1 Chapter 3 (Section 3.6 covered lightly). some Section 4.1
Constraint satisfaction problems CSP Chapter 6
Propositional logic Propositional logic Chapter 7, extra
First-order logic FOL Chapters 8 and 9
Prolog programming Prolog  
Uncertainty Uncertainty Nonmonotonic logic, Chapter 13
Belief networks Belief networks Part of Chapter 14
FOL probabilistic inference FOL inference Part of Chapter 14
Utility Utility Chapter 16
Inductive learning Inductive learning Chapter 18


Note that Sections 3.5.3 and 4.1 have not been covered in class explicitly, but you are supposed to read them and become familiar with the matter.