The textbook is:
A very good alternative text is: Stuart Russell and Peter Norvig. Artificial Intelligence: A Modern Approach (Third Edition). Prentice-Hall, 2010 (referred to as [R] or, [AIMA] or, when distinguishing editions, [AIMA-1], [AIMA-2], or [AIMA-3]). Supplementary materials from the authors, including an errata list, are available. This text is not required.
The main (approximately 80% of the time) instructional delivery strategy for this course is lectures. Discussions based on graduate and honors student presentations, videos, quizzes or in-class exercises, and a possible invited talk will make up the remaining 20% of time. The first day of classes is Tuesday, January 13, 2015. The last day to withdraw without failure is Thursday, March 5, 2014. Spring break is from March 8 through March 15, 2015 (Sunday-Sunday). The last day of classes is Thursday, April 23, 2015. The final exam for the course is Thursday, April 30, 2015, from 1230-1500 in the classroom (SWGN 2A21). This is the regularly scheduled time for courses taught from 1315 to 1435 on Tuesdays and Thursdays. (See the university exam schedule.)
Please see elsewhere in the web pages for the course for additional administrative information.
| Week | Lecture Topics |
|---|---|
| 1:January 13, 15 | Introduction (Ch.1 [P]) |
| 2: January 20, 22 | Introduction; Intelligent Agents (Chs.1-2[P]) |
| 3: January 27, 29 | The State-Space Approach to Problem Solving and Blind Search (Ch.3 [P]) |
| 4: February 3, 5 | Heuristic Search (Ch.3 [P]) |
| 5: February 10, 12 | Heuristic Search (Ch.3 [P]) |
| 6: February 17, 19 | Constraint Satisfaction Problems (Ch.4[P]) |
| 7: February 24, 26 | Constraint Satisfaction Problems (Ch.4 [P]) |
| 8: March 3, 5 | Midterm Constraint Satisfaction Problems (Ch.4 [P]) |
| 9: March 10, 12 | Spring Break |
| 10: March 17, 19 | The Propositional Calculus, Inference, and Abduction (Ch.5 [P]) |
| 11: March 24, 26 | The Propositional Calculus, Inference, and Abduction (Ch.5 [P]) |
| 12: March 31, April 2 | Reasoning Under Uncertainty (Ch.6 [P]) |
| 13: April 7, 9 | Reasoning Under Uncertainty (Ch.6 [P]) |
| 14: April 14, 16 | Individuals, Relations, and First-Order Logic (Ch.12 [P]; Notes on Resolution Refutation Theorem Proving) |
| 15: April 21, 23 | Individuals, Relations, and First-Order Logic (Ch.12 [P]; Notes on Resolution Refutation Theorem Proving) |