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