Prerequisites: CS 114 and (MATH 226 or CS 241) with a grade C or better. An exploration of concepts, approaches and techniques of artificial intelligence. Emphasizes both underlying theory and applications. Topics include knowledge representation, parsing language, search, logic, adduction, uncertainty, and learning. LISP and Prolog programming languages are used extensively. Students are required to do programming assignments, complete a programming term project and review case studies.