Prerequisites: CS 170; or equivalent; graduate standing
Description: Examines knowledge representation and automated reasoning and their use in capturing common sense and expert knowledge. Also addresses predicate and nonmonotonic logics; resolution and term rewriting; reasoning under uncertainty; theorem provers; planning systems; and belief networks. Includes topics in natural language processing, perception, logic programming, expert systems, and deductive databases.
Credit: May be taken Satisfactory (S) or No Credit (NC) with consent of instructor and graduate advisor.