Das Seminar führt in die formale Semantik natürlicher Sprachen ein und vermittelt Grundlagen für deren Implementierung. Spezifische Themen sind:
Das Ziel ist sowohl semantische Theorien als auch ihre praktische Implementierung kennenzulernen. Der Schritt von der Theorie zur Implementierung soll v.a. in den Übungen an konkreten Beispielen nachvollzogen werden. Dafür benötigte Kenntnisse der funktionalen Programmiersprache Haskell werden im Laufe des Seminars vermittelt.
Wünschenswert (aber nicht zwingend notwendig) sind Grundkenntnisse in Prädikatenlogik und Lambdakalkül.
Jan van Eijck & Christina Unger: Computational Semantics with Functional Programming. Cambridge University Press, to appear.
Online verfügbar unter: http://homepages.cwi.nl/~jve/cs/
Patrick Blackburn & Johan Bos: Representation and Inference for Natural Language. A First Course in Computational Semantics. CSLI, 2005.
Online verfügbar unter: http://homepages.inf.ed.ac.uk/jbos/comsem/
Rhythmus | Tag | Uhrzeit | Format / Ort | Zeitraum | |
---|---|---|---|---|---|
wöchentlich | Do | 10-12 | T2-238 | 12.04.-23.07.2010
nicht am: 13.05.10 / 03.06.10 |
Verstecke vergangene Termine <<
Studiengang/-angebot | Gültigkeit | Variante | Untergliederung | Status | Sem. | LP | |
---|---|---|---|---|---|---|---|
Intelligente Systeme / Master | (Einschreibung bis SoSe 2012) | Computational Semantics | Wahlpflicht | 2. | 2 | unbenotet | |
Naturwissenschaftliche Informatik / Master | (Einschreibung bis SoSe 2012) | Computational Semantics | Wahlpflicht | 2. | 2 | unbenotet |
Es sollen wöchentlich Übungsaufgaben bearbeitet werden, deren Lösung in der seminarbegleitenden Übung besprochen werden.