| Course ID: | CSCI(PHIL) 8650. 4 hours. |
| Course Title: | Logic and Logic Programming |
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. |
| Oasis 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. |