Show simple item record

Cálculo de deducciones en paralelo en un entorno multiprocesador

dc.contributor.advisorVarela Arias, José Ramiro 
dc.contributor.advisorRodríguez Vela, María del Camino 
dc.contributor.authorPuente Peinador, Jorge 
dc.contributor.otherInformática, Departamento de 
dc.date.accessioned2013-06-14T10:11:31Z
dc.date.available2013-06-14T10:11:31Z
dc.date.issued2001-09-25
dc.identifier.otherhttps://www.educacion.gob.es/teseo/mostrarRef.do?ref=248367
dc.identifier.urihttp://hdl.handle.net/10651/16211
dc.description.abstractLos 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.
dc.format.extent125 p.
dc.language.isospa
dc.titleCálculo de deducciones en paralelo en un entorno multiprocesador
dc.typeinfo:eu-repo/semantics/doctoralThesis
dc.type.dcmitext
dc.local.notesTesis 2001-179


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

  • Tesis [6600]
    Tesis doctorales leídas en la Universidad de Oviedo

Show simple item record