Analizador sintáctico de expresiones matemáticas usando programación por restricciones

Abstract

Presentamos un estudio sint ́actico que comprende el an ́alisis de un corpus de oraciones en el contexto de la teor ́ıa de conjuntos de las matem ́aticas. El estudio se presenta desde dos enfoques: el enfoque de la gram ́atica generativa

(gram ́aticas de estructura de frase) y el enfoque de las gram ́aticas de depen- dencia. Revisamos aspectos importantes de la teor ́ıa ling ̈u ́ıstica que son ́utiles

a la hora de modelar sint ́acticamente todas las oraciones que se presentan en el corpus. Para ello, como ya se habia dicho, se mantuvo un enfoque integral, haciendo primero un peque ̃no estudio de estructuras de frase para luego poder formular de un manera completa una gram ́atica de dependencia que en ́ultimas se construye (con la ayuda de un framework preexistente) formalmente como un CSP. Se hace un tratamiento de la ambig ̈uedad y se usa el parser para la extracci ́on de informaci ́on.