Das Seminar führt in die formale Semantik natürlicher Sprachen ein: Startend mit aussagenlogischen Bedeutungsrepräsentationen werden danach prädikatenlogische Repräsentationen und deren Erweiterungen im Zentrum stehen. Dabei geht es immer um die formale Repräsentation von Bedeutungen und deren Interpretation in Bezug auf ein Modell der Welt.
Zu wünschenswerten Vorkenntnissen siehe separates Feld unten.
Die inhaltliche Konzeption des Kurses geht von Grundkenntnissen in Aussagen- und Prädikatenlogik aus. Diese können ggf. durch einen individuell bestimmten Arbeitsmehraufwand parallel zur Veranstaltung, aber z.B. auch durch den Vorabbesuch des Blockseminars 239604 "Logische Grundlagen der formalen Semantik" in der ersten Aprilwoche erworben werden.
| Rhythmus | Tag | Uhrzeit | Format / Ort | Zeitraum |
|---|
| Modul | Veranstaltung | Leistungen | |
|---|---|---|---|
| 23-LIN-Inf Computerlinguistische Grundlagen für Informatik-Studierende Computerlinguistische Grundlagen für Informatik-Studierende | Veranstaltung aus dem Bereich computerlinguistische Grundlagen | Studienleistung
|
Studieninformation |
| - | benotete Prüfungsleistung | Studieninformation |
Die verbindlichen Modulbeschreibungen enthalten weitere Informationen, auch zu den "Leistungen" und ihren Anforderungen. Sind mehrere "Leistungsformen" möglich, entscheiden die jeweiligen Lehrenden darüber.
| Studiengang/-angebot | Gültigkeit | Variante | Untergliederung | Status | Sem. | LP | |
|---|---|---|---|---|---|---|---|
| Intelligente Systeme / Master | (Einschreibung bis SoSe 2012) | Kognitionswissenschaftliche Gr | 3 | Hinweis auf Modul: 23-LIN-Inf | |||
| Linguistik: Kommunikation, Kognition und Sprachtechnologie / Master | (Einschreibung bis WiSe 19/20) | 23-LIN-Ma1_ver1; 23-LIN-Ma3 | 3 |