Description: An introduction to fundamental problems underlying the design of intelligent systems. Also covers one of the languages of artificial intelligence, 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.