Thursday, 5:00-7:00. Warren Weaver Hall room 101.
Professor Ernest Davis
- phone: (212) 998-3123
- office: 429 Warren Weaver Hall
- office hours: Tuesday 4:30-5:30. Friday 10:00-11:30.
Artificial Intelligence: A Modern Approach by Stuart Russell and
If you're buying the book new, be sure to get the 2nd edition, with the green
cover. If you can get the first edition (brown cover) used cheaper, that'll
be OK too; I'm not following the book that closely.
Prerequisites: Fundamental algorithms.
Biweekly problem sets (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, learning, and planning.
There have been two major paradigms for artificial intelligence. Traditional
AI has followed the knowledge-based approach, based around
handcrafting large symbolic representations of knowledge of the relevant
domain. Many of the recent successes of AI, however, have come from
the statistical approach, in which simple patterns are automatically
extracted from data corpora, and applied to the problem. We will study
how both of these paradigms apply to the various AI tasks, the relative
strengths and weaknesses of each approach, and possible methods for combining
the approaches together.
- Introduction (Russell and Norvig, chaps 1&2).
- Search (chaps 3, 4 except 4.3)
- Games playing (chap 5)
- Logic and inference (chaps 6, 7, 9, 10)
- Learning. (chaps 18, 19, 21).
Instructions for class email list
the class email web page and follow the instructions there for
Programming assignments must be submitted by email. The format should
be the ASCII source file for the code. Be sure to include your name as
a comment at the beginning of the code.
Problem sets may be submitted either by email or in hard-copy. Acceptable
formats for email are ASCII text, HTML, or Postscript.
NO OTHER FORMATS WILL BE ACCEPTED.
Homeworks must be submitted at or before the beginning of class on the
day due. Assignments will be accepted up to a week late, with a penalty
of one point out of ten. No assignments will be accepted more than a week
Problem Set 1
Solution Set 1
Problem Set 2
Solution Set 2
Problem Set 3
Solution Set 3
Problem Set 4
Solution Set 4
Problem Set 5
Solution Set 5
Programming assignment 1
Propositional Logic In PDF
Davis-Putnam Procedure and
2nd Handout on Logic In PDF
First-Order Logic (Revised notes)
Minimum description length learning
Additional reading (optional)
The Quest for Efficient Boolean Satisfiability Solvers Lintao
Zhang, Sharad Malik
Last year's course
You may find the
the web site for last year's course useful.
The final exam will be on Thursday May 6 from 5:00 to 6:50 in WWH 101.
Sample Exam Questions
Sample Exam Solutions
Solutions to Final Exam (PDF)