First-order Logic - COMP4415

   
   
   
 
Campus: Kensington Campus
 
 
Career: Undergraduate
 
 
Units of Credit: 6
 
 
EFTSL: 0.12500 (more info)
 
 
Indicative Contact Hours per Week: 4
 
 
Enrolment Requirements:
 
 
Prerequisite: COMP2411 or COMP3121 or permission from the lecturer in charge.
 
 
Fee Band: 2 (more info)
 
 
Further Information: See Class Timetable
 
 

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.