En lingüística , la gramática de pares de arcos ( APG ) es una teoría de la sintaxis que tiene como objetivo formalizar y ampliar la gramática relacional . Se basa principalmente en el concepto de gramática relacional de un arco, pero también hace uso de ideas expresadas más formalmente de la teoría de modelos y la teoría de grafos . Fue desarrollado a finales de la década de 1970 por David E. Johnson y Paul Postal , y formalizado en 1980 en el libro homónimo Arc Pair Grammar.
La primera teoría sintáctica se ocupaba principalmente de las relaciones gramaticales. Esta tendencia fue abandonada por los defensores de la gramática transformacional , excepto en la interpretación semántica. [1] A principios de la década de 1970, algunos lingüistas, como Edward Keenan, comenzaron a desafiar esta noción desde la perspectiva transformacionalista, señalando, por ejemplo, la formación de cláusulas relativas en malgache [1] y la pasivización del inglés (ver chômeur ). La gramática relacional (RG) en sí nunca se formalizó en un solo lugar; en cambio, Keenan, Johnson y otros comenzaron a escribir aspectos del marco en una serie de disertaciones en esa época. Insatisfechos con los resultados y la falta de formalización en RG, David Johnson y Paul Postal intentaron establecer una versión utilizando lógica matemática. Este intento se convirtió en una nueva teoría, ahora conocida como APG. El propio APG fue desarrollado por Johnson y Postal a finales de la década de 1970, pero no se publicó hasta 1980. [2] APG toma relaciones gramaticales, la noción de arco de la teoría de grafos y dos operaciones (PATROCINADOR y BORRAR) como primitivas, con todas las demás reglas que se derivan (muchas de ellas matemáticamente, más que empíricamente).
En contraste con el enfoque generativo-enumerativo (teórico de la prueba) de la sintaxis asumido por la gramática transformacional, la gramática de pares de arcos adopta un enfoque teórico de modelos. En la gramática de pares de arcos, las leyes lingüísticas y las reglas gramaticales específicas del idioma se formalizan como enunciados lógicos axiomáticos . Las oraciones de una lengua, entendidas como estructuras de un determinado tipo, siguen el conjunto de leyes lingüísticas y enunciados específicos de la lengua. Esto reduce la gramaticalidad a la noción lógicamente satisfactoria de satisfacción teórica del modelo.
La red de pares ( PN ) es el método principal para representar oraciones en APG. Es un modelo matemático que consta de nodos (para cada palabra y la cláusula en su conjunto) y un arco que los conecta, con operaciones que actúan sobre arcos en lugar de nodos. Esto es algo análogo a la idea TG de un árbol, pero con algunas diferencias importantes. Primero, las PN son objetos matemáticos formales, mientras que los árboles en TG son objetos matemáticos que no están definidos formalmente. En segundo lugar, la idea de ramas en los árboles no se transmite; mientras que las ramas unen nodos en distintos niveles de estructura, y la red general de ramas determina las funciones gramaticales, los arcos codifican funciones gramaticales en sus cabezas y su única función estructural es adjuntar palabras a su cláusula. En tercer lugar, las operaciones entre arcos (es decir, operaciones intraestructurales) crean el orden de las palabras, mientras que la estructura TG codifica el orden de las palabras en todos los niveles. [2]
Una red de pares consta de cuatro componentes: el 'gráfico relacional', el 'gráfico lógico', el 'gráfico de superficie' (gráficos R, L, S) y las dos operaciones Patrocinador y Borrado . El gráfico R es simplemente el conjunto de todos los elementos de la red de pares, es decir, la estructura en su conjunto de todos los arcos, etiquetas ( signos R ) y operaciones entre ellos. El gráfico S consta de aquellos miembros del gráfico R que realmente se hablan. El elemento de frase única y la palabra se tratan como si tuvieran una raíz única a los efectos del gráfico S, aunque el marco APG es teóricamente aplicable a entradas léxicas. [2] El gráfico L representa la semántica de una red de pares y las relaciones lógicas entre sus elementos. Los gráficos L también contienen la noción de "arcos lógicos", que son precisamente aquellos arcos en el gráfico R que terminan en nodos etiquetados con las relaciones lógicas y semánticas de un arco.
Las operaciones de patrocinador se utilizan entre niveles en el gráfico R para establecer diferentes estados lingüísticos (es decir, un conjunto particular de relaciones gramaticales). En términos generales, los niveles más bajos patrocinan niveles más altos y los niveles más altos borran los niveles más bajos. El patrocinador se puede dividir en dos casos: reemplazar y tener éxito . El éxito es el más básico de los dos, en el sentido de que un arco A es el sucesor de otro arco B si y sólo si B patrocina a A, A y B se superponen, y B≠A. Es decir, cada arco patrocinado por un arco distinto de él mismo es el sucesor de ese arco. Mientras tanto, el reemplazo ocurre exclusivamente entre arcos que son vecinos (arcos que comparten una cabeza, pero tienen colas distintas). Como consecuencia, Reemplazar solo puede ocurrir entre arcos con un signo R idéntico. Los arcos que forman parte de las operaciones Reemplazar no pueden también ser parte de las operaciones Succeed. [2] Por lo tanto, Reemplazar es significativamente más restringido que Succeed. Aunque en última instancia tienen el mismo efecto de establecer patrocinio, Reemplazar y Succeed están sujetos a reglas y leyes diferentes entre sí. [2] La distinción ayuda a definir cuándo exactamente puede ocurrir el patrocinio y, por lo tanto, aunque no es técnicamente necesario, es útil por razones de brevedad.
Las operaciones de borrado ocurren entre arcos cuando se hace necesario especificar qué nivel lingüístico está fonológicamente atestiguado. Cuando dos arcos comparten la misma relación gramatical con el mismo nodo raíz, el que está en el nivel de la superficie borra el que está en los niveles inferiores. Los sucesores siempre borran a sus predecesores, excepto en un caso.
Hay muy pocos sintácticos que se consideren practicantes de APG o sus descendientes. Hay algunas razones para esto. En primer lugar, aunque intenta manejar todos los aspectos del lenguaje utilizando redes de pares y pares de arco, no existe una explicación APG de la fonología adecuada. [2] En segundo lugar, la complejidad de una estructura APG en general aumenta exponencialmente con la complejidad de la oración. Por ejemplo, en oraciones con complementos a , los nodos en el complemento tienen relaciones de arco con nodos fuera de él, lo que genera estructuras representadas matemáticamente aunque difíciles de seguir.