Prerequisites: CS 170 or equiva- lent
Description: Examines knowledge representation and automated reasoning and their use in capturing common sense and expert knowledge. Also addresses predicate and nonmonoto- nic logics; resolution and term rewriting; reasoning under uncertainty; theorem provers; planning systems; and belief networks. Includes special topics in natural language process- ing, perception, logic programming, expert systems, and deductive databases. May be taken Satisfactory (S) or No Credit (NC) by students advanced to candidacy for the Ph.D.