B-LOG: A branch and bound methodology for the parallel execution of logic programs

Lipovski, Gerald John y Hermenegildo, Manuel V. (1985). B-LOG: A branch and bound methodology for the parallel execution of logic programs. En: "International Conference on Parallel Processing (ICPP '85)", August 1985, University Park, PA, USA.

Descripción

Título: B-LOG: A branch and bound methodology for the parallel execution of logic programs
Autor/es:
  • Lipovski, Gerald John
  • Hermenegildo, Manuel V.
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: International Conference on Parallel Processing (ICPP '85)
Fechas del Evento: August 1985
Lugar del Evento: University Park, PA, USA
Título del Libro: Proceedings of the 1985 International Symposium on Logic Programming
Fecha: Agosto 1985
Materias:
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (786kB) | Vista Previa

Resumen

We propose a computational methodology -"B-LOG"-, which offers the potential for an effective implementation of Logic Programming in a parallel computer. We also propose a weighting scheme to guide the search process through the graph and we apply the concepts of parallel "branch and bound" algorithms in order to perform a "best-first" search using an information theoretic bound. The concept of "session" is used to speed up the search process in a succession of similar queries. Within a session, we strongly modify the bounds in a local database, while bounds kept in a global database are weakly modified to provide a better initial condition for other sessions. We also propose an implementation scheme based on a database machine using "semantic paging", and the "B-LOG processor" based on a scoreboard driven controller.

Más información

ID de Registro: 14537
Identificador DC: http://oa.upm.es/14537/
Identificador OAI: oai:oa.upm.es:14537
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 22 Feb 2013 07:31
Ultima Modificación: 21 Abr 2016 14:15
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM