Tesis doctoral de Francesc Xavier Llore Nadal
Los metodos de prueba para gcms basados en redes de demostracion con formulas etiquetadas se hallan ante el problema de tener que efectuar unificacion bajo asociatividad y, en el caso de calculos mixtos con no asociatividad, de tener que incluir una hipotesis estructural en el consecuente. La tesis soluciona ambos problemas mediante un sistema de doble etiquetaje: un etiquetaje con listas de diferencias, comun para los calculos no conmutativos, junto con el etiquetaje algebraico especifico de cada unos de ellos. La insercion del doble etiquetaje en una estrategia descendente, junto con el recurso a la unificacion aplazada, ofrece un metodo «lazy» que evita el indeterminismo de los metodos con etiquetaje algebraico simple. Esta propuesta se concreta mediante la traduccion de las formulas categoriales a clausulas lineales y se integra en un demostrador para clausulas lineales con implicaciones en los objetivos. La tesis aporta tambien un especificacion del demostrador mediante estructuras de diferencias que asegura el uso correcto delas clausulas sin fragmentacion arbitraria de la base de datos. Una carga lexica exhaustiva con un proceso «lazy» de desambiguacion extiende el demostrador como un metodo de «parsing» que accede a todas las lecturas sin la necesidad de constituir un numero exponencial de secuentes.
Datos académicos de la tesis doctoral «Un metodo de «parsing» para gramaticas categoriales multimodales.«
- Título de la tesis: Un metodo de «parsing» para gramaticas categoriales multimodales.
- Autor: Francesc Xavier Llore Nadal
- Universidad: Politécnica de catalunya
- Fecha de lectura de la tesis: 01/01/1996
Dirección y tribunal
- Director de la tesis
- Martin Rioja José Andres
- Tribunal
- Presidente del tribunal: Ton Sales Porta
- Alain Lecomte (vocal)
- Horacio Rodríguez Hontoria (vocal)
- Teresa Solias Aris (vocal)