[AIMA] = 
Russell, Stuart, and Peter Norvig. Artificial Intelligence: A Modern Approach. 3rd ed. Prentice Hall, 2009. ISBN: 9780136042594.
[IOR] = Hillier, Frederick, and Gerald Lieberman. Introduction to Operations Research. 9th ed. McGraw-Hill, 2009. ISBN: 9780077298340.
[PA] = LaValle, Steven. Planning Algorithms. Cambridge University Press, 2006. ISBN: 9780521862059.
[JINS] = Flanagan, David. Java in a Nutshell. 5th ed. O'Reilly, 2005. ISBN: 9780596007737.
| LEC # | TOPICS | READINGS |
|---|---|---|
| 1 | Introduction |
[AIMA] Chapter 2 [JINS] Chapters 1-3 and 5 |
| 2 | Foundations I: state space search | [AIMA] Chapter 3.1-4 |
| 3 | Foundations II: complexity of state space search |
6.042 Lecture Notes: Recurrences 6.046 Lecture Notes: Asymptotic analysis (PDF) (Courtesy of Erik Demaine. Used with permission.) |
| 4 | Foundations III: soundness and completeness of search | 6.042 Lecture Notes: Proofs, induction I |
| 5 | Constraints I: constraint programming | [AIMA] Chapter 6.1, chapter 24.3-5 |
| 6 | Constraints II: constraint satisfaction | [AIMA] Chapters 6.2-6.5 |
| 7 |
Constraints III: conflict-directed back jumping Planning I: activity planning |
[AIMA] Chapter 10 Blum, Avrim, and Merrick Furst. "Fast Planning Through Planning Graph Analysis." Artificial Intelligence 90 (1997): 281-300. |
| 8 | Planning II: graph plan | [AIMA] Chapter 11 |
| 9 | Planning III: plan termination and plan execution | Dechter, Rina, Itay Meiri, and Judea Pearl. "Temporal Constraint Networks." Artificial Intelligence 49 (1991): 61-95. |
| 10 | Model-based reasoning I: propositional logic and satisfiability | [AIMA] Chapters 7-8 |
| 11 | Encoding planning problems as propositional logic satisfiability | |
| Midterm exam | ||
| 12 | Model-based reasoning II: diagnosis and mode estimation | de Kleer, Johan, and Brian Williams. "Diagnosing Multiple Faults." Artificial Intelligence 32 (1987): 100-117. |
| 13 | Model-based reasoning III: OpSat and conflict-directed A* | Williams, Brian, and Robert Ragno. "Conflict-directed A* and Its Role in Model-based Embedded Systems." Discrete Applied Mathematics 155 (2007): 1562-1595. |
| 14 | Global path planning I: informed search |
[AIMA] Chapter 3.5-6 [PA] Chapter 2.3 |
| 15 | Global path planning II: sampling-based algorithms for motion planning |
[PA] Chapter 5 Karaman, Sertac, and Emilio Frazzoli. "Sampling-based Algorithms for Optimal Motion Planning." International Journal of Robotics Research 30, no. 7 (2011): 846-894. |
| 16 | Mathematical programming I |
[IOR] Chapters 2, 3, and 9.1-3 [PA] Chapter 6.1-2 |
| 17 | Mathematical programming II: the simplex method | [IOR] Chapter 4 |
| 18 | Mathematical programming III: (mixed-integer) linear programming for vehicle routing and motion planning | [IOR] Chapter 11 |
| 19 | Reasoning in an uncertain world | [AIMA] Chapters 13 and 14.1-14.5 |
| 20 | Inferring state in an uncertain world I: introduction to hidden Markov models |
[AIMA] Chapters 15.1-3 and 20.3 Rabiner, Lawrence. "A Tutorial on Hidden Markov Models and Selected Applications in Speech Recognition." Proceedings of the IEEE 77 (1989): 257-286. |
| 21 | Inferring state in an uncertain world II: hidden Markov models, the Baum-Welch algorithm | |
| 22 | Dynamic programming and machine learning I: Markov decision processes | [AIMA] Chapter 17.1-3 |
| 23 | Dynamic programming and machine learning II: Markov decision processes, policy iteration | |
| 24 | Game theory I: sequential games |
[AIMA] Chapters 5 and 17.5 [PA] Chapters 9.3-4 and 10.5 |
| 25 | Game theory II: differential games | [AIMA] Chapter 17.6 |