Resumen de Un formalismo para la extracción de información semántica en textos matemáticos
Julia Díaz García 
El trabajo de investigación que se presenta ha sido desarrollado en el marco del proyecto progenes (financiado por el plan nacional de investigación, programa nacional de tecnología de información y de las comunicaciones, proyecto 352,90). Progenes (Proof Generator Expert System) es un proyecto de investigación básica dedicado al desarrollo de un sistema capaz de resolver enunciados en lenguaje natural. Al sistema se le proporciona la misma información, y en la misma forma, que a cualquier persona que tuviera que resolver el problema. Por lo tanto se ha incorporado al sistema una interfaz capaz de entender el texto de los enunciados expresados en lenguaje natural, e interpretarlos según una semántica que refleja conceptos y relaciones existentes en esta área de conocimientos. El objetivo de esta tesis ha sido diseñar e implementar un formalismo semántico que represente el texto inicial de los enunciados, utilizando mecanismos composicionales generales, resolviendo las ambigüedades léxicas que aparecen en los textos y efectuando un tratamiento de la complejidad semántica.
