Tesis doctoral de José Antonio Jimenez Millan
Esta tesis doctoral muestra el resultado de una investigación sobre la utilización del formalismo de las gramáticas categoriales (gc) para la descripción y parsing de los lenguajes naturales y formales. el estudio se ha centrado sobre algunos aspectos que encontrábamos problemáticos para la aplicación práctica de las gc, a saber: a,- equiValencia fuerte entre las gramáticas independientes de contexto (gic) y gc. b,- falta de expresividad de las gc. c,- existencia de múltiples sistemas de etiquetado semántico para el cálculo de lamberk (cl) y ausencia de una definición precisa de la ambigí¼edad espuria. d,- eficiencia y robustez de los algoritmos de parsing. se comienza estudiando la posible utilización del cl a las gic, concluyendo que esto es posible. Para demostrarlo introducimos un modelo algebraico, y comprobamos que el cl es válido en él. otra forma de considerar el resultado anterior es pensar que hemos extendido las gc a una teoría conseguida al añadir axiomas al cl. El sistema resultante constituye una teoría unificada de las gc y las gic. a continuación discutimos las implicaciones que conlleva la utilización del cl en las gic, así como sus ventajas y desventajas. respecto a la existencia de múltiples sistemas de etiquetado en cl, comenzamos introduciendo dos versiones diferentes para el cálculo en deducción natural (dn) de las gc. Utilizando una de las variantes es como mostramos la validez del principio de inversión y la equiValencia curry-howard en dn. Posteriormente, y utilizando dos algoritmos nuevos de conversión entre las pruebas en cl y las deduciones en dn. Obtenemos un etiquetado semántico en cl que proponemos como definición de la ambigí¼edad espuria. por último mostramos dos algoritmos de parsing. Uno para el cálculo en dn, que es único completo que conocemos y que genera sólo formas normales, y otra para el cl, que también es completo y libre de ambigí¼edad espuri
Datos académicos de la tesis doctoral «Investigaciones sobre gramáticas categoriales: algoritmos de parsing y equiValencia entre formalismos«
- Título de la tesis: Investigaciones sobre gramáticas categoriales: algoritmos de parsing y equiValencia entre formalismos
- Autor: José Antonio Jimenez Millan
- Universidad: Cádiz
- Fecha de lectura de la tesis: 19/05/2003
Dirección y tribunal
- Director de la tesis
- Antonio Frías Delgado
- Tribunal
- Presidente del tribunal: buenaventura Clares rodríguez
- Fariñas del cerro Luis (vocal)
- raquel Martinez unanue (vocal)
- (vocal)