Formalismes Grammaticaux

Les systèmes grammaticaux plus riches utilisés pour décrire la syntaxe des langues naturelles au-delà des règles hors-contexte simples — les grammaires d'arbres adjoints, catégorielles et basées sur l'unification — qui équilibrent l'expressivité et la parsabilité.

Definition

Un formalisme grammatical est un système permettant de spécifier les structures légales d'une langue, caractérisé par sa puissance générative, ses dispositifs de représentation et la complexité de son analyse (parsing).

Scope

Couvre les formalismes conçus pour saisir les phénomènes syntaxiques que les grammaires hors-contexte gèrent difficilement : la grammaire d'arbres adjoints (TAG), la grammaire catégorielle combinatoire (CCG) et les grammaires basées sur l'unification ou les traits (features) telles que HPSG et LFG. Il aborde la notion de sensibilité contextuelle modérée et le compromis entre l'adéquation linguistique et la tractabilité computationnelle. Les algorithmes d'analyse spécifiques à la constituance et à la dépendance sont traités séparément.

Core questions

• Quels phénomènes syntaxiques motivent le dépassement des grammaires hors-contexte ?
• Qu'est-ce que la sensibilité contextuelle modérée et pourquoi est-elle considérée comme la puissance adéquate pour le langage ?
• Comment l'unification et les traits (features) permettent-ils aux grammaires de partager des informations à travers une structure ?
• Comment ces formalismes équilibrent-ils l'expressivité et l'efficacité de l'analyse (parsing) ?

Key concepts

• grammaire d'arbres adjoints
• grammaire catégorielle combinatoire
• grammaire d'unification
• structure de traits (features)
• sensibilité contextuelle modérée
• HPSG
• LFG
• sous-catégorisation

Key theories

Sensibilité contextuelle modérée

Une classe de grammaires, incluant TAG et CCG, qui dépasse la puissance des grammaires hors-contexte juste assez pour saisir les dépendances croisées (cross-serial dependencies) tout en restant analysable en temps polynomial.

Grammaire catégorielle combinatoire

Un formalisme lexicalisé dans lequel les mots portent des catégories fonctionnelles combinées par un petit ensemble de combinateurs, couplant étroitement la syntaxe avec la sémantique compositionnelle.

Grammaire basée sur l'unification

Des formalismes tels que HPSG qui représentent les objets linguistiques comme des structures de traits typées (typed feature structures) combinées par unification, saisissant l'accord et la sous-catégorisation de manière déclarative.

History

Au cours des années 1980 et 1990, les linguistes ont développé des formalismes plus riches que les grammaires hors-contexte pour saisir l'accord, les dépendances à longue distance et l'interface syntaxe-sémantique. La grammaire d'arbres adjoints de Joshi a formalisé la sensibilité contextuelle modérée, tandis que CCG et HPSG ont proposé des alternatives lexicalisées et basées sur l'unification qui restent influentes dans les travaux théoriques et computationnels.

Debates

Expressivité versus tractabilité

Des formalismes plus puissants peuvent décrire davantage de phénomènes mais risquent une analyse (parsing) intraitable ; le domaine privilégie généralement la puissance minimale suffisante pour couvrir les données, d'où l'intérêt pour les grammaires à sensibilité contextuelle modérée.

Key figures

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

Seminal works

• joshi1997
• steedman2000
• pollard1994

Frequently asked questions

Pourquoi ne pas simplement utiliser des grammaires hors-contexte pour tout ?

Certaines constructions, comme les dépendances croisées (cross-serial dependencies) en néerlandais et en suisse allemand, ne peuvent manifestement pas être générées par des grammaires hors-contexte. Les formalismes à sensibilité contextuelle modérée ajoutent juste assez de puissance pour les gérer tout en restant analysables efficacement.