Automated Reasoning: Theory and Applications

Lecture, four hours; discussion, two hours; outside study, six hours. Requisite: course 161. Introduction to theory and practice of automated reasoning using propositional and first-order logic. Topics include syntax and semantics of formal logic; algorithms for logical reasoning, including satisfiability and entailment; syntactic and semantic restrictions on knowledge bases; effect of these restrictions on expressiveness, compactness, and computational tractability; applications of automated reasoning to diagnosis, planning, design, formal verification, and reliability analysis. Letter grading.

Review Summary

Clarity
N/A
Organization
N/A
Time
N/A
Overall
N/A

Enrollment Progress

Jul 13, 4 PM PDT
LEC 80: 24/35 seats taken (Open)
First passPriority passSecond pass2 days5 days8 days11 days14 days17 days20 days23 days26 days02040

Course

Previously taught
24F

Previous Grades

Grade distributions not available.