INTRODUCTION TO ARTIFICIAL INTELLIGENCE (CS 1571), Fall 2017
Professor | Dr. Diane Litman
Teaching Assistant | Ahmed Magooda
When & Where | Mondays and Wednesdays 11:00-12:15, SENSQ 5129
Office Hours | Litman: After class or by appointment and TBD Magooda: Tu/Th 1-3
Description | This course will provide an introduction to the fundamental concepts and techniques underlying the construction of intelligent computer systems. Topics include problem solving and search, logic and knowledge representation, planning, reasoning and decision-making in the presence of uncertainty, and advanced topics such as machine learning. Prerequisites: CS 1501 and 1502 OR consent of the instructor Required Textbook: Stuart Russell and Peter Norvig. 2010. Artificial Intelligence: a Modern Approach. 3rd Ed. Prentice Hall.
Required Work | Homeworks (45%), Midterm Exam (25%), and Final Exam (30%) Absences and Late Assignments: If an absence is unavoidable, you are still responsible for making arrangements to turn in the assignments on time. You are also responsible for obtaining any materials passed out and the information announced during the missed class. In case of extraordinary circumstances (hospitalization, family emergency) you should contact me as soon as possible so that we may arrange an extension for assignments prior to the due date. Documentation will be required (and will be verified). In all other cases, if an assignment can be accepted late, the penalty is 10% per day up to 5 days including Saturday, Sunday, and holidays. Assignments are due by 11:59pm, and will be verified using Blackboard timestamps. There are NO makeup possibilities for exams.

Date/Topic | Chapter | Assignments and Other Materials
I. Artificial Intelligence |  |
August 28 Introduction | RN 1 | Resources Association for the Advancement of Artificial Intelligence (AAAI) NY Times AI news Video lectures Local seminars Reading for next class Is Artificial Intelligence Permanently Inscrutable?
August 30 Intelligent Agents | RN 2 |
II. Problem-Solving | RN 3-6 |
September 6, 11 Solving Problems by Searching | RN 3.1-3.4 | NY Times Op Ed (9/1/17): How to Regulate Artificial Intelligence CACM (9/17): Moving Beyond the Turing Test with the Allen AI Science Challenge Research Blog (9/7/17): The Seven Deadly Sins of Predicting the Future of AI
September 13 Solving Problems by Searching | RN 3.5 | Assigned (9/13): Homework 1 (due 10/2)
September 18 Beyond Classical and Adversarial Search | RN 4.1.1 RN 5.1 | Scientific American (June 2017): 20 years After Deep Blue: How AI Has Advanced Since Conquering Chess
September 20, 25 Adversarial Search | RN 5.1-5.5 | Play checkers with Chinook Comic
September 27 Constraint Satisfaction | RN 6.1-6.4 Guest lecturer: Haoran (Colin) Zhang |
III. Knowledge, Reasoning, and Planning | RN 7-10 |
October 2, 4, 10 (Tuesday!) Logical Agents, Propositional Logic | RN 7 | Due (10/2): Homework 1 Assigned (10/2): Homework 2 (due 10/16, no programming; late assignments can only be submitted through 10/18) Just released (9/7/17): A Formal Theory of Commonsense Psychology: How People Think People Think CSP example done in class
October 11, 16 First-Order Logic | RN 8 | Due (10/16): Homework 2
October 18 Inference in First-Order Logic | RN 9 | Midterm Review
October 23 | Midterm Exam (closed book, NO makeups) | Covers RN 3-6
October 25 Inference in First-Order Logic | RN 9 | Assigned (10/25): Homework 3: written (due 11/3), programming (due 11/13) Comic
October 30, November 1 Planning | RN 10.1-10.2, 10.4 | Due (11/3): Homework 3 (written) International Conference on Automated Planning and Scheduling
IV. Uncertain Knowledge and Reasoning | RN 13-14 |
November 6, 8 Quantifying Uncertainty | RN 13 | Midterm returned Association for Uncertainty in Artificial Intelligence
November 8, 13, 15 Probabilistic Reasoning | RN 14.1-2,14.4.1 | Due (11/13): Homework 3 (programming) Bayes's Theorem: What's the Big Deal?
V. Advanced Topics |  |
| November 15, 20, 27, 29 Learning from Examples | RN 18.1-18.4, 18.10, 18.11, 18.7.1-2 | Assigned (11/15): Homework 4: written (due 12/1), programming (due 12/6) Comic International Machine Learning Society Weka ---> | November 29, December 4 Making Simple Decisions | RN 16.1-16.3.2 | See Courseweb for important changes/details regarding HW4 programming assignment. Due (12/1): Homework 4 (written) | December 4 Natural Language Processing | RN 22.1-22.2 | Last "Homework" Association for Computational Linguistics | December 6 Ethics | RN 26.3 | Due (12/6): Homework 4 (programming) Final Exam Review Notes Researchers Combat Gender and Racial Bias in Artificial Intelligence
Tuesday December 12 12:00-1:50 (Pitt Exam Schedule) | Final Exam (closed book, NO makeups | Covers everything since midterm (i.e., from Chapter 7 to 22)

Acknowledgements: Some of the materials used in this course borrow from the AI courses of Professors Hauskrecht, Hwa, Salleb-Aouissi, and Wiebe, as well as from the resources provided with the text and/or available on the web.