CSA5006 – Logic, Representation and Inference
Lecturer(s): Mr. Michael Rosner
ECTS Credits: 4
Lectures: 28 Hrs
This course introduces techniques for tackling the following issues:
á What is semantic representation?
á What is the relationship between semantic representation and logic?
á What mechanisms are required to associate semantic representations with expressions of natural language?
á How can we use logical representations of natural language expressions to automate the process of drawing inferences?
We will approach them by developing program modules that handle the key concepts of representation and inference including.
á First Order Logic
á Lambda Calculus
á Underspecified Representations
á Propositional Inference
á First Order Inference
Method of Assessment: Examination (75%) Assignment (25%)
á Patrick Blackburn and Johan Bos, Representation and Inference for Natural Language, Stanford: CSLI Publications, 2005