The Department of Computer Science & Engineering
cse@buffalo
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:




William J. Rapaport (rapaport@cse.buffalo.edu)
file: 572.16ja02.html