Cálculo de deducciones en paralelo en un entorno multiprocesador

Abstract

Los sistemas de deducciones en paralelo basados en lógica de predicados suponen la colaboración de dos grandes campos de investigación que son la inteligencia artificial y las arquitecturas paralelas en pos de la eficiencia en la resolución de problemas. En ambos campos se han realizado grandes avances, y en particular dentro de la programación lógica paralela los esfuerzos se han centrado en la definición de modelos de interpretación capaces de trabajar sobre enormes bases de conocimiento,por medio del aprovechamiento de los recursos que ofrecen estas arquitecturas en conjunción con el paralelismo presente en los programas lógicos. En esta línea se centra el trabajo presentado en esta tesis doctoral. Empleando como base un modelo de interpretaciones lógicas bien definido como es el rfd/rps, se construye una arquitectura virtual capaz de solventar las limitaciones de una arquitectura paralela de carácter general a la hora de satisfacer las necesidades específicas de dicho modelo. Para ello este trabajo identifica claramente las necesidades del modelo y plantea una adecuada representación para el conocimiento implicado, así como los procedimientos para su manipulación. Todo ello en un prototipo de la máquina virtual en una arquitectura paralela de memoria compartida. La memoria detalla además un estudio consistente del comportamiento, tanto de la propia máquina virtual, como del sistema deductivo resultante basado en el modelo rfd/rps. Una de las principales aportaciones de este trabajo consiste en la adecuación de los recursos de una arquitectura paralela convencional a los requisitos específicos de un modelos de programación lógica en paralelo por medio del diseño de una nueva máquina paralela.