Formalismos Gramaticais

Os sistemas gramaticais mais ricos usados para descrever a sintaxe da linguagem natural além das regras context-free simples — gramáticas de adjunção de árvores, categóricas e baseadas em unificação — que equilibram a expressividade com a capacidade de análise sintática.

Definition

Um formalismo gramatical é um sistema para especificar as estruturas legais de uma linguagem, caracterizado por seu poder generativo, seus dispositivos representacionais e a complexidade de sua análise sintática.

Scope

Abrange formalismos projetados para capturar fenômenos sintáticos que as gramáticas livres de contexto tratam de forma inadequada: gramática de adjunção de árvores (TAG), gramática categorial combinatória (CCG) e gramáticas baseadas em unificação ou em características, como HPSG e LFG. Aborda a noção de sensibilidade de contexto suave e a troca entre adequação linguística e tratabilidade computacional. Algoritmos de análise sintática específicos para constituintes e dependências são abordados separadamente.

Core questions

• Quais fenômenos sintáticos motivam ir além das gramáticas livres de contexto?
• O que é sensibilidade de contexto suave e por que é considerada a potência adequada para a linguagem?
• Como a unificação e as características permitem que as gramáticas compartilhem informações em uma estrutura?
• Como esses formalismos trocam expressividade por análise sintática eficiente?

Key concepts

• gramática de adjunção de árvores
• gramática categorial combinatória
• gramática de unificação
• estrutura de características
• sensibilidade de contexto suave
• HPSG
• LFG
• subcategorização

Key theories

Sensibilidade de contexto suave

Uma classe de gramáticas, incluindo TAG e CCG, que excede o poder livre de contexto apenas o suficiente para capturar dependências cruzadas, permanecendo analisável em tempo polinomial.

Gramática categorial combinatória

Um formalismo lexicalizado no qual as palavras carregam categorias funcionais combinadas por um pequeno conjunto de combinadores, acoplando fortemente a sintaxe com a semântica composicional.

Gramática baseada em unificação

Formalismos como HPSG que representam objetos linguísticos como estruturas de características tipadas combinadas por unificação, capturando concordância e subcategorização de forma declarativa.

History

Ao longo das décadas de 1980 e 1990, linguistas desenvolveram formalismos mais ricos do que as gramáticas livres de contexto para capturar concordância, dependências de longa distância e a interface sintaxe-semântica. A gramática de adjunção de árvores de Joshi formalizou a sensibilidade de contexto suave, enquanto CCG e HPSG ofereceram alternativas lexicalizadas e baseadas em unificação que permanecem influentes tanto no trabalho teórico quanto computacional.

Debates

Expressividade versus tratabilidade

Formalismos mais poderosos podem descrever mais fenômenos, mas correm o risco de análise intratável; o campo geralmente favorece o menor poder suficiente para cobrir os dados, daí o interesse em gramáticas suavemente sensíveis ao contexto.

Key figures

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

Seminal works

• joshi1997
• steedman2000
• pollard1994

Frequently asked questions

Por que não usar apenas gramáticas livres de contexto para tudo?

Algumas construções, como as dependências cruzadas em holandês e suíço-alemão, comprovadamente não podem ser geradas por gramáticas livres de contexto. Formalismos suavemente sensíveis ao contexto adicionam poder suficiente para lidar com elas, mantendo-se eficientemente analisáveis.