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 […]
WeiterlesenChapter 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 […]
WeiterlesenChapter 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 […]
WeiterlesenChapter 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 […]
WeiterlesenChapter 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 […]
WeiterlesenChapter 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 […]
WeiterlesenChapter 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