Grammatikformalismen

Die reichhaltigeren Grammatiksysteme, die zur Beschreibung der Syntax natürlicher Sprachen über einfache kontextfreie Regeln hinaus verwendet werden – Tree-Adjoining-, kategoriale und Unifikationsgrammatiken –, die Ausdrucksstärke und Parsbarkeit ausbalancieren.

Definition

Ein Grammatikformalismus ist ein System zur Spezifikation der zulässigen Strukturen einer Sprache, gekennzeichnet durch seine generative Kraft, seine Repräsentationsmittel und die Komplexität seiner Parsierung.

Scope

Umfasst Formalismen, die darauf ausgelegt sind, syntaktische Phänomene zu erfassen, die kontextfreie Grammatiken nur umständlich behandeln können: Tree-Adjoining Grammar (TAG), Combinatory Categorial Grammar (CCG) und Unifikations- oder Feature-basierte Grammatiken wie HPSG und LFG. Es behandelt den Begriff der milden Kontextsensitivität und den Kompromiss zwischen linguistischer Adäquatheit und rechnerischer Verarbeitbarkeit. Parsing-Algorithmen, die spezifisch für Konstituenz und Dependenz sind, werden separat behandelt.

Core questions

• Welche syntaktischen Phänomene motivieren die Überschreitung kontextfreier Grammatiken?
• Was ist milde Kontextsensitivität und warum wird sie als die richtige Mächtigkeit für Sprache angesehen?
• Wie ermöglichen Unifikation und Features Grammatiken, Informationen über eine Struktur hinweg zu teilen?
• Wie tauschen diese Formalismen Ausdrucksstärke gegen effizientes Parsen ein?

Key concepts

• Tree-Adjoining Grammar
• Combinatory Categorial Grammar
• Unifikationsgrammatik
• Feature-Struktur
• milde Kontextsensitivität
• HPSG
• LFG
• Subkategorisierung

Key theories

Milde Kontextsensitivität

Eine Klasse von Grammatiken, einschließlich TAG und CCG, die die kontextfreie Mächtigkeit gerade so weit übertrifft, dass sie Kreuzserienabhängigkeiten erfassen kann, während sie polynomialzeitlich parsbar bleibt.

Kombinatorische Kategorialgrammatik

Ein lexikalisierter Formalismus, bei dem Wörter funktionale Kategorien tragen, die durch einen kleinen Satz von Kombinatoren kombiniert werden, wodurch Syntax eng mit kompositioneller Semantik gekoppelt wird.

Unifikationsbasierte Grammatik

Formalismen wie HPSG, die linguistische Objekte als typisierte Feature-Strukturen darstellen, die durch Unifikation kombiniert werden, wodurch Kongruenz und Subkategorisierung deklarativ erfasst werden.

History

In den 1980er und 1990er Jahren entwickelten Linguisten Formalismen, die reicher als kontextfreie Grammatiken waren, um Kongruenz, Langdistanzabhängigkeiten und die Syntax-Semantik-Schnittstelle zu erfassen. Joshis Tree-Adjoining Grammar formalisierte milde Kontextsensitivität, während CCG und HPSG lexikalisierte und unifikationsbasierte Alternativen boten, die sowohl in der theoretischen als auch in der computergestützten Arbeit weiterhin einflussreich sind.

Debates

Ausdrucksstärke versus Verarbeitbarkeit

Mächtigere Formalismen können mehr Phänomene beschreiben, bergen aber das Risiko einer unlösbaren Parsierung; das Feld bevorzugt im Allgemeinen die geringste Mächtigkeit, die ausreicht, um die Daten abzudecken, daher das Interesse an mild kontextsensitiven Grammatiken.

Key figures

• Aravind Joshi
• Mark Steedman
• Carl Pollard
• Ivan Sag

Seminal works

• joshi1997
• steedman2000
• pollard1994

Frequently asked questions

Warum nicht einfach kontextfreie Grammatiken für alles verwenden?

Einige Konstruktionen, wie Kreuzserienabhängigkeiten im Niederländischen und Schweizerdeutschen, können nachweislich nicht durch kontextfreie Grammatiken generiert werden. Mild kontextsensitive Formalismen fügen gerade genug Mächtigkeit hinzu, um diese zu behandeln, während sie effizient parsbar bleiben.