Steam-powered Turing Machine University of Washington Department of Computer Science & Engineering
 CSE 574 - Artificial Intelligence II - Winter 2001
  CSE Home  About Us    Search    Contact Info 

krr

Knowledge Representation and Reasoning

NOTE ROOM CHANGE!

Class meets:  Tuesdays & Thursdays, 12:00-1:20, Mary Gates Hall Room 253

Instructor: Henry Kautz, <kautz@cs.washington.edu>, 417 Sieg Hall, (206) 543-1896
Office Hours:  Send email to make an appointment

Course Description

In this course we will study knowledge representation languages and efficient reasoning algorithms. Attention will be paid to tradeoffs between the expressive power and computational tractability of different representation languages. Topics will include local search based inference algorithms, phase-transition phenomena, logic-based planning and temporal reasoning, dependency-directed backtracking, knowledge compilation, speedup learning, and model-based diagnosis. Our study will be motivated by problems in plan synthesis, commonsense and scientific reasoning.

Assignments

Grading

Online Readings

Here is the schedule of readings and links to the papers themselves.

Possible Project Topics

Mail Archive


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 kautz]