Gramática universal aplicativa

La gramática universal aplicativa , o AUG , es un metalenguaje semántico universal destinado a estudiar los procesos semánticos en lenguajes particulares. ^[1] Se trata de una teoría lingüística que considera la formación de la estructura de la frase por analogía con la aplicación de funciones en un lenguaje de programación aplicativo . Entre las innovaciones de este enfoque del procesamiento del lenguaje natural se encuentran las ideas de superposición funcional y tipos estratificados. ^[2]^[3]

Ejemplo

En el artículo titulado Using Types to Parse Natural Language de Mark P. Jones, Paul Hudak y Sebastian Shaumyan , que describe una implementación del análisis de AUG en Haskell , hay una breve introducción a AUG. Se parafrasea aquí, utilizando uno de sus ejemplos: ^[4]

AUG tiene sólo dos tipos primitivos: T para términos, S para "oraciones" (aunque AUG aparentemente permite que los fragmentos de oraciones sean del tipo S). Hay un tipo no primitivo, que devuelve una función: Oxy. O reduce x e y a otro tipo, xy, que combina los tipos de x e y, xy. Las palabras pueden ser funciones de este tipo. El tipo de una palabra como "mi" (cosa) es OTT: toma algo del tipo T y produce algo del tipo T. "Mi amigo" tiene una estructura como esta:

{\dfrac {\text{''mi'' :: OTT ''amigo'' :: T}}{\text{''mi amigo'' :: T}}}

Las reglas pueden transformar p de tipo Oxy en q de tipo x:

{\dfrac {\text{p :: Oxy q :: x}}{\text{p q :: y}}}

Tenga en cuenta que al utilizar O como operador de prefijo se evita la necesidad de paréntesis (como en la ortografía matemática más convencional) y se obtiene una presentación más compacta en la página.

Así es como "mi amigo vive en Boston" se reduce en agosto.

AUG permite la aplicación tanto hacia adelante como hacia atrás de O. Aquí está la regla para la aplicación hacia atrás:

{\dfrac {\text{q :: x p :: Oxy}}{\text{q p :: y}}}

La palabra "viviendo" se reduce a la más específica "viviendo en Boston". AUG distingue entre gramática de fenotipo y genotipo ; el fenotipo se corresponde estrechamente con el lenguaje real, como en el gráfico anterior. El genotipo es una estructura más universal para el significado. Para enfocar más claramente los problemas del genotipo, el orden de las ramas del árbol se puede representar de modo que las funciones estén a la izquierda de sus argumentos. Un árbol de análisis sintáctico más genotípico se ve así:

La función intransitiva "lives" se escribe OTS: el sujeto es una T, pero una S (una frase oracional) debe ser el tipo resultante. ¿Por qué "in" tiene el tipo OTOOTSOTS? "In" como función de tres lugares requiere una ubicación ("Boston"; tipo T), algo que sucede ("lives"; tipo OTS) y, en este ejemplo, un sujeto, alguien que vive, también del tipo T.

Véase también

Referencias

^ Shaumyan, Sebastian (1987). Una teoría semiótica del lenguaje (1.ª ed.). Bloomington e Indianápolis: Indiana University Press. ISBN 978-0253304728.
^ Sypniewski, B. P (1996). "Superposición funcional" (PDF) . Foro LACUS (23): 279–287. ISSN 0195-377X.
^ Shaumyan, Sebastian ; Segond, Frédérique (1994). "Dependencias de larga distancia y gramática universal aplicativa" (PDF) . Actas de la 15.ª conferencia sobre lingüística computacional - . Vol. 2. Asociación de Lingüística Computacional. p. 853. doi : 10.3115/991250.991285 .
^ Jones, Mark P.; Hudak, Paul ; Shaumyan, Sebastian (1995), "Uso de tipos para analizar el lenguaje natural" (PDF) , en Turner, David (ed.), Actas del Taller de Glasgow sobre programación funcional , Workshops in Computer Science Series.(IFIP), Springer-Verlag, doi : 10.14236/ewic/FP1995.0 , ISBN 978-3540145806

Lectura adicional

Shaumyan, Sebastian (1 de enero de 1977). Gramática aplicativa como teoría semántica del lenguaje natural . Editorial de la Universidad de Edimburgo. ISBN 978-0852240762.
Sypniewski, Bernard P. "Introducción a la gramática universal aplicativa". pdfslide.net . Consultado el 29 de abril de 2021 .

Este artículo relacionado con la gramática es un esbozo . Puedes ayudar a Wikipedia expandiéndolo.

[1] Shaumyan, Sebastian (1987). Una teoría semiótica del lenguaje (1.ª ed.). Bloomington e Indianápolis: Indiana University Press. ISBN 978-0253304728.

[Syp97-2] Sypniewski, B. P (1996). "Superposición funcional" (PDF) . Foro LACUS (23): 279–287. ISSN 0195-377X.

[3] Shaumyan, Sebastian ; Segond, Frédérique (1994). "Dependencias de larga distancia y gramática universal aplicativa" (PDF) . Actas de la 15.ª conferencia sobre lingüística computacional - . Vol. 2. Asociación de Lingüística Computacional. p. 853. doi : 10.3115/991250.991285 .

[4] Jones, Mark P.; Hudak, Paul ; Shaumyan, Sebastian (1995), "Uso de tipos para analizar el lenguaje natural" (PDF) , en Turner, David (ed.), Actas del Taller de Glasgow sobre programación funcional , Workshops in Computer Science Series.(IFIP), Springer-Verlag, doi : 10.14236/ewic/FP1995.0 , ISBN 978-3540145806