A survey of the tools and theoretical constructs of artificial intelligence as implemented on computers. Emphasis is on the importance of good representations to model various kinds of intelligence. Topics include resolution theorem proving, heuristic and algorithmic search, game playing, natural language processing, probabilistic reasoning, planning and intelligent agents. Prerequisite: ◆ CS 341 - Data Structures. Grade or P/NC. Offered annually or when demand warrants.