Análisis eficaz de gramáticas de cláusulas definidas
Ver/ abrir
Use este enlace para citar
http://hdl.handle.net/2183/18301Coleccións
- Teses de doutoramento [2089]
Metadatos
Mostrar o rexistro completo do ítemTítulo
Análisis eficaz de gramáticas de cláusulas definidasAutor(es)
Director(es)
Vilares Ferro, ManuelData
2002Centro/Dpto/Entidade
Universidade da Coruña. Departamento de ComputaciónResumo
[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.
Palabras chave
Procesamiento en lenguaje natural (Informática)
Programación lógica
Programación lógica
Dereitos
Os titulares dos dereitos de propiedade intelectual autorizan a visualización do contido desta tese a través de Internet, así como a súa reproducción, gravación en soporte informático ou impresión para o seu uso privado e/ou con fins de estudo e de investigación. En nengún caso se permite o uso lucrativo deste documento. Estos dereitos afectan tanto ó resumo da tese como o seu contido Los titulares de los derechos de propiedad intelectual autorizan la visualización del contenido de esta tesis a través de Internet, así como su repoducción, grabación en soporte informático o impresión para su uso privado o con fines de investigación. En ningún caso se permite el uso lucrativo de este documento. Estos derechos afectan tanto al resumen de la tesis como a su contenido