| Week | Date |
Topic | Readings | Lecture Slides |
Comments & Additional notes |
| 1 | Jan. 6, 8 |
Introduction to AI Representation & Reasoning Systems Definite Clause Language |
Ch.1, Ch.2.1-2.4 |
Slides (1 per page); Notes (6 per page) |
Watch for tutorial section breakdown on Web page |
| 2 | Jan. 13, 15 |
Semantics of DCL Proof procedures Bottom-up Proofs |
Ch.2.5-2.7 (excluding material on SLD) |
Slides (1 per page); Notes (6 per page) |
handout: example interpretation |
| 3 | Jan. 20, 22 |
Top-down proofs (SLD) KR, uses of DCL |
Ch.2.7-2.8 Ch.3 (excl. 3.7) |
Slides (1 per page); Notes (6 per page) |
Asst.1 out today |
| 4 | Jan. 27, 29 |
Search: Generic search procedures Uninformed search (DFS,BrFS,LCFS) |
Ch.4.1-4.4; Ch.4.6 (read cycle chk, mult path prun) |
Slides (1 per page); Notes (6 per page) |
handout: sample search graph |
| 5 | Feb. 3, 5 |
Search: Arc costs, heuristics Informed search (LCFS,BeFS,A*) Misc. Search Topics |
Ch.4.5; Ch.4.6 (rest, excl. dynamic programming) |
Slides (1 per page); Notes (6 per page) |
Asst.1 due today Asst.2 out today handout: sample heuristic |
| 6 | Feb. 10, 13 | Game tree search, real-time search | No readings: use class notes and slides |
Slides (1 per page); Notes (6 per page) (Slides updated Oct.24) |
Midterm 1 in tutorial today |
| 7 | Feb. 17, 19 |
Planning: Action Represntations STRIPS, Sit.Calc. Planning as Search, STRIPS Planning |
Ch.8.1, 8.2 (skim sit. calc.; skip event calc.), Ch.8.3 (up to STRIPS Planning) |
Slides (1 per page); Notes (6 per page) |
Asst.3 out today |
| 8 | Feb. 24, 26 |
Planning: STRIPS Planning, Regression Planning, Planning as Theorem Proving |
Ch.8.3 |
Slides (1 per page); Notes (6 per page) |
none yet |
| 9 | Mar. 3, 5 |
Reasoning Under Uncertainty Motivation: Decision Making under Uncertainty Basic Probabilistic Notions: Independence |
Ch.10.1-10.2, start on 10.3 |
Slides (1 per page); Notes (6 per page) |
Asst.4 out today |
| 10 | Mar. 10, 12 |
Reasoning Under Uncertainty Bayesian Networks |
Ch.10.3 |
Slides (1 per page); Notes (6 per page) |
none yet |
| 11 | Mar. 17, 19 |
Variable Elimination Decision Making and Utility Theory |
Ch.10.3, Ch.10.4 |
Slides (1 per page); Notes (6 per page) |
Midterm 1 in tutorial today |
| 12 | Mar. 24, 26 | Decision Trees and Decision Networks | Ch.10.4 |
Slides (1 per page); Notes (6 per page) |
None yet |
| 13 | Mar. 31, Apr. 2 | Wrap Up | None. |
Slides (1 per page); Notes (6 per page) |
None yet |