Calendar

[AIMA] = Artificial Intelligence: A Modern Approach (First Edition)

Day # Topics Readings Lectures Exercises Assignments
1 Introduction AIMA 1, 2 Lec 1    
2 Search: A*, Stochastic Methods AIMA 3, 4 Lec 2    
3 Propositional Logic: Syntax, Semantics AIMA 6 Lec 3 Exercises, Lec 3-5  
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 Solutions, Lec 3-5  
6 FOL: Knowledge Representation        
7 FOL: Resolution AIMA 9.6-9.7 Lec 7 Exercises, Lec 7-8  
8 FOL: More Resolution Nilsson Chapter Lec 8 Solutions, Lec 7-8 HW-1b Out
HW-1a Due
9 Equality; Other Logics AIMA 8.6 Lec 9 Resolution & Paramodulation Exercises

Solutions
 
10 Planning: Situation Calculus and POP AIMA 7.4 - 7.10, 11
Programs with Common Sense
Lec 10    
11 Planning: More POP   Lec 11 Exercise Solutions  
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    
14 Planning
Review Session
  Lec 13    
15 Probability AIMA 14 Lec 14 Exercise Solutions HW-1c Due
16 Quiz   Midterm Solutions Practice Midterm

Practice Solutions
 
17 Bayesian Networks AIMA 15.1-15.3 Lec 15    
18 Bayesian Networks: General Inference AIMA Second Edition 14 Lec 16 Exercise Solutions (15-16)  
19 Learning: Bayes Nets: Observable Nilsson Chapter Lec 17 Exercise Solutions 17 HW 2a Out
20 Learning: Bayes Nets: Hidden   Lec 18 Exercise Solutions 18  
21 Decision Theory AIMA 16 Lec 19 Exercise Solutions 19  
22 Markov Decision Processes AIMA 17 Lec 20    
23 Probabilistic Planning Optional: Probabilistic Planning in the Graphplan Framework      
24 Reinforcement Learning AIMA 20 Lec 22   HW-2a Due
HW-2b Out
25 Supervised Learning AIMA 18.1-18.4, 19.1-19.5     HW-3 Out (Not Graded)
26 Philosophy AIMA 26      
27 Review       HW-3 Solutions
28 Final Exam
Time: 3 Hours