Marco gramatical (lenguaje de programación)

Grammatical Framework ( GF ) es un lenguaje de programación para escribir gramáticas de lenguajes naturales. GF ​​es capaz de analizar y generar textos en varios idiomas simultáneamente, partiendo de una representación del significado independiente del idioma. Las gramáticas escritas en GF se pueden compilar en un formato independiente de la plataforma y utilizarse en diferentes lenguajes de programación, como C , Java , C# , Python y Haskell . GF se complementa con la GF Resource Grammar Library , una biblioteca reutilizable para gestionar la morfología y la sintaxis de un número creciente de lenguajes naturales.

Tanto GF como la Biblioteca de Gramática de Recursos de GF son de código abierto . Tipológicamente, GF es un lenguaje de programación funcional . Matemáticamente, es un sistema formal de teoría de tipos (un marco lógico , para ser precisos) basado en la teoría de tipos intuicionista de Martin-Löf , con juicios adicionales adaptados específicamente al ámbito de la lingüística.

• un sistema de tipos estático , para detectar posibles errores de programación
• programación funcional para abstracciones potentes
• Soporte para la escritura de bibliotecas, para ser utilizadas en otras gramáticas.
• herramientas para la extracción de información , para convertir recursos lingüísticos en GF ^{[ 1 ]}

Objetivo: escribir una gramática multilingüe para expresar afirmaciones sobre el amor que se tienen Juan y María. ^{[ 2 ]}

abstracto Cero = { cat S ; NP ; VP ; V2 ; fun Pred : NP -> VP -> S ; Compl : V2 -> NP -> VP ; John , Mary : NP ; Love : V2 ; }

concreto ZeroEng de Zero = { lincat S , NP , VP , V2 = Str ; lin Pred np vp = np ++ vp ; Compl v2 np = v2 ++ np ; John = "John" ; Mary = "Mary" ; Love = "loves" ; }

concreto ZeroFre de Zero = { lincat S , NP , VP , V2 = Str ; lin Pred np vp = np ++ vp ; Compl v2 np = v2 ++ np ; John = "Jean" ; Mary = "Marie" ; Love = "aime" ; }

> importar ZeroEng.gf ZeroFre.gf Idiomas: ZeroEng ZeroFre

> parse -lang=Eng "John loves Mary" | linearize -lang=Fre Jean aime Marie

> generate_random | linearize -treebank Zero: Pred Mary (Compl Love Mary) ZeroEng: Mary loves Mary ZeroFre: Marie aime Marie

concreto ZeroLat de Zero = { lincat S , VP , V2 = Str ; NP = Case => Str ; lin Pred np vp = np ! Nom ++ vp ; Compl v2 np = np ! Acc ++ v2 ; John = table { Nom => "Ioannes" ; Acc => "Ioannem" } ; Mary = table { Nom => "Maria" ; Acc => "Mariam" } ; Love = "amat" ; param Case = Nom | Acc ; }

concreto ZeroDut de Zero = { lincat S , NP , VP = Str ; V2 = { v : Str ; p : Str } ; lin Pred np vp = np ++ vp ; Compl v2 np = v2 . v ++ np ++ v2 . p ; John = "Jan" ; Mary = "Marie" ; Love = { v = "heeft" ; p = "lief" } ; }

ZeroHeb concreto de Zero = { codificación de banderas = utf8 ; lincat S = Cadena ; NP = { s : Cadena ; g : Género } ; VP , V2 = Género => Str ; lin Pred np vp = np . s ++ vicepresidente ! np . gramo ; Compl v2 np = tabla { g => v2 ! g ++ "את" ++ np . s } ; Juan = { s = "ג׳ון" ; g = Masc } ; María = { s = "מרי" ; g = Fem } ; Amor = mesa { Masc => "אוהב" ; Fem => "אוהבת" } ; parámetro Género = Masc | femenino ; }

> parse -lang=Eng "John loves Mary" | visualize_parse -view= "eog" > parse -lang=Dut "Jan heeft Marie lief" | visualize_parse -view= "eog"

Generando alineación de palabras

1. En los idiomas L1 y L2: vincular cada palabra con su subárbol de expansión más pequeño.
2. Elimine el árbol intermedio, combinando los enlaces directamente de L1 a L2.

En general, esto proporciona alineación de frases. Los enlaces pueden cruzarse, las frases pueden ser discontinuas. El align_wordscomando sigue una sintaxis similar:

> parse -lang=Fre "Marie aime Jean" | align_words -lang=Fre,Dut,Lat -view= "eog"

En las aplicaciones de lenguaje natural, las bibliotecas son una forma de gestionar los miles de detalles relacionados con la sintaxis, el léxico y la flexión. La Biblioteca de Gramática de Recursos GF es la biblioteca estándar para Grammatical Framework. Cubre la morfología y la sintaxis básica de un número creciente de idiomas, que actualmente incluyen afrikáans, amárico (parcial), árabe (parcial), vasco (parcial), búlgaro, catalán, chino, checo (parcial), danés, neerlandés, inglés, estonio, finlandés, francés, alemán, griego antiguo (parcial), griego moderno, hebreo (fragmentos), hindi, húngaro (parcial), interlingua, italiano, japonés, coreano (parcial), latín (parcial), letón, maltés, mongol, nepalí, noruego bokmål, noruego nynorsk, persa, polaco, punjabi, rumano, ruso, sindhi, eslovaco (parcial), esloveno (parcial), somalí (parcial), español, suajili (fragmentos), sueco, tailandés, turco (fragmentos) y urdu. Además, 14 idiomas cuentan con el léxico WordNet y extensiones de análisis sintáctico a gran escala. ^{[ 3 ]}

La documentación completa de la API de la biblioteca se puede encontrar en la página de resumen de RGL . El documento de estado de RGL detalla los lenguajes disponibles actualmente en la Biblioteca de Gramáticas de Recursos de GF, incluyendo su nivel de madurez.

GF se creó por primera vez en 1998 en el Centro de Investigación de Xerox en Europa , Grenoble, dentro del proyecto de Creación de Documentos Multilingües. En Xerox, se utilizó para prototipos que incluían un libro de frases para restaurantes, un sistema de consulta de bases de datos, la formalización de las instrucciones de un sistema de alarma con traducciones a 5 idiomas y un sistema de creación de descripciones de medicamentos.

Entre los proyectos posteriores que utilizan GF y en los que participan terceros se incluyen:

• REMU : Comunicación digital multilingüe fiable, un proyecto financiado por el Consejo Sueco de Investigación entre 2013 y 2017.
• MOLTO : traducción multilingüe en línea, un proyecto de la UE que se desarrolló entre 2010 y 2013.
• SALDO : Diccionario morfológico sueco basado en reglas desarrolladas para la morfología funcional y la gramática.
• WebAlt : generación multilingüe de ejercicios matemáticos (proyecto comercial)
• TALK: sistemas de diálogo hablado multilingües y multimodales

En el ámbito académico, la GF se ha utilizado en muchas tesis doctorales y ha dado lugar a numerosas publicaciones científicas (véase la lista de publicaciones sobre GF para consultar algunas de ellas).

Comercialmente, GF ha sido utilizado por varias empresas en ámbitos como el comercio electrónico, la atención médica y la traducción de especificaciones formales a lenguaje natural. ^{[ 4 ]}

• Página principal del Marco Gramatical