Willkommen auf dem begleitenden eLearning zu Computational Semantics


Chapter 0: Intro und Organisatorisches

Organisatorisches Kursorganisation: Kursvoraussetzung: Gibt es offene organisatorische Fragen? Computersemantik $\approx$ Computer + Semantik Womit beschäftigt sich die Semantik? Amerkung: die folgenden Bilder sind den Folien von Lasha Abzianidze (University of Groningen) und Johan Bos (University of Groningen) entnommen und wurden von Tatiana Bladier (University of Düsseldorf) ausgewählt. 1. Reinterpretation 2. Mit everybody ist hier natürlich […]

Weiterlesen

Chapter 1: First-Order Logic

First-Order Logic (BB: 1.1) Vocabularies Describe the given vocabulary using the right terminology (constants, relation, property, arity). Prolog Exercises: Exercise 1.1.1 Consider the following situation: Vincent is relaxed. The gun rests on the back of the seat, pointing at Marvin. Jules is driving. Marvin is tense. Devise a vocabulary suitable for talking about this situation. Give […]

Weiterlesen

Chapter 2: Lambda Calculus

Wie kann der Prozess der Zuweisung von semantischen Repräsentationen (z.B. in Form von prädikatenlogischen Formeln) zu natürlichsprachlichen Ausdrücken automatisiert werden? Compositionality (BB: 2.1) Gegeben einen natürlichsprachlichen Satz (z.B. “Vincent likes Mia”), gibt es einen systematischen Weg seine semantische Repräsentation zu konstruieren? Wie können wir garantieren, dass “Vincent likes Mia” und “Mia likes Vincent” zwei verschiedene semantische Repräsentationen zugewiesen bekommen? Lösungsidee: Die Wörter liefern […]

Weiterlesen

Chapter 3: Underspecified Representations

Scope Ambiguities (BB: 3.1) Beispiele: Aufgaben: Terminology: Every owner of a hash bar gives every criminal a big kahuna burger. 18 Lesarten: Einige Lesarten sind äquivalent, andere implizieren einander. Die Lesarten zerfallen in zwei logisch unabhängige Gruppen: Montague’s Approach (BB: 3.2) Quantifier Raising (Montagues Trick): Beispiel: Every boxer loves a woman Bewertung des Ansatzes: Storage […]

Weiterlesen

Chapter 4: Propositional Inference

Wiederholung Kapitel 1 The Querying Task Erfüllt ein Modell eine Aussage? The Querying Task: Given a model $M$ and a first-order formula $\phi$ and a variable assignment, is $\phi$ satisfied in $M$ or not? The Consistency Checking Task Ist eine Aussage konsistent, sprich erfüllbar, sprich in wenigstens einem Modell erfüllt? A first-order formula is called […]

Weiterlesen

Chapter 5: First-Order Inference

Tableau-Methode für die Prädikatenlogik 1. Stufe Wiederholung: Propositional Inference Da die Aussagenlogik entscheidbar ist, ist es möglich einen Theorem Prover zu bauen, der für jede Formel entscheidet, ob sie gültig ist. Ein solcher Beweiser ist jedoch nie effizient, da das Problem NP-Vollständig ist. Beispiel: Schubfachprinzip Tableaumethode für die Prädikatenlogik („menschliche“ Version) Tableau-Methode für die Prädikatenlogik (algorithmisch) Unifikation […]

Weiterlesen

Chapter 6: Curt

Was wir erreicht haben: Wir können First-Order-Repräsentationen kompositionell für einfache natürlichsprachliche Ausdrücke aufbauen. Außerdem können wir dabei Scope-Ambiguitäten berücksichtigen. Wir wissen, wie wir Inferenzen mit First-Order-Repräsentationen automatisiert durchführen können. Als nächstes verbinden wir diese beiden Elemente in einem Dialogsystem namens CURT, das unsere natürlichsprachlichen Aussagen einliest und auf Konsistenz und Informativität überprüft. Baby Curt Baby […]

Weiterlesen