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 |