Warren Weaver Hall room 101.
Professor Ernest Davis
Office hours: Wednesday 10:00-11:00, Thursday 4:30-6:00.
- phone: (212) 998-3123
- office: 429 Warren Weaver Hall
Artificial Intelligence: A Modern Approach by Stuart Russell and
Peter Norvig. (2nd edition)
Prerequisites: Fundamental algorithms.
Problem sets and small programming assignments (50%), Final exam (50%).
There are many cognitive tasks that people can do easily and almost
unconsciously but that have proven extremely difficult to program on
a computer. Artificial intelligence is the problem of developing
computer systems that can carry out these tasks.
This course will cover problem solving,
automated reasoning, and machine learning.
- Introduction (Russell and Norvig, chaps 1, 2).
- Search (chaps 3, 4)
- Games playing (chap 6)
- Logic and inference (chaps 7--10)
- Reasoning with Uncertainty (chaps 13 and 16)
- Machine Learning (chaps. 18, 20)
Instructions for class email list
the class email web page and follow the instructions there for
The TA is Yeting Ge (yeting@cs). His office hours are Tuesday 9-11.
His office is 408 WWH.
Problem Sets and Programming Assignments
Problem Set 1. Due Feb. 1
Solution Set 1.
Programming Assignment 1. Due Feb. 8
Problem Set 2. Due Feb. 15
Solution Set 2.
Programming Assignment 2. Due Mar. 8
Problem Set 3. Due Mar. 1
Solution Set 3.
Problem Set 4. Due Mar. 22
Solution Set 4.
Problem Set 5. Due Apr. 5
Solution Set 5.
Problem Set 6. Due Apr. 26
Solution Set 6.
Guide to expressing facts in first-order logic
Examples of backward chaining
You may discuss any of the assignments with your classmates (or anyone else)
but all work for all assignments must be
entirely your own. Any sharing or copying of assignments will be
considered cheating. By the rules of the Graduate School of Arts and Science,
I am required to report any incidents of cheating to the department.
Department policy is that the first incident of cheating will result in the
student getting a grade of F for the course.
The second incident, by GSAS rules, will result
in expulsion from the University.
The final exam will be on Wednesday, May 3 from 7:00 to 9:00 in WWH 101.
It will be closed book and closed notes.
Outline of Topics
Sample Final Exam
Sample Final Exam Solutions
Solutions to Final Exam