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: Jeder Mann liebt einen Hund. (2 Lesarten) Jeder Hund jagt eine Katze in jedem Zimmer. Aufgaben: Gib für die Beispiele jeweils alle Lesarten an. Wähle für jede Lesart des zweiten Satzes ein Modell mit 2 Katzen, 2 Hunden und 2 Zimmern, so dass die Aussage in dem Modell erfüllt ist. […]
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? Querying Task for first-order logic is decidable (Solution: Model Checker) The Consistency Checking Task Ist eine Aussage konsistent, sprich erfüllbar, sprich […]
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 pij Taube i in Loch j $A \rightarrow B$; A: jede Taube […]
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