3cr.
P: C343 or H343, good knowledge of LISP or Scheme. Introduction to
major issues and approaches in artificial intelligence. Principles
of reactive, goal-based, and utility-based agents. Problem-solving
and search. Knowledge representation and design of representational
vocabularies. Inference and theorem proving, reasoning under
uncertainty, and planning. Overview of machine learning. B551
corresponds to old C563-C564.