Catalog Description: Fundamentals of knowledge representation and use in computers. Predicate calculus, non-monotonic logics, probability and decision theory, and their use in capturing commonsense and expert knowledge. Theorem-provers, planning systems belief networks and influence diagrams as reasoning methods. Integrated architectures for intelligent agents. A project will be undertaken.

Units: 3

Prerequisites: 188 or equivalent.

Formats:
Fall: 3 hours of lecture per week
Spring: 3 hours of lecture per week

Grading basis: letter

Final exam status: No final exam

---

Class homepage on inst.eecs