6.825 Syllabus, Fall 2002
| | | | | | | | | | |
|---|
| DAY # | | | | TOPICS | | | | READINGS | | | LECTURE MATERIALS | | | EXERCISES | | | ASSIGNMENTS |
|---|
| | | | | | | | | | |
|---|
| | | | | | | | | | | | 1 | | | | Introduction | | | | AIMA 1, 2 | | | Lec 1 (PDF) | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 2 | | | | Search: A*, Stochastic Methods | | | | AIMA 3, 4 | | | Lec 2 (PDF) | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 3 | | | | Propositional Logic: Syntax, Semantics | | | | AIMA 6 | | | Lec 3 (PDF) | | | Exercises, Lec 3-5 (PDF) | | | | | | | | | | | | | | | | | | | | | | | | | | | 4 | | | | Propositional Satisfiability | | | | Finding Hard Instances of the Satisfiability Problem: A Survey | | | Lec 4 (PDF - 1.2 MB) | | | | | | HW-1a Out | | | | | | | | | | | | | | | | | | | | | | | | 5 | | | | First-Order Logic: Intro | | | | AIMA 7.1 - 7.3 | | | Lec 5 (PDF) | | | Solutions, Lec 3-5 (PDF) | | | | | | | | | | | | | | | | | | | | | | | | | | | 6 | | | | FOL: Knowledge Representation | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 7 | | | | FOL: Resolution | | | | AIMA 9.6-9.7 | | | Lec 7 (PDF) | | | Exercises, Lec 7-8 (PDF) | | | | | | | | | | | | | | | | | | | | | | | | | | | 8 | | | | FOL: More Resolution | | | | Nilsson Chapter | | | Lec 8 (PDF) | | | Solutions, Lec 7-8 (PDF) | | | HW-1b Out
HW-1a Due | | | | | | | | | | | | | | | | | | | | | | | | 9 | | | | Equality; Other Logics | | | | AIMA 8.6 | | | Lec 9 (PDF) | | | Resolution & Paramodulation Exercises (PDF)
Solutions (PDF) | | | | | | | | | | | | | | | | | | | | | | | | | | | 10 | | | | Planning: Situation Calculus and POP | | | | AIMA 7.4 - 7.10, 11
Programs with Common Sense | | | Lec 10 (PDF) | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 11 | | | | Planning: More POP | | | | | | | Lec 11 (PDF) | | | Exercise Solutions (PDF) | | | | | | | | | | | | | | | | | | | | | | | | | | | 12 | | | | | | | | | | | | | | | | | HW-1b Due
HW-1c Out | | | | | | | | | | | | | | | | | | | | | | | | 13 | | | | Planning: GraphPlan and SATPlan | | | | Recent Advances in AI Planning, Weld, 1-2.2, 3.1; AIMA 13 | | | Lec 12 (PDF) | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 14 | | | | Planning
Review Session | | | | | | | Lec 13 (PDF) | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 15 | | | | Probability | | | | AIMA 14 | | | Lec 14 (PDF) | | | Exercise Solutions (PDF) | | | HW-1c Due | | | | | | | | | | | | | | | | | | | | | | | | 16 | | | | Quiz | | | | | | | Midterm Solutions (PDF) | | | Practice Midterm (PDF)
Practice Solutions (PDF) | | | | | | | | | | | | | | | | | | | | | | | | | | | 17 | | | | Bayesian Networks | | | | AIMA 15.1-15.3 | | | Lec 15 (PDF) | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 18 | | | | Bayesian Networks: General Inference | | | | AIMA Second Edition 14 | | | Lec 16 (PDF) | | | Exercise Solutions (15-16) (PDF) | | | | | | | | | | | | | | | | | | | | | | | | | | | 19 | | | | Learning: Bayes Nets: Observable | | | | Nilsson Chapter | | | Lec 17 (PDF) | | | Exercise Solutions 17 (PDF) | | | HW 2a Out | | | | | | | | | | | | | | | | | | | | | | | | 20 | | | | Learning: Bayes Nets: Hidden | | | | | | | Lec 18 (PDF) | | | Exercise Solutions 18 (PDF) | | | | | | | | | | | | | | | | | | | | | | | | | | | 21 | | | | Decision Theory | | | | AIMA 16 | | | Lec 19 (PDF) | | | Exercise Solutions 19 (PDF) | | | | | | | | | | | | | | | | | | | | | | | | | | | 22 | | | | Markov Decision Processes | | | | AIMA 17 | | | Lec 20 (PDF) | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 23 | | | | Probabilistic Planning | | | | Optional: Probabilistic Planning in the Graphplan Framework | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 24 | | | | Reinforcement Learning | | | | AIMA 20 | | | Lec 22 (PDF) | | | | | | HW-2a Due
HW-2b Out | | | | | | | | | | | | | | | | | | | | | | | | 25 | | | | Supervised Learning | | | | AIMA 18.1-18.4, 19.1-19.5 | | | | | | | | | HW-3 Out (PDF) (Not Graded) | | | | | | | | | | | | | | | | | | | | | | | | 26 | | | | Philosophy | | | | AIMA 26 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 27 | | | | Review | | | | | | | | | | | | |
|
|