Date

Topic

Readings

02/20/2003

Introduction to AI and Symbolic Computation (pdf)

Homework No.1

What are intelligence and why?

by Randall Davis, AI Magazine, Spring 1998.

02/27/2003

Introduction to Lisp Programming (pdf)

Overview of Lisp (pdf)

Homework No.2

Notes on LISP by Stuart Russell

Overview.lisp

PAIP Chapters 1 & 2

03/06/2003

GPS: The General Problem Solver

Means-ends analysis (pdf)

Lisp Programming: Part II (pdf)

A. Newell, and H. Simon. GPS: A Program that Simulates Human Thought. Computers and Thought (Feigenbaum & Feldman Eds.), New York: McGraw-Hill, 1963.

(PAIP source code simple.lisp, gps1.lisp, gps.lisp)

GPS: a simplified version

03/13/2003

Symbolic pattern matching (pdf)

Homework No.3

Eliza (a very primitive online version)

PAIP Chapter 5 (source code eliza.lisp, eliza1.lisp, patmatch.lisp)

03/20/2003

Symbolic mathematics (pdf)

Manipulation of polynomials (pdf)

Systems: Macsyma, Maxima, Mathematica

webMathematica Project MAC

Symbolic Integration: The Stormy Decade by J. Moses

Code: poly.lisp

(PAIP source code patmatch.lisp, unify.lisp,

student.lisp)

03/27/2003

Symbolic Simplification (pdf)

Constraint satisfaction problem (pdf)

An introduction to constraint satisfaction programming

(PAIP source code macsyma.lisp, macsymar.lisp, waltz.lisp)

AIMA Chapter 5

04/03/2003

Rule-based expert systems

No class on 04/03/2003

Make-up time: to be announced

Expert System

Buchanan, B. G., and E. H. Shortliffe. Rule-Based Expert Systems: The MYCIN Experiments oJ the Stanford Heuristic Programming Project. Reading, MA: Addison-Wesley, 1984.

(PAIP source code mycin.lisp, mycin-r.lisp)

04/10/2003

Midterm (solutions)

PAIP code

Please respect the honor system.

04/17/2003

Classical AI Planning: STRIPS goal-stack planning (pdf)

Planning (online tutorial by Charles F. Schimdt)

04/24/2003

Classical AI Planning: Partial-order planning (pdf)

UCPOP (University of Washington)

05/01/2003

Planning graghs (pdf)

Term Project

Graphplan by Blum & Furst

Sensory Graphplan (University of Washington)

05/08/2003

Dealing with uncertainty and change

Conditional planning (pdf)

05/15/2003

Robot planning (pdf)

Robot Path Planning Using Generalized Voronoi Diagrams

Motion Planning: A Journey of Robots, Molecules, Digital Actors, and Other Artifacts. J.C. Latombe. Int. J. of Robotics Research, Special Issue on Robotics at the Millennium -- Part I, 18(11):1119-1128, November 1999.

05/22/2003

Probabilistic reasoning (pdf)

Reasoning with Uncertainty (pdf)

AIMA Chapter 13

05/29/2003

Probabilistic reasoning in Bayesian networks

AIMA Chapter 14.1~14.3  (pdf)

06/05/2003

Exact & Approximate reasoning in Baysian Networks

Learning Bayesian Networks

AIMA Chapter 14.4~14.6 (pdf)

Lecture notes by Lise Getoor

06/12/2003

Anytime algorithms

Collaborative filtering & recommender systems

Term project report due

Simulated annealing paper

Recommender system paper