Artificial Intelligence

Wednesday, 7:00-9:00.
Warren Weaver Hall room 101.
Professor Ernest Davis

Reaching Me

Office hours: Wednesday 10:00-11:00, Thursday 4:30-6:00.


Artificial Intelligence: A Modern Approach by Stuart Russell and Peter Norvig. (2nd edition)


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.

Course topics:

Instructions for class email list

Link to the class email web page and follow the instructions there for subscribing.


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.


Propositional Logic
Davis-Putnam algorithm
Davis-Putnam: example.
Predicate calculus
Guide to expressing facts in first-order logic
Examples of backward chaining
1R Algorithm
ID3 Algorithm
ID3 Example


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.

Final Exam

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