|
|
||||||||||||||||||||||||||||||||||||||||||||
First-order Logic - COMP4415 |
||||||||||||||||||||||||||||||||||||||||||||
|
DescriptionThis course is a presentation of the kind of logic useful for knowledge representation and reasoning. It begins with the elements of first-order logic using tableau methods and proceeds to soundness and completeness, and compactness. Using compactness it addresses issues like expressibility to show, for instance, why transitive closure is not first-order. The course concludes with an introduction to non-monotonic reasoning as a formalization of common sense reasoning.
|
||||||||||||||||||||||||||||||||||||||||||||
