La gramática universal aplicativa , o AUG , es un metalenguaje semántico universal destinado a estudiar los procesos semánticos en idiomas particulares. [1] Ésta es una teoría lingüística que ve 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 en este enfoque del procesamiento del lenguaje natural se encuentran las ideas de superposición funcional y tipos estratificados. [2] [3]
En el artículo titulado Uso de tipos para analizar el lenguaje natural 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. Está parafraseado aquí, usando uno de sus ejemplos: [4]
AUG tiene solo 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 xey a otro tipo, xy, que combina los tipos de xey, xy. Las palabras pueden ser funciones de este tipo. El tipo de una palabra como "mi" (cosa) es OTT: toma algo de tipo T y produce algo de tipo T. "Mi amigo" tiene una estructura como esta:
Tenga en cuenta que hacer O un operador de prefijo evita la necesidad de paréntesis (como en la ortografía matemática más convencional) y permite una presentación más compacta en la página.
La palabra "vivir" se reduce al más específico "vivir en Boston". AUG distingue entre fenotipo y gramática de 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. En aras de un enfoque más claro en cuestiones de genotipo, el orden de las ramas de los árboles se puede representar de modo que las funciones estén a la izquierda de sus argumentos. Un árbol de análisis más genotípico se ve así:
La intransitiva "vidas" se escribe OTS: el sujeto es una T, pero una S, una frase de oración, debe ser el tipo resultante. ¿Por qué "in" tiene el tipo OTOOTSOTS? "In" como función de tres lugares requiere una ubicación, algo que sucede T (incluso si es solo estar dentro de otra cosa), y en este ejemplo, un sujeto, alguien que vive, también de tipo T.