Spring 2003
School of Computer Science
University of Waterloo
| Instructors: | Relu Patrascu | DC2127, x3299 | rpatrasc@cs.uwaterloo.ca |
| Dale Schuurmans | DC1310, x3005 | dale@cs.uwaterloo.ca |
| Introduction | ||||||
|---|---|---|---|---|---|---|
| Lecture 1 | Introduction to AI | Tues May 6 | ||||
| Part 1 | Reasoning | |||||
| Lecture 2 | Automating reasoning: formal inference | Thur May 8 | ||||
| Lecture 3 | Correct & exhaustive reasoning | Tues May 13 | ||||
| Lecture 4 | Constraint satisfaction search | Thur May 15 | ||||
| Lecture 5 | Problem solving search | Tues May 20 | ||||
| Lecture 6 | Automated planning | Thur May 22 | ||||
| Lecture 7 | Planning algorithms | Tues May 27 | A1 due Wed May 28 | |||
| Lecture 8 | General first order representation | Thur May 29 | P0 due Thur May 29 | |||
| Lecture 9 | Planning in logic, First order inference | Tues June 3 | ||||
| Part 2 | Knowing | |||||
| Reading | Knowledge representation | (R&N2 Ch. 10) | ||||
| Part 3 | Interpreting | |||||
| Lecture 10 | Automating interpretation systems | Thur June 5 | ||||
| Lecture 11 | Probability modelling | Tues June 10 | A2 due Wed June 11 | |||
| Lecture 12 | Structured probability models | Thur June 12 | ||||
| Lecture 13 | Efficient probabilistic inference | Tues June 17 | ||||
| Lecture 14 | Inference in complex models | Thur June 19 | ||||
| Lecture 15 | Interpreting senses (perception) | Tues June 24 | ||||
| Lecture 16 | Interpreting natural language | Thur June 26 | A3 due Wed Jul 2 | |||
| Part 4 | Behaving | |||||
| Lecture 17 | Optimal behavior: Decision theory | Thur July 3 | ||||
| Lecture 18 | Optimal sequential decision making | Tues July 8 | ||||
| Lecture 19 | Optimal behavior: Game theory | Thur July 10 | ||||
| Lecture 20 | Scaling up: Partial observability | Tues July 15 | A4 due Wed Jul 16 | |||
| Reading | Robotics and control | (R&N2 Ch. 25) | ||||
| Part 5 | Learning | |||||
| Lecture 21 | Types of learning problems | Thur July 17 | ||||
| Lecture 22 | Function learning algorithms | Tues July 22 | ||||
| Lecture 23 | Generalization theory / Overfitting | Thur July 24 | ||||
| Conclusion | ||||||
| Lecture 24 | Course review | Tues July 29 | Project due | |||
| Fri Aug 1 | Final exam | 9-12 in | MC 4040, 4058, 4060 |