Ruprecht-Karls-Universität Heidelberg
Institut für Computerlinguistik

Bilder vom Neuenheimer Feld, Heidelberg und der Universität Heidelberg

Formale Semantik

Kursbeschreibung

Studiengang Modulkürzel Leistungs-
bewertung
BA-2010 FSem 6 LP
NBA FSem 6 LP
Magister - -
Dozenten/-innen Anette Frank
Veranstaltungsart Vorlesung/Übung
Erster Termin 21.10.2014
Zeit und Ort Di, 11:1512:45, INF 350 / OMZ R U013 (SR)
  Do, 14:1515:45, INF 350 / OMZ R U014 (SR)
Commitment-Frist 09.02.2015

Teilnahmevoraussetzungen

Foundations of Linguistic Analysis (FLA), Formal Foundations, Logical Foundations (FF-L)

Leistungsnachweis

  • Regelmäßige, substantielle Bearbeitung der Übungsaufgaben zur Klausurzulassung
  • Erfolgreich bestandene Abschlussklausur

Inhalt

Die Vorlesung bietet einen Überblick über Phänomene und Methoden der semantischen Sprachverarbeitung. Behandelt werden grundlegende Konzepte der modelltheoretischen Semantik sowie deren Umsetzung in computerlinguistisch relevanten Semantikformalismen und -theorien. Neben klassischen formal-semantischen Methoden werden auch distributionelle statistische Verfahren sowie hybride formal-semantische und distributionelle Modelle vorgestellt. Dabei thematisieren wir die Relevanz computationeller Semantik für sprachtechnologische Anwendungen und zeigen, wie die erlernten Verfahren für computerlinguistische Aufgabenstellungen eingesetzt werden.

Kursübersicht

Seminarplan

Datum Sitzung Materialien

Literatur (Auswahl, im Aufbau)

  • Modelltheoretische Semantik
    • L.T.F. Gamut (1991). Logic, Language, and Meaning. The University of Chicago Press.
    • Hans Kamp und Uwe Reyle (1993). From Discourse to Logic. Kluwer Academic Publishers.
    • Claudia Maienborn, Klaus von Heusinger, Paul Portner (2013): Semantics: An International Handbook of Natural Language Meaning. HSK Series. De Gruyter.
    • Paul Portner (2004). What is Meaning? Fundamentals of Formal Semantics. Oxford: Blackwell.
    • Paul Portner und Barbara Partee, eds. (2002). Formal Semantics: The Essential Readings. Oxford: Blackwell.
  • Computationelle Semantik
    • Dan Jurafsky und James Martin (2009). Speech and Language Processing. 2. Auflage. Kapitel 19/20
    • Frank, A. and Padó, S. (2012): Semantics in computational lexicons. in: Semantics: An International Handbook of Natural Language Meaning, pp. 2887-2917, HSK, de Gruyter.
    • Roberto Navigli (2009): Word Sense Induction, ACM Computing Surveys, Vol. 41, No. 2.
    • Vivi Nastase, Preslav Nakov, Diarmuid Ó Séaghdha , Stan Szpakowicz (2013): Semantic Relations Between Nominals, Synthesis Lectures on HLT.
    • Martha Palmer, Daniel Gildea, Nianwen Xue 2010: Semantic Role Labeling. Synthesis Lectures on HLT.
    • Baroni et al.: Frege in Space (2014): A Program for Compositional Distributional Semantics, LILT 9.6.
  • Semantik in Anwendungen: Sentiment, Summarization, (Textual) Entailment, etc.
    • Bing Liu (2012): Sentiment Analysis and Opinion Mining, Synthesis Lectures on HLT.
    • Ani Nenkova & Kathreen McKeown (2011). Automatic Summarization. Foundations and Trends in Information Retrieval, 5(2).
    • Special Issue on Textual Entailment
    • Burchardt, A., Reiter, N., Thater, S., and Frank, A. (2007): Semantic Approach to Textual Entailment: System Evaluation and Task Analysis. Proceedings of the 3rd-PASCAL Workshop on Textual Entailment, Prague.
    • Ido Dagan, Dan Roth, Mark Sammons, Fabio Massimo Zanzotto (2013): Recognizing Textual Entailment: Models and Applications, Synthesis Lectures on HLT

 

» weitere Kursmaterialien

zum Seitenanfang