Module 39-M-Inf-CS Computational Semantics

Das Modul vermittelt sowohl Hintergründe in formaler Semantik als auch Grundlagen für deren Implementierung. Damit wird den Studierenden ermöglicht, eine Verbindung zwischen linguistischen Phänomenen, ihrer theoretischen Behandlung und auch deren Implementierung herzustellen. In den Übungen soll der Schritt von der Theorie zur Implementierung selber nachvollzogen werden.
Das Modul richtet sich sowohl an Studierende der Informatik, die an der Anwendung komputationeller Mittel in der Linguistik interessiert sind, als auch an Studierende der Lingustik, die sich für die Implementierung ihrer Ideen interessieren.

This module offers an introduction to the art and science of computing meanings of natural language expressions. It covers the basics of formal semantics and supplements them with implementations, in order to take the students from the theory of meaning construction to actual meaning computation. The module is aimed at computer science students interested in applying computational means to the study of language, as well as linguistic students interested in implementing their ideas.

Komputationelle Semantik beschäftigt sich mit der automatischen Interpretation natürlichsprachlicher Äußerungen. Dies umfasst sowohl die Konstruktion von Bedeutungsrepräsentationen, als auch deren Interpretation in Bezug auf die außersprachliche Welt und ihr Gebrauch in Inferenzmechanismen. Das Modul führt in die formale Semantik natürlicher Sprache ein und vermittelt Grundlagen für deren Implementierung. Mögliche Schwerpunkte sind die Behandlung von Quantoren und Anaphern. Weiterführende Themen können außerdem die Rolle von Äußerungen als kommunikative Handlungen und die Modellierung des Informationsaustauschs unter Diskursteilnehmern betreffen.

The main topic of the course will be the composition of typed meaning representations for a fragment of natural language, their model-theoretic interpretation and their use in inference mechanisms. This approach is at the core of many formal semantic theories and therefore constitutes a solid foundation for everyone interested in the formal approach to meaning. The module presents all necessary theoretic background as well as the basics of implementation. Possible key aspects are quantification and anaphora; further topics could also consider the dynamic view on meanings as updates on the knowledge of discourse participants, thus broadening the scope beyond mere truth conditions.

Folgende Vorkenntnisse sind hilfreich (aber nicht zwingend notwendig):
Grundkenntnisse in Prädikatenlogik und Lambdakalkül
Grundkenntnisse Programmierung

Basic knowledge in first-order logic and lambda calculus as well as background in programming will prove helpful but are not mandatory.

—