P3 Erweiterungsmodul Computerlinguistik
Vorlesung mit Übung im Masterstudiengang Computerlinguistik
SS 2016
VL Mi 14-16 Uhr, Oettingenstr. 67, Raum 131
TÜ Do 14-16, Oettingenstr. 67, Raum 131
Berechenbare Semantik
Hans Leiß
Inhalt und Ziel der Veranstaltung
In der Vorlesung wird eine modelltheoretische Semantik verschiedener
natürlichsprachlicher Ausdrucksformen erklärt und z.T. implementiert, darunter
- Nominalphrasen im Singular und Plural, mit
- verallgemeinerten Quantoren
(viele CN; mehr CN als CN)
- Reflexiv- und Reziprokpronomen
(TV.sg sich; TV.pl einander)
- ggf.: absolute und relative Adjektive (blaue CN; große CN)
- einfache Sätze, mit
- Vollverb und Nominalobjekten, im Aktiv und Passiv,
- ggf.: Vergleichskonstruktionen (TV NP1 mehr als NP2 u.ä.)
- Satzfolgen (,,Diskurse''), mit
- Possessiv- und Personalpronomen (sein/ihr und er/sie/es)
- satzinterne und satzübergreifende Pronomenauflösung
Dazu wird die Beispielgrammatik aus dem Kurs Computerlinguistische
Anwendungen (2013) erweitert und nach Montague eine Interpretation in endlichen
Modellen definiert. Zur Pronomenauflösung wird eine Version der
Diskursrepräsentationstheorie (DRT) behandelt.
In der Übung soll die besprochene Semantik weiter implementiert
werden. (Und Fragen zur Prolog-Programmierung besprochen werden.)
Literatur: siehe die Angaben auf den Vorlesungsfolien.
Ein guter online-Kurs zu Prolog ist im Netz unter ,,Learn Prolog Now!'' zu
finden. Etwas zu Prolog schreibe ich auf folien-prolog-mini.pdf
File translated from
TEX
by
TTH,
version 3.67.
On 30 Jun 2016, 16:15.