Tesis doctoral de David Cabrero Souto
Dentro del análisis sintáctico, la utilización de formalismos gramaticales valuados es, hoy por hoy, punto inconturnable en el desarrollo de estrategias de análisis sintáctico en entornos de procesamiento del lenguaje natural y en programación lógica, este último como representante del paradigma declarativo. El presente trabajo se centra en el estudio y desarrollo de técnicas de análisis sintáctico dirigidas, en última instancia, al tratamiento de sistemas basados en el análisis de formalismos gramaticales valuados donde, típicamente, el concepto de categoría gramatical se extiende a un dominio posiblemente infinito. En estas circunstancias los métodos clásicos de análisis sintáctico basados en la consideración de dominios finitos no son aplicables, al no garantizar la correcta terminación del proceso de cálculo. Referido al campo de las gramaticas lógicas, esta situación fuerza la necesidad del desarrollo e implementación de técnicas de análisis capaces de asegurar la completud de la resolución en el caso de presencia de símbolos funcionales. igualmente cobra especial relevancia la consideración de las técnicas de programación dinámica aplicadas al análisis sintáctico. Este hecho es debido a la compactación de las repreentaciones, que convierte este paradigma en una técnica eficiente para el tratamiento de cálculos con un alto grado de redundancia, relacionados con fenómenos tales como el no determinismo, habituales en formalismos gramaticales complejos. hasta el momento, las técnicas aplicadas se han basado fundamentalmente en el concepto subyacente en la técnica de restricción. Esta permite de forma simple y eficaz limitar el proceso de evaluación a aquellos nodos del bosque de prueba en los que la ausencia de bucles a nivel de la unificación está garantizada. La técnica no permite, sin embargo, una detección automatizada delos nodos conflictivos ni su representación. nuestro acercam
Datos académicos de la tesis doctoral «Análisis eficaz de gramáticas de cláusulas definidas«
- Título de la tesis: Análisis eficaz de gramáticas de cláusulas definidas
- Autor: David Cabrero Souto
- Universidad: A coruña
- Fecha de lectura de la tesis: 19/10/2002
Dirección y tribunal
- Director de la tesis
- Manuel Vilares Ferro
- Tribunal
- Presidente del tribunal: enric Trillas ruíz
- Villemonte de la clergerie eric (vocal)
- Miguel Delgado calvo-flores (vocal)
- Antonio Blanco ferro (vocal)