|Course ID:||CSCI(PHIL) 8650. 4 hours. |
|Course Title:||Logic and Logic Programming|
|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|
|Grading System:||A-F (Traditional)|
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.
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.