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 14, 2014. The last day to withdraw without failure is Monday, March 3, 2014. The last day of classes is Thursday, April 24, 2014. The final exam for the course is Saturday, May 3, 2014, from 0900-1130 in the classroom (300M B112). This is the regularly scheduled time for courses taught from 1005 to 1120 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 14, 16 | Introduction (Ch.1 [P]) |
| 2: January 21, 23 | Introduction; Intelligent Agents (Chs.1-2[P]) |
| 3: January 28, 30 | Introduction; Intelligent Agents (Chs.1-2[P]) |
| 4: February 4, 6 | The State-Space Approach to Problem Solving and Blind Search (Ch.3 [P]) |
| 5: February 11, 13 | Heuristic Search (Ch.3 [P]) |
| 6: February 18, 20 | Heuristic Search (Ch.3 [P]) |
| 7: February 25, 27 | Midterm and Heuristic Search(Ch.4 [P]) |
| 8: March 4, 6 | Constraint Satisfaction Problems (Ch.4 [P]) |
| 9: March 11, 13 | Spring Break |
| 10: March 18, 20 | Constraint Satisfaction Problems (Ch.4 [P]) |
| 11: March 25, 27 | The Propositional Calculus, Inference, and Abduction (Ch.5 [P]) |
| 12: April 1, 3 | The Propositional Calculus, Inference, and Abduction (Ch.5 [P]) |
| 13: April 8, 10 | Reasoning Under Uncertainty (Ch.6 [P]) |
| 14: April 15, 17 | Individuals, Relations, and First-Order Logic (Ch.12 [P]; Notes on Resolution Refutation Theorem Proving) |
| 15: April 22, 24 | Individuals, Relations, and First-Order Logic (Ch.12 [P]; Notes on Resolution Refutation Theorem Proving) |