Spring 2001
Department of Computer Science
University of Waterloo
Instructor: Dale Schuurmans, DC1310, x3005, dale@cs.uwaterloo.ca
| Introduction | ||||
|---|---|---|---|---|
| Lecture 0 | Introduction to AI | Tues May 1 | ||
| Lecture 1 | More introduction to AI | Thur May 3 | ||
| Part 1 | Reasoning | |||
| Lecture 2 | Automating reasoning: formal inference | Tues May 8 | ||
| Lecture 3 | Correct & exhaustive reasoning | Thur May 10 | ||
| Lecture 4 | Constraint satisfaction search | Tues May 15 | ||
| Lecture 5 | Problem solving search | Thur May 17 | ||
| Lecture 6 | Automated planning | Tues May 22 | ||
| Lecture 7 | Planning algorithms | Thur May 24 | A1, P0 due | |
| Lecture 8 | General first order representation | Tues May 29 | ||
| Lecture 9 | Planning in logic (situation calculus) | Thur May 31 | ||
| Lecture 10 | Correct & exhaustive first order reasoning | Tues Jun 5 | ||
| Part 2 | Knowing | |||
| Lecture * | Knowledge representation | (R&N Ch. 8) | ||
| Part 3 | Interpreting | |||
| Lecture 11 | Automated interpretation / Demos | Thur Jun 7 | ||
| Lecture 12 | Probability modelling | Tues Jun 12 | A2 due | |
| Lecture 13 | Structured probability models | Thur Jun 14 | ||
| Lecture 14 | Efficient probabilistic inference | Tues Jun 19 | ||
| Lecture 15 | Inference in complex models | Thur Jun 21 | ||
| Lecture 16 | Interpreting senses (perception) | Tues Jun 26 | ||
| Lecture 17 | Interpreting natural language | Thur Jun 28 | ||
| Part 4 | Behaving | |||
| Lecture 18 | Optimal behavior: Decision theory | Tues Jul 3 | A3 due | |
| Lecture 19 | Optimal sequential decision making | Thur Jul 5 | ||
| Lecture 20 | Optimal behavior: Game theory | Tues Jul 10 | ||
| Lecture 21 | Scaling up: Partial observability | Thur Jul 12 | ||
| Lecture * | Scaling up / Robotics and control | (R&N Ch. 25) | ||
| Part 5 | Learning | |||
| Lecture 22 | Types of learning problems | Tues Jul 17 | A4 due | |
| Lecture 23 | Function learning algorithms | Thur Jul 19 | ||
| Lecture 24 | Course review | Tues Jul 24 | ||
| Lecture 25 | Generalization theory / Overfitting | Thur Jul 26 | ||
| Mon Jul 30 | Final exam (9-12) | |||
| Fri Aug 3 | Project due |