Formalismos Gramaticales

Los sistemas gramaticales más ricos utilizados para describir la sintaxis del lenguaje natural más allá de las reglas simples libres de contexto —gramáticas de adjunción de árboles, categoriales y basadas en unificación— que equilibran la expresividad con la capacidad de análisis sintáctico.

Definition

Un formalismo gramatical es un sistema para especificar las estructuras legales de un lenguaje, caracterizado por su poder generativo, sus dispositivos representacionales y la complejidad de su análisis sintáctico.

Scope

Cubre formalismos diseñados para capturar fenómenos sintácticos que las gramáticas libres de contexto manejan de forma torpe: gramática de adjunción de árboles (TAG), gramática categorial combinatoria (CCG) y gramáticas basadas en unificación o características como HPSG y LFG. Aborda la noción de sensibilidad al contexto leve y la compensación entre la adecuación lingüística y la tratabilidad computacional. Los algoritmos de análisis sintáctico específicos para la constituyente y la dependencia se cubren por separado.

Core questions

• ¿Qué fenómenos sintácticos motivan ir más allá de las gramáticas libres de contexto?
• ¿Qué es la sensibilidad al contexto leve y por qué se considera el poder adecuado para el lenguaje?
• ¿Cómo permiten la unificación y las características que las gramáticas compartan información a través de una estructura?
• ¿Cómo equilibran estos formalismos la expresividad con el análisis sintáctico eficiente?

Key concepts

• gramática de adjunción de árboles
• gramática categorial combinatoria
• gramática de unificación
• estructura de características
• sensibilidad al contexto leve
• HPSG
• LFG
• subcategorización

Key theories

Sensibilidad al contexto leve

Una clase de gramáticas, incluyendo TAG y CCG, que excede el poder libre de contexto lo suficiente como para capturar dependencias interserial, mientras sigue siendo analizable en tiempo polinomial.

Gramática categorial combinatoria

Un formalismo lexicalizado en el que las palabras llevan categorías funcionales combinadas por un pequeño conjunto de combinadores, acoplando estrechamente la sintaxis con la semántica composicional.

Gramática basada en unificación

Formalismos como HPSG que representan objetos lingüísticos como estructuras de características tipadas combinadas por unificación, capturando la concordancia y la subcategorización de forma declarativa.

History

A lo largo de las décadas de 1980 y 1990, los lingüistas desarrollaron formalismos más ricos que las gramáticas libres de contexto para capturar la concordancia, las dependencias de largo alcance y la interfaz sintaxis-semántica. La gramática de adjunción de árboles de Joshi formalizó la sensibilidad al contexto leve, mientras que CCG y HPSG ofrecieron alternativas lexicalizadas y basadas en unificación que siguen siendo influyentes tanto en el trabajo teórico como computacional.

Debates

Expresividad versus tratabilidad

Los formalismos más potentes pueden describir más fenómenos, pero corren el riesgo de un análisis sintáctico intratable; el campo generalmente favorece el menor poder suficiente para cubrir los datos, de ahí el interés en las gramáticas ligeramente sensibles al contexto.

Key figures

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

Seminal works

• joshi1997
• steedman2000
• pollard1994

Frequently asked questions

¿Por qué no usar simplemente gramáticas libres de contexto para todo?

Algunas construcciones, como las dependencias interserial en holandés y suizo-alemán, no pueden ser generadas por gramáticas libres de contexto. Los formalismos ligeramente sensibles al contexto añaden la potencia justa para manejarlas, manteniéndose eficientemente analizables.