2 research outputs found
Análisis eficaz de gramáticas de cláusulas definidas
[Resumen] 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 gramáticas 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 resolucibn 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 representaĉiones, 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 d^e bucles a nivel de la unificación
está garantizada. La técnica no permite, sin embargo, una detección
automatizada de los nodos conflictivos ni su representación.
Nuestro acercamiento prevé la consideración tanto del problema de
la detección de ciclos a nivel de la unificación de argumentos, como su
representación explÃcita en los casos en los que ello sea posiblel .
Nuestro punto de partida será el estudio de las propiedades estáticas de
evaluación de los formalismos gramaticales considerados y su adecuación
a técnicas de evaluación dinámica, las mejor adaptadas al problema por
garantizar una compartición óptima de cálculos y estructuras.
Para ello estableceremos un marco descriptivo común sobre el cual desarrollar
y comparar diversas estrategias de análisis sintáctico. Este marco
también nos permitirá extender de manera intuitiva las técnicas incorporadas
al análisis de lenguajes a otros formalismos gramaticales valuados