Date: Mon, 02 Dec 1996 16:02:20 GMT Server: NCSA/1.4.2 Content-type: text/html CSE 473 (Spring 1996) Tentative Schedule

CSE 473 (Spring 1996)
Tentative Schedule

Introduction: (1 meeting)
Overview of AI, Turing's test, Reasoning, Learning, and Communicating.
Common Lisp: (5 meetings)
Review of basics, examples, advanced features, introduction to CLOS, programming techniques.
Knowledge representation: (3 meetings)
ISA hierarchies
Propositional and predicate logic
Expressing knowledge using mathematical logic
State-space search: (3 meetings)
Iterative and recursive versions of depth-first search.
Breadth-first, iterative deepening, best-first, uniform-cost, and A* search.
Minimax and alpha-beta search.
Logical reasoning: (3 meetings)
Propositional calculus methods.
Predicate calculus methods.
Probabilistic reasoning: (1 meeting)
Bayes' rule and its use in probabilistic inference nets.
Case-based reasoning: (1 meeting)
Matching, adaptation, and indexing.
Planning: (1 meeting)
STRIPS representation.
World-space vs plan-space methods.
Learning: (2 meetings)
Building decision trees.
Theory formation.
Natural-language understanding: (1 meeting)
Grammars, semantic representation, augmented transition nets.
Vision: (4 meetings)
Visual perception and illusions
Image formation and representation, edge detection, Hough transform, shape description, line labeling.
Neural nets: (1 meeting)
Perceptrons and perceptron training.
Multilayer feedforward nets and backpropagation.
Expert systems: (2 meetings)
Integration of AI techniques, Shells, Development process.
Final exam.
tanimoto@cs.washington.edu