Fall 2001
Department of Computer Science
University of Waterloo
| Instructors: | Dale Schuurmans | DC1310, x3005 | dale@cs.uwaterloo.ca |
| Vlado Keselj | DC2133, x3378 | vkeselj@cs.uwaterloo.ca |
| Introduction | ||||||
|---|---|---|---|---|---|---|
| Lecture 1 | Introduction to AI | Tues Sep 11 | ||||
| Part 1 | Reasoning | |||||
| Lecture 2 | Automating reasoning: formal inference | Thur Sep 13 | ||||
| Lecture 3 | Correct & exhaustive reasoning | Tues Sep 18 | ||||
| Lecture 4 | Constraint satisfaction search | Thur Sep 20 | ||||
| Lecture 5 | Problem solving search | Tues Sep 25 | ||||
| Lecture 6 | Automated planning | Thur Sep 27 | ||||
| Mon Oct 1 | A1 due | |||||
| Lecture 7 | Planning algorithms | Tues Oct 2 | P0 due | |||
| Lecture 8 | General first order representation | Thur Oct 4 | ||||
| Lecture 9 | Planning in logic, First order inference | Tues Oct 9 | ||||
| Part 2 | Knowing | |||||
| Lecture * | Knowledge representation | (R&N Ch. 8) | ||||
| Part 3 | Interpreting | |||||
| Lecture 10 | Automating interpretation systems | Thur Oct 11 | ||||
| Mon Oct 15 | A2 due | |||||
| Lecture 11 | Probability modelling | Tues Oct 16 | ||||
| Lecture 12 | Structured probability models | Thur Oct 18 | ||||
| Lecture 13 | Efficient probabilistic inference | Tues Oct 23 | ||||
| Lecture 14 | Inference in complex models | Thur Oct 25 | ||||
| Lecture 15 | Interpreting senses (perception) | Tues Oct 30 | ||||
| Lecture 16 | Interpreting natural language | Thur Nov 1 | ||||
| Mon Nov 5 | A3 due | |||||
| Part 4 | Behaving | |||||
| Lecture 17 | Optimal behavior: Decision theory | Tues Nov 6 | ||||
| Lecture 18 | Optimal sequential decision making | Thur Nov 8 | ||||
| Lecture 19 | Optimal behavior: Game theory | Tues Nov 13 | ||||
| Lecture 20 | Scaling up: Partial observability | Thur Nov 15 | ||||
| Lecture * | Robotics and control | (R&N Ch. 25) | ||||
| Mon Nov 19 | A4 due | |||||
| Part 5 | Learning | |||||
| Lecture 21 | Types of learning problems | Tues Nov 20 | ||||
| Lecture 22 | Function learning algorithms | Thur Nov 22 | ||||
| Lecture 23 | Generalization theory / Overfitting | Tues Nov 27 | ||||
| Conclusion | ||||||
| Lecture 24 | Course review | Thur Nov 29 | Project due | |||
| Thur Dec 6 | Final exam | 9am-12noon | EL112 and EL207 |