Vorlesung/Hauptseminar: Computationelle Semantik

Beginn: 19.04.2006

Mi: 11:15–13:45 Raum: II.24.0.30
Module B & F

Voraussetzungen

Kenntnisse in Logik

Kurzbeschreibung

In der Veranstaltung wird in die Computationelle Semantik eingeführt. Es wird gezeigt, wie sprachlichen Ausdrücken eine Bedeutung zugewiesen werden kann, die sich kompositional aus der Bedeutung der Teile ergibt. Die folgenden Punkte werden besprochen:

Logik erster Stufe
Lambda-Kalkül
Skopusambiguitäten und unterspezifizierte Repräsentationen
Propositionale Inferenz
Inferenz erster Stufe und Unifikation
Diskursrepräsentationstheorie
Präsupposition

Materialien

Lehrmaterial von Patrick Blackburn & Johan Bos
diverse Links
Folien Version vom: 12.07.2006
- Folien (im PDF-Format zum Ansehen, 3.4M)
- Handouts (in pdf-Format zum Ausdrucken, 1.0M)

Literatur

Patrick Blackburn und Johan Bos, 2005: Representation and Inference for Natural Language: A First Course in Computational Semantics Stanford: CSLI Publications.

Zusätzliche Literatur:

Kamp, Hans und Uwe Reyle, 1993: From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory, Dordrecht/Boston/London: Kluwer Academic Publishers.
Lohnstein, Horst. 1996. Formale Semantik und Natürliche Sprache. Opladen: Westdeutscher Verlag.

Autor: Stefan Müller

erstellt am 14.02.2006, zuletzt geändert am: 12.04.2010