| Veranstalter |
|---|
| | Carola Eschenbach
Frank Schilder
|
| Zeit/Ort |
|---|
| | Di 12 - 14 F-535 |
| Inhalt |
|---|
| | Diese Vorlesung ist eine Einführung in die
formalen und computerlinguistischen Theorien zur
Bedeutungsrepräsentation natürlich-sprachlicher
Äusserungen. Die folgenden vier Themenbereiche werden
in der Vorlesung behandelt:
- Logische und linguistische Grundlagen
(Prädikatenlogik, Syntax-Semantik-Schnittstelle,
Lambda-Kalkül, Skopusambiguitäten)
- Bedeutung und Beweis (Automatisches Beweisen,
Tableaubeweiser, Modell-überprüfer)
- Theorien zur Diskursverarbeitung und zum
Weltwissen (Referenz, Quantifikation,
Unterspezifikation, Präsupposition, Semantische
Netze, WordNet)
- Robuste semantische Analyse (Semantisches
Tagging, Markup-Sprachen SGML/XML, NP chunking,
Named Entity Recognition, Information Retrieval)
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. |
| Literatur |
|---|
| |
- James Allen. 1995. Natural Language
Understanding (2nd ed.). The
Benjamin/Cummings Publishing Company. Redwood
City, California
- Patrick Blackburn & Johan Bos. 1999.
Representation and Inference for Natural
Language. A First Course in Computational
Semantics
- Patrick Blackburn & Johan Bos. 1999.
Working with Discourse Representation
Theory. An advanced Course in Computational
Semantics (beide
Bücher sind online
verfügbar)
- Daniel Jurafsky & James H. Martin.
2000. Speech and Language Processing. An
Introduction to Natural Language Processing,
Computational Linguistics, and Speech
Recognition. Prentice Hall Series in Artificial
Intelligence. Upper Saddle River, New Jersey
|
| Termine |
|---|
| | 02.04.2002 | Einleitung |
| | | Semantik in der Sprachverarbeitung
 |
| | | PROLOG-Crash-Kurs
 |
| | 09.04.2002 | Satz |
| | | Kontextfreie Grammatiken, PROLOG-Parser,
verschiedene Parsingstrategien; semantische
Interpretation mittels Prädikatenlogik
|
| | 16.04.2002 | Satz |
| | | Lambda-Kalkül; Quantoren und Relativsätze
 |
| | 23.04.2002 | Satz |
| | | Semantische Grammatiken, Information Extraction
|
| | 30.04.2002 | Bedeutungsrepräsentation |
| | | Markup für
Bedeutungsrepräsentation, Einführung
in XML, Semantisches Tagging
|
| | 07.05.2002 | Diskurs |
| | | Vector Space Model (VSM),
Textsegmentierung, Textzusammenfassung
|
| | 14.05.2002 | Diskurs |
| | | Diskursrepräsentationstheorie (DRT),
Zugänglichkeit, Übersetzung in PL
|
| | 28.05.2002 | Diskurs |
| | | Konstruktion von DRSen mittels
Lambda-Ableitungen, Probleme der Anaphernresolution
|
| | 04.06.2002 | Diskurs |
| | | Präsupposition in DRT,
Präsuppositionauslöser
|
| | 11.06.2002 | Diskurs |
| | | Referentielle Netze
|
| | 18.06.2002 | Lexikon |
| | | Lexikalische Semantik
WordNet
FrameNet |
| | 25.06.2002 | Lexikon |
| | | Bedeutungszuordnung
|
| | | algebraische Semantik, Numerus
|
| | | Tableaubeweiser
|
| | 02.07.2002 | Diskurs |
| | | Pragmatik, Diskurstheorie, Grice
|
| | 10.07.2002 | Schema-basierte Ansätze, Abschluss |
| | | Skripts
|
| | | Zusammenfassung und Überblick
|
| Links |
|---|
| |
|
