|
||||||||||||||||||||||||||||||||||||||||||||
First-order Logic - COMP4415 | ||||||||||||||||||||||||||||||||||||||||||||
Description This 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.
|