| CODE | CSA5006 | |||||||||
| TITLE | Logic, Representation and Inference | |||||||||
| UM LEVEL | 05 - Postgraduate Modular Diploma or Degree Course | |||||||||
| MQF LEVEL | Not Applicable | |||||||||
| ECTS CREDITS | 4 | |||||||||
| DEPARTMENT | Intelligent Computer Systems | |||||||||
| DESCRIPTION | This study-unit 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 Textbooks: • Patrick Blackburn and Johan Bos, Representation and Inference for Natural Language, Stanford: CSLI Publications, 2005. |
|||||||||
| STUDY-UNIT TYPE | Lecture | |||||||||
| METHOD OF ASSESSMENT |
|
|||||||||
| LECTURER/S | Tobias Kuhn |
|||||||||
|
The University makes every effort to ensure that the published Courses Plans, Programmes of Study and Study-Unit information are complete and up-to-date at the time of publication. The University reserves the right to make changes in case errors are detected after publication.
The availability of optional units may be subject to timetabling constraints. Units not attracting a sufficient number of registrations may be withdrawn without notice. It should be noted that all the information in the description above applies to study-units available during the academic year 2023/4. It may be subject to change in subsequent years. |
||||||||||