Description: An introduction to fundamental problems underlying the design of intelligent systems. Also covers one of the languages of artificial intelli- gence, such as Prolog or LISP. Includes brute force and heuristic search, problem solving, knowledge representation, predicate logic and logical interference, frames, semantic nets, natural language processing, and expert systems.