Supporting pruning in tabled LP

Chico de Guzmán, Pablo; Hermenegildo, Manuel V. y Carro Liñares, Manuel (2013). Supporting pruning in tabled LP. En: "15th International Symposium, PADL 2013", 21-22 Jan 2013, Roma, Italia. ISBN 978-3-642-45283-3. pp. 60-76.

Descripción

Título: Supporting pruning in tabled LP
Autor/es:
  • Chico de Guzmán, Pablo
  • Hermenegildo, Manuel V.
  • Carro Liñares, Manuel
Tipo de Documento: Ponencia en Congreso o Jornada (Sin especificar)
Título del Evento: 15th International Symposium, PADL 2013
Fechas del Evento: 21-22 Jan 2013
Lugar del Evento: Roma, Italia
Título del Libro: Practical Aspects of Declarative Languages
Título de Revista/Publicación: Practical Aspects of Declarative Languages
Fecha: 2013
ISBN: 978-3-642-45283-3
Volumen: 7752
Materias:
Palabras Clave Informales: Logic Programming; Tabling; Pruning; Performance
Escuela: E.T.S. de Ingenieros Informáticos (UPM)
Departamento: Lenguajes y Sistemas Informáticos e Ingeniería del Software
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 (1MB) | Vista Previa

Resumen

This paper analyzes issues which appear when supporting pruning operators in tabled LP. A version of the once/1 control predicate tailored for tabled predicates is presented, and an implementation analyzed and evaluated. Using once/1 with answer-on-demand strategies makes it possible to avoid computing unneeded solutions for problems which can benefit from tabled LP but in which only a single solution is needed, such as model checking and planning. The proposed version of once/1 is also directly applicable to the efficient implementation of other optimizations, such as early completion, cut-fail loops (to, e.g., prune at the top level), if-then-else, and constraint-based branch-and-bound optimization. Although once/1 still presents open issues such as dependencies of tabled solutions on program history, our experimental evaluation confirms that it provides an arbitrarily large efficiency improvement in several application areas.

Más información

ID de Registro: 29547
Identificador DC: http://oa.upm.es/29547/
Identificador OAI: oai:oa.upm.es:29547
URL Oficial: http://link.springer.com/chapter/10.1007%2F978-3-642-45284-0_5
Depositado por: Memoria Investigacion
Depositado el: 24 Jul 2014 11:43
Ultima Modificación: 23 Nov 2017 10:29
  • 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