Thematic image University of Washington Department of Computer Science & Engineering
 CSE 573 - Artificial Intelligence I- Autumn 2001
  CSE Home     All CSE courses    CSE 573 in previous years  About Us    Search    Contact Info 

Mailing List Resources
 Post to the Mailing List
 Mailing List Archive
Course Resources
 Course Overview
 Syllabus
 Lecture Notes
 Readings
 Assignments
 Schedule
   

Overview


Instructor:
Henry Kautz
Office: 417 Sieg Hall
Office hours: Monday 2-3pm or by appointment

Teaching Assistant: Don Patterson
Office: 429 Sieg Hall
Office hours: Wednesday 11:30-12:30 or by appointment
You can also ask questions to the class via the mailing list. Send mail to the mailing list.

Text: Stuart Russell & Peter Norvig, Artificial Intelligence: A Modern Approach

Chess Tournament:
HTML

Syllabus:

PS, PDF

Lecture notes:


Lecture 1 posted 10/1/01:
Lecture 2 posted 10/3/01: Revised Lecture 2 posted 10/8/01: Lecture 3 posted 10/8/01: Lecture 4 posted 10/12/01: Game Playing Lecture 6A posted 10/12/01: Lecture 6B posted 10/12/01: Game Playing Lecture 7 posted 10/15/01:
Lecture 8 posted 10/18/01: Lecture 9/10 posted 10/24/01: Local Search Lecture 11/12 posted 10/29/01: Knowledge Representation Lecture 13/14 posted 11/02/01: First Order Logic Lecture 18 posted 11/09/01: Ontologies Lecture 19 posted 11/14/01: Planning Lecture 21 posted 11/19/01: Planning Continued Lecture 22 posted 11/21/01: Probability Lecture 23 posted 11/27/01: Bayes Nets Lecture 24 posted 11/27/01: Bayes Nets Continued Lecture 24B posted 12/03/01: Gibbs Sampling Lecture 25 posted 12/06/01: Intro to learning Lecture 26 posted 12/6/01: Bayesian Learning Lecture 27 posted 12/3/01: Decision Trees Lecture 28 posted 12/3/01: Neural Nets Lecture 28B posted 12/10/01: Hebbian Learning Lecture 29 posted 12/6/01: Support Vector Machines

Readings:


Reading Due Date
R&N ch 5 10/12
ch 3.7, also ch 6 and 7 10/18
Practice Mid-Term Questions
MS Word RTF
Stephen A. Cook and David G. Mitchell, "Finding Hard Instances of the Satisfiability Problem: A Survey", in Dingzhu Du, Jun Gu, and Panos M. Pardalos, editors, The Satisfiability Problem: Theory and Application, volume 35 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pages 1-17. American Mathematical Society, 1997.

Excellent overview of both the phase transition phenomena and the GSAT/Walksat local search algorithms.

PS
PS: Support Vector Machine Tutorial

Assignments:


Homework 1 posted 10/8/01 due 10/12/01:
PS , PDF
Homework 2A posted 10/12/01 due 10/19/01: PS , PDF , HTML
    Additional resources:
  • Here is a Perl script that will do some very basic tests your tic-tac-toe implementation. ttt-server.pl
  • Here is a Perl script that will play a very bad game of tic-tac-toe. ttt.pl
  • A good exercise would be to run the following 'ttt-server.pl ttt.pl ttt.pl 2' . This command line will tell the tic-tac-toe server program to run 2 games between the program ttt.pl and the program ttt.pl
Homework 2BC posted 10/19/01 due 10/26/01 and 11/5/01 10:00am: PS , PDF , HTML
Homework 3A posted 11/5/01 due 11/14/01: Word , HTML
Solution Set
Homework 3B posted 11/15/01 due 11/23/01: Word , OpenOffice , Postscript , Acrobat PDF , Text , Html
Download the binary here: Linux Tarball/bzip2

I liked Rick's solution because it only had a move and a push predicate. This requires more work in general because you have to specify more facts, but Rick made a script to transform an ASCII representation into a PDDL file which eliminated the pain and increased the elegance. Rick Cox's solution

Sangyun had a similar solution that was also nice. Sokoban Domain file, Sokoban Problem 3 file

Homework 4a posted 11/28/01 due 12/13/01: PDF
Solution Set

Homework 4b posted 11/28/01 due 12/17/01: TEXT
Resources:
A program to discretize a data set.
discretize.pl
C4.5: c4.5
Programs to perform cross-validation.
cv.pl which uses ca.pl and driver (sample) and Datasets(provided by Nick Deibel) updated 09:38 12/10/01: Click Here


CSE logo Department of Computer Science & Engineering
University of Washington
Box 352350
Seattle, WA  98195-2350
(206) 543-1695 voice, (206) 543-2969 FAX
[comments to djp3]