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 interfer- ence, frames, semantic nets, natural language pro- cessing, and expert systems.