Lecture notes

Notes (4-up)	Notes (1-up)	Textbook material (2nd ed.)	Textbook material (3rd ed.)
Agents	Agents	Chapter 2	Chapter 2
Search1	Search1	Chapter 3 (except 3.6) and Sections 4.1, 4.2	Chapter 3
Constraint satisfaction problems	CSP	Chapter 5	Chapter 6
Propositional logic	Propositional logic	Chapter 7, some stuff outside the text	Chapter 7, some stuff outside the text
First-order logic	FOL	Chapters 8 and 9	Chapters 8 and 9
Prolog programming2	Prolog2
Uncertainty	Uncertainty	Nonmonotonic logic, Chapter 13	Nonmonotonic logic, Chapter 13
Belief networks	Belief networks	Part of Chapter 14	Part of Chapter 14
FOL probabilistic inference	FOL inference	Part of Chapter 14	Part of Chapter 14
Utility	Utility	Chapter 16	Chapter 16
	Conclusions	Unfortunately we did not have time to discuss these. I hope you find my conclusions interesting.

Footnotes

...Search¹

Note that Sections 4.1 and 4.3 (2nd edition) or Sections 3.5.3 and 4.1 (3rd edition) have not been covered in class explicitly but that you are supposed to read them by yourself and be familiar with the material.

... programming²

Two prolog implementations of the Cabbage, Goat, Wolf problem discussed in class earlier are cgw.pl and cgw1.pl.