Un modelo para el calculo paralelo de deducciones en lógica de predicados

TL;DRAbstract

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 ANOS, 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 LO

Chat with Paper

AI Agents for this Paper