Universität Bremen  
  FB 10 IAAS Linguistik CL  
  Stefan Müller >   Lehre > Deutsch
English
 

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

Literatur

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
 
  CL 
erstellt am 14.02.2006, zuletzt geändert am: 12.04.2010   Impressum