Tesis doctoral de José Ramiro Varela Arias
El objetivo de la programacion logica paralela es aprovechar al maximo las fuentes de paralelismo que ofrecen los programas logicos. De estas las dos mas importantes son el paralelismo and y el or. El primero consiste en evaluar simultaneamente varios predicados de de una pregunta que normalmente no comparten variables libres, denominandose en este caso paralelismo and independiente o restringido. El segundo permite explotar a la vez todas las reglas con la misma conclusion. en esta tesis presentamos un modelo de interpretacion de programas logicos que explota las dos fuentes de paralelismo anteriores. Despues de un estudio de algunos de los modelos mas significativos que han sido propuestos en los ultimos años, hemos identificado algunos problemas importantes para los cuales se pueden ofrecer soluciones alternativas, como son la representacion de las soluciones multiples que se producen como consecuencia del paralelismo or, y el calculo y representacion de la ordenacion parcial de los predicados para realizar el paralelismo and independiente. en este trabajo desarrollamos soluciones nuevas a los dos problemas anteriores mediante el uso de estructuras ordenadas para la representacion de la informacion: la red de procesos y soluciones para el primero y el reticulo de flujo de datos para el segundo. Estas estructuras nos han permitido diseñar un nuevo modelo de interpretacion que presenta algunas ventajas con respecto a otros similares. Por ejemplo la compactacion de la informacion relativa a las soluciones, la reduccion del espacio de busqueda y la posibilidad de explotar algunas fuentes secundarias de paralelismo. Algunas de las cuales han sido puestas de manifiesto a traves de una simulacion del modelo.
Datos académicos de la tesis doctoral «Un modelo para el calculo paralelo de deducciones en logica de predicados.«
- Título de la tesis: Un modelo para el calculo paralelo de deducciones en logica de predicados.
- Autor: José Ramiro Varela Arias
- Universidad: Oviedo
- Fecha de lectura de la tesis: 01/01/1996
Dirección y tribunal
- Director de la tesis
- Antonio Bahamonde Rionda
- Tribunal
- Presidente del tribunal: Jose Mira Mira
- Senén Barro Ameneiro (vocal)
- Roque Marín Morales (vocal)
- José Antonio Corrales Gonzalez (vocal)