Artificial Intelligence

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

Reaching Me

Office hours: Monday 4:30 -- 6:00, Wednesday 1:00 -- 2:00

Textbook:

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

Prerequisites:

Fundamental algorithms.

Requirements:

Biweekly problem sets (50%), Final exam (50%).

Description:

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, planning, and knowledge representation.

Course topics:

Instructions for class email list

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

TA

The TA is Heng Ji (hengji@cs). Her office hours are Thursday, 2:00-4:00. Her office is 705, 715 Bway, x8-3098.

Problem Sets and Programming Assignments

Problem Set 1. Due Feb. 2
Solution Set 1.
Programming Assignment 1. Due Feb. 9
Test cases for programming assignment 1.
Problem Set 2. Due Feb. 16
Solution Set 2.
Programming Assignment 2. Due Mar. 9
Problem Set 3. Due Mar. 9. Note changed due date.
Solution Set 3.
Problem Set 4. Due March 30.
Solution Set 4.
Programming Assignment 3. Due Apr. 27
Solution Set 5.
Problem Set 6. Due April 27.

Class notes

Propositional Logic
Davis-Putnam Procedure and Example
Predicate calculus
SAT-based planning and the blocks world
Blocks world in STRIPS and PDDL.

The following are just for illustration, not required for detailed study:
PDDL by Example (Manuela Veloso).
Bucket microworld in a non-standard extension of PDDL.
IPC 2000 specifications.

Final Exam

The final exam will be on Wednesday, May 4 from 7:00 to 9:00 in WWH 101. It will be closed book and closed notes.
Outline of Topics
Sample Final Exam
Solutions to Sample Final Exam
Solutions to Final Exam