**CSA5006 – Logic, Representation and Inference**

__ __

* Lecturer(s):* Mr.
Michael Rosner

* ECTS Credits:* 4

* Lectures:* 28
Hrs

* Level:* 5.2

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%)

__ __

__ __

__Textbooks:__

á
Patrick Blackburn and Johan Bos, Representation and
Inference for Natural Language, Stanford: CSLI Publications, 2005