Prerequisites: CS 170 or equiva- lent
Description: Examines knowledge representation and auto- mated reasoning and their use in capturing common sense and expert knowledge. Also addresses predi- cate and nonmonotonic 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 candi- dacy for the Ph.D.