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|
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.
CSE 472: CSE 202 and CSE 305.
CSE 572: Knowledge of abstract data types and (Common) Lisp.
Related web pages: