The Department of Computer Science & Engineering |
CSE 472/572: KNOWLEDGE-BASED ARTIFICIAL INTELLIGENCE (Spring 2002)
|
Instructor: | Prof. William J. Rapaport |
Times: | MWF 10:00 - 10:50 a.m. |
Classroom: | Natural Sciences 210 |
Course Description:
Survey of knowledge-based artificial intelligence - the study of how to
program computers, using classical
symbolic methods, to behave in ways normally attributed to
"intelligence" when observed in humans. Topics
chosen from: history, definition, and philosophical foundations of AI,
search (representing states and operators,
forward, backward, depth-first, breadth-first, uniform cost, A*,
interactive deepening, constraint satisfaction);
game playing (minimax, static evaluation functions, alpha-beta);
propositional logic (syntax, semantics, clause
form, rule of inference, resolution); predicate logic (syntax,
semantics, rules of inference, substitutions,
unification); implementing logic-based systems (forward and backward
chaining, belief revision); knowledge
representation (semantic networks, inheritance, frames); planning
(representing operators, the frame problem);
natural-language processing (syntax, semantics, pragmatics, analysis,
generation); agents.
Prerequisites:
CSE 472:
CSE 202
and
CSE 305.
CSE 572: Knowledge of abstract data types and (Common) Lisp.
Related web pages: