Course Description
Theoretical foundations of automated reasoning and logic programming. Topics covered include propositional logic, predicate logic, first-order models, resolution principles, logic programming paradigms, nonmonotonic reasoning.
Athena Title
LOGIC & LOGIC PROG
Prerequisite
[CSCI(ARTI) 4540/6540 and PHIL(LING)4510/6510] or permission of department
Semester Course Offered
Not offered on a regular basis.
Grading System
A - F (Traditional)
Course Objectives
Students will be able to apply methods of logical proof presented in the course, to prove basic lemmas for theorems proved in the course, and to apply techniques of logic programming presented in the course.
Topical Outline
There is no set topic for this course. Any advanced topic in logic and its application to logic programming may be covered, for example: first order logic, unification, resolution, SLD-resolution, Horn clause logic, modal logic, temporal logic, epistemic logic, situation calculus, or nonmonotonic logic.