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
- Subject:
- Arts and Humanities
- Career and Technical Education
- Material Type:
- Unit of Study
- Provider:
- Universität Bremen
- Author:
- Stefan Müller
- Date Added:
- 07/13/2015