Arbeitsbereich WSVFachbereich InformatikUniversität Hamburg
18.215 Vorlesung: Semantische Sprachverarbeitung (mit Übungen)
Veranstalter
Carola Eschenbach
Zeit/Ort
Fr 10-13 F-334
Inhalt
Diese Vorlesung ist eine Einführung in die formalen und computerlinguistischen Theorien zur Bedeutungsrepräsentation natürlich-sprachlicher Äußerungen. Die folgenden vier Themenbereiche werden in der Vorlesung behandelt:
  • Logische und linguistische Grundlagen (DCGs in PROLOG, Prädikatenlogik, Syntax-Semantik-Schnittstelle, Lambda-Kalkül, Skopusambiguitäten)
  • Bedeutung und Beweis (Automatisches Beweisen, Tableaubeweiser, Modell-Überprüfer)
  • Theorien zur Wort- und Satzbedeutung (Lexikalische Semantik, Semantische Primitive, Semantische Netze, WordNet)
  • Theorien zur Diskursverarbeitung und zum Weltwissen (Referenz, Anaphorik, Quantifikation, Unterspezifikation, Präsupposition)
Die einzelnen Phänomenbereiche werden in Zusammenhang mit entsprechenden Formalismen und hierin formalisierten Lösungsansätzen präsentiert, so dass die Grundlagen für den Umgang mit der jeweiligen Literatur gelegt werden.
Termine
02.04.2004Einleitung
Folien.pdf
Übungszettel
16.04.2004Repräsentation und Verarbeitung
Folien.pdf
Prolog-Übung zu Grammatik und Parsen
23.04.2004Logik für die Bedeutungsrepräsentation
Folien.pdf
Prolog-Übung zu Logik und Formelaufbau
30.04.2004Lambda-Kalkül
Folien.pdf
Prolog-Übung zu Semantikaufbau mit Lambda-Kalkül
07.05.2004Lexikon
Folien.pdf
Aufgabe zur lexikalischen Semantik
14.05.2004Verben, Nomen, Präpositionen und Argumentstruktur
Folien.pdf
Aufgabe zur Prädikationsstruktur
WordNet
21.05.2004Bedeutungspostulate, Semantische Primitive, Thematische Rollen
Folien.pdf
Aufgabe zur Thematischen Rollen
FrameNet
28.05.2004Flache Verfahren: Informationsextraktion, Word Sense Disambiguation (WSD)
Folien.pdf
Hobbs et al. (1997)
11.06.2004DRT, Grundkonzepte und DRS-Konstruktionsverfahren
Folien.pdf
18.06.2004Anaphernresolution in DRSn und Referentielle Netze
Folien.pdf
Aufgabe zur Pronomeninterpretation
25.06.2004Präsuppositionen in der DRT
Folien.pdf
Prolog-Übung zu DRT-Modellierung von Präsuppositionen als Anaphern
mu
02.07.2004Pragmatik
Folien.pdf
09.07.2004Schema-basierte Ansätze
Folien.pdf
Rückblick.pdf
Literatur
  • Allen, James (1987). Natural Language Understanding. Menlo Park, Ca: Benjamin/Cummings.
  • Blackburn, Patrick & Johan Bos (1999). Representation and Inference for Natural Language. A First Course in Computational Semantics. Ms. Ergänzende Ressourcen
  • Blackburn, Patrick & Johan Bos (1999). Working with Discourse Representation Theory. An advanced Course in Computational Semantics. Ms. Online verfügbar.
  • Chierchia, Gennaro & Sally McConnell-Ginet (1990, zweite Auflage 2000). Meaning and Grammar. An Introduction to Semantics. Cambridge, MA: MIT Press.
  • Cruse, D.A. (1986). Lexical Semantics. Cambridge, NY: Cambridge University Press.
  • Gamut, L.T.F. (1991). Logic, Language, and Meaning 1. Introduction to Logic. Chicago & London: University of Chicago Press.
  • Gamut, L.T.F. (1991). Logic, Language, and Meaning 2. Intensional Logic and Logical Grammar. Chicago & London: University of Chicago Press.
  • Hobbs, Jerry R., Douglas E. Appelt, John Bear, David Israel, Megumi Kameyama, Mark Stickel & Mabry Tyson (1997). FASTUS: A cascaded finite-state transducer for extracting information from natural-language text. In E. Roche & Y. Schabes (eds.) Finite State Devices for Natural Language Processing (pp. 383-406). MIT Press: Cambridge, MA. (.pdf)
  • Jurafsky, Daniel & James H. Martin (2000). Speech and Language Processing. An Introduction to Natural Language Processing, Computational Linguistics, and Speech Recognition. Upper Saddle River, NJ: Prentice Hall.
  • Löbner, Sebastian (2002). Understanding Semantics. London: Arnold.
  • Löbner, Sebastian (2003). Semantik. Eine Einführung. Berlin: Walter de Gruyter.
  • Lyons, John (1980 & 1983). Semantik 1 & 2. München: Beck.
Links
Interaktive Online-Demos der Computerlinguistik an der Universität Zürich
SWI-Prolog Downloads für Windows 95/98/ME and NT/2000/XP, Windows 3.1x, LINUX und Mac OS X
Adventure in Prolog. Courtesy of the Amzi! Prolog website.
Learn Prolog Now Ein Prolog-Kurs aus Saarbrücken
Frank Schilder (2002). Survival Guide: SWI-Prolog unter UNIX am FBI