Kompositionelle Semantik und Semantisches Parsing

Die Bedeutung eines Satzes aus seinen Bestandteilen ableiten und natürliche Sprache auf formale Bedeutungsrepräsentationen wie logische Formen und ausführbare Abfragen abbilden.

Definition

Kompositionelle Semantik berechnet die Bedeutung eines komplexen Ausdrucks aus den Bedeutungen seiner Bestandteile und deren Kombinationsweise; semantisches Parsing bildet natürliche Sprache auf eine formale Bedeutungsrepräsentation ab.

Scope

Umfasst die Konstruktion von Satzbedeutungen: das Kompositionalitätsprinzip, logische Bedeutungsrepräsentationen, die Syntax-Semantik-Schnittstelle und semantisches Parsing, das Äußerungen auf formale Repräsentationen abbildet, die für Inferenz oder Datenbankabfragen nutzbar sind. Es beinhaltet sowohl formale als auch gelernte Ansätze. Wortebenenbedeutung wird in der lexikalischen Semantik behandelt, und Diskursebenebedeutung in einem verwandten Thema.

Core questions

• Wie wird Satzbedeutung kompositionell aus Wortbedeutungen und Struktur zusammengesetzt?
• Wie werden Quantoren, Skopus und Negation in logischer Form dargestellt?
• Wie können semantische Parser aus Daten gelernt werden?
• Wie werden Bedeutungsrepräsentationen für Inferenz und Abfragen verwendet?

Key concepts

• Kompositionalität
• logische Form
• Lambda-Kalkül
• Quantorenskopus
• Syntax-Semantik-Schnittstelle
• semantisches Parsing
• Bedeutungsrepräsentation
• Inferenz

Key theories

Montague-Grammatik

Montagues Programm, natürliche Sprache mit der Strenge der formalen Logik zu behandeln, indem syntaktische Regeln mit semantischen Operationen gepaart werden, um wahrheitskonditionale Bedeutung zu berechnen.

Gelerntes semantisches Parsing

Induktion eines Parsers, der Sätze aus annotierten Beispielen auf logische Formen abbildet, unter Verwendung probabilistischer kategorialer Grammatiken und strukturierter Vorhersage.

History

Montagues Arbeit in den 1970er Jahren zeigte, dass natürlicher Sprache eine präzise modelltheoretische Semantik zugewiesen werden kann, was computergestützte Implementierungen inspirierte, die von Blackburn und Bos untersucht wurden. Ab Mitte der 2000er Jahre wandte sich das semantische Parsing dem maschinellen Lernen zu, wobei Zettlemoyer und Collins logische Formabbildungen aus Daten lernten, eine Linie, die sich im neuronalen semantischen Parsing fortsetzt.

Debates

Manuell erstellte versus gelernte Bedeutungsrepräsentationen

Ob formale logische Formen manuell entworfen oder aus Daten induziert werden sollten und wie viel explizite logische Struktur neuronale Systeme noch für eine zuverlässige Inferenz benötigen.

Key figures

• Richard Montague
• Patrick Blackburn
• Johan Bos
• Luke Zettlemoyer

Seminal works

• montague1973
• blackburn2005
• zettlemoyer2005

Frequently asked questions

Was ist eine logische Form?

Eine logische Form ist eine formale, eindeutige Repräsentation der Bedeutung eines Satzes, oft in einer Logik wie dem Lambda-Kalkül, die ein Computer zum Schlussfolgern oder zum Abfragen einer Datenbank verwenden kann.