Date  Topic  Materials 
8/27  Introduction.  Chapter 1. Introduction slides: ppt, pdf. 
8/299/12  Search. Constraint satisfaction and optimization problems.  Chapters 3, 4, 5.
Search slides: ppt, pdf. More search slides: ppt, pdf. For more about linear and integer programming, you can go to the website of a course I taught recently; especially the introduction and branch and bound lecture notes might be useful. Homework 1. Helper files: knight distances, queens file from Andrew, tile puzzle file 1 from Andrew, tile puzzle file 2 from Andrew. 
9/17, 9/19  Game playing.  Chapter 6. Slides: ppt, pdf. 
9/1910/8  Logic.  Chapters 7, 8,
9.
Propositional logic slides: ppt, pdf. Firstorder logic slides: ppt, pdf. Homework 2. 
10/1010/15  Planning.  Homework 3. Planning slides: ppt, pdf. Chapter 11. 
10/17?  Probabilistic reasoning.  Chapters 1317. Homework 4. Probability slides: ppt, pdf. Bayes nets slides: ppt, pdf. Markov processes and HMMs slides: ppt, pdf. 
Decision theory. Markov decision processes, POMDPs. Game theory.  Chapters 18, 19, 20. 

Machine learning (briefly, if time allows).  Chapters 18, 19, 20, 21. (You do not need
to know this in great detail since we will spend so little time on this in
class, the chapters are just in case you're interested.) 

Wrapping up. 