The participant gains anunderstanding of the concepts of continuations and CPS translations in logic and computer science, and of their use in modelling dynamic aspects of natural language semantics.
This course covers advancedmethods and ideas in the logical analysis of language, especially in relation to type-logical grammars, the parsing-as-deduction paradigm, and their combination with formal semantics of natural language. The course has a 'capita selecta' format, focusing on various aspects of the connection between language and reasoning.
The 2014-2015 installment studies discourse dynamics from the perspective of continuations and continuation-passing-style interpretations. In the first part of the course, we study the origin of these concepts computer science (the control operators from programming language theory) and logic (double negation embeddings of classical logic into intuitionistic logic).
In the second part of the course, we discuss the growing body of literature on natural language semantics that uses continuations to explicitly include the context of evaluation as a parameter in the meaning composition process. Topics include quantifier scope and evaluation order, cross-sentential anaphora, dynamic logic with exceptions.
Students Artificial Intelligence, for registration please contact your programme coordinator during the enrollment period.
Early exit option for international exchange students
Students who are required to return to their home university by the end of December, are allowed to complete the course by 'distance learning' (extra assignments, papers etc) in the month of January, receiving 5 ECTS for the course. Students must always make individual arrangements with the course coordinator before the start of the course.
Voorkennis kan worden opgedaan met
|Formal semantics; logic and computation.|
|Verdiepingspakket 'Reasoning'||Verplicht materiaal|
|LiteratuurPrimary research papers, electronically available. including -Barker and Shan, Continuations and Natural Language (to appear, available via SemanticsArchive).|
|LiteratuurFor the logical background: Classical logic and control operators, Ch 6 of Sørensen and Urzyczyn, Lectures on the Curry-Howard Isomorphism.
-Lebedeva, Expressing Discourse Dynamics via Continuations. PhD Thesis Nancy 2013 (Beth Dissertation Award)
AlgemeenDuring the HC, the theoretical background is introduced, and the participants hold a presentation. During the WC, participants work on assignments, and get feedback on their homework.
Voorbereiding bijeenkomstenReading the assigned literature; make the homework assignments.
BeoordelingUnderstanding of the the concepts and and techniques introduced in the HC as apparent from the participant's presentation and short research paper.