English español
Search
 

Repositorio de la Universidad de Oviedo. > Producción Bibliográfica de UniOvi: RECOPILA > Tesis >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10651/16211

Title: Cálculo de deducciones en paralelo en un entorno multiprocesador
Author(s): Puente Peinador, Jorge
Advisor: Varela Arias, José Ramiro
Rodríguez Vela, María del Camino
Other authors: Informática, Departamento de
Issue date: 25-Sep-2001
Format extent: 125 p.
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.
URI: http://hdl.handle.net/10651/16211
Identifier: https://www.educacion.gob.es/teseo/mostrarRef.do?ref=248367
Local notes: Tesis 2001-179
Appears in Collections:Tesis

Files in This Item:

There are no files associated with this item.



Exportar a Mendeley


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Base de Datos de Autoridades Biblioteca Universitaria Consultas / Sugerencias