Program synthesis for generalized planning

Generalized planning is the problem of finding an algorithm-like solution called generalized plan to multiple planning instances. The two main tasks to perform in generalized planning are synthesizing and validating generalized plans. In this thesis, we represent generalized plans as a planning prog...

Descripción completa

Detalles Bibliográficos
Autor: Segovia Aguas, Javier
Tipo de recurso: tesis doctoral
Estado:Versión publicada
Fecha de publicación:2018
País:España
Institución:CBUC, CESCA
Repositorio:TDR. Tesis Doctorales en Red
OAI Identifier:oai:www.tdx.cat:10803/663753
Acceso en línea:http://hdl.handle.net/10803/663753
Access Level:acceso abierto
Palabra clave:Classical planning
Generalized planning
Automated programming
Program synthesis
62
id ES_a9d2f8a184ed3d675adaeb7c06a4f321
oai_identifier_str oai:www.tdx.cat:10803/663753
network_acronym_str ES
network_name_str España
repository_id_str
spelling Program synthesis for generalized planningSegovia Aguas, JavierClassical planningGeneralized planningAutomated programmingProgram synthesis62Generalized planning is the problem of finding an algorithm-like solution called generalized plan to multiple planning instances. The two main tasks to perform in generalized planning are synthesizing and validating generalized plans. In this thesis, we represent generalized plans as a planning programs, enhanced with conditional goto conditions, or finite state controllers. Then, we compile generalized planning problems to PDDL such that we can compute programs using off-the-shelf classical planners. Because solutions to generalized planning are similar to algorithms, we can build libraries of previous knowledge and reuse them if necessary using a call stack. This feature extends to planning programs with procedures, hierarchical finite state controllers and allows recursion. Finally, we introduce new application areas for planning, e.g. unsupervised classification of instances or context-free grammar generation, by defining non-deterministic choice functions for planning programs.La Planificació Generalitzada és el problema de trobar una solució en forma d'algorisme anomenat pla generalitzat a múltiples instàncies de planificació. Les principals tasques són la síntesi i la validació de plans generalizats. En aquesta tesi, representem els plans generalizats com programes de planificació millorats amb salts condicionals, o controladors d'estat finits. Després, compilem problemes de planificació generalitzada a PDDL per poder computar-los amb qualsevol planificador clàssic que estigui llest per utilitzar-se. Com les solucions són algorismes, podem construir llibreries de coneixement previ y reutilitzar-les amb una pila de trucades. Aquesta característica s'estén als programes de planificació amb procediments, als controladors d'estat finits jeràrquics i permet recursivitat. Finalmente, donem a conèixer noves àrees on aplicar planificació, per exemple la classificació no supervisada d'instàncies o la generació de gramàtica lliure de context, gràcies a la definició d'una funció d'elecció no determinista.La Planificación Generalizada es el problema de encontrar una solución en forma de algoritmo llamada plan generalizado a múltiples instancias de planificación. Las principales tareas son la síntesis y la validación de planes generalizados. En esta tesis, representamos los planes generalizados como programas de planificación mejorados con saltos condicionales, o controladores de estado finitos. Después, compilamos problemas de planificación generalizada a PDDL tal que podamos computarlos utilizando cualquier planificador clásico que esté listo para usarse. Como las soluciones son algoritmos, podemos construir librerías de conocimiento previo y reutilizarlas con una pila de llamadas. Esta característica se extiende a los programas de planificación con procedimientos, a los controladores de estado finitos jerárquicos y permite recursividad. Finalmente, damos a conocer nuevas areas dónde aplicar planificación, por ejemplo la clasificación no supervisada de instancias o la generación de gramática libre de contexto, gracias a la definición de una función de elección no determinista.Programa de doctorat en Tecnologies de la Informació i les ComunicacionsUniversitat Pompeu FabraJonsson, AndersUniversitat Pompeu Fabra. Departament de Tecnologies de la Informació i les Comunicacions201820182018info:eu-repo/semantics/doctoralThesisinfo:eu-repo/semantics/publishedVersion174 p.application/pdfapplication/pdfhttp://hdl.handle.net/10803/663753TDX (Tesis Doctorals en Xarxa)reponame:TDR. Tesis Doctorales en Redinstname:CBUC, CESCAInglésL'accés als continguts d'aquesta tesi queda condicionat a l'acceptació de les condicions d'ús establertes per la següent llicència Creative Commons: http://creativecommons.org/licenses/by-nc-nd/4.0/http://creativecommons.org/licenses/by-nc-nd/4.0/info:eu-repo/semantics/openAccessoai:www.tdx.cat:10803/6637532026-06-14T12:46:07Z
dc.title.none.fl_str_mv Program synthesis for generalized planning
title Program synthesis for generalized planning
spellingShingle Program synthesis for generalized planning
Segovia Aguas, Javier
Classical planning
Generalized planning
Automated programming
Program synthesis
62
title_short Program synthesis for generalized planning
title_full Program synthesis for generalized planning
title_fullStr Program synthesis for generalized planning
title_full_unstemmed Program synthesis for generalized planning
title_sort Program synthesis for generalized planning
dc.creator.none.fl_str_mv Segovia Aguas, Javier
author Segovia Aguas, Javier
author_facet Segovia Aguas, Javier
author_role author
dc.contributor.none.fl_str_mv Jonsson, Anders
Universitat Pompeu Fabra. Departament de Tecnologies de la Informació i les Comunicacions
dc.subject.none.fl_str_mv Classical planning
Generalized planning
Automated programming
Program synthesis
62
topic Classical planning
Generalized planning
Automated programming
Program synthesis
62
description Generalized planning is the problem of finding an algorithm-like solution called generalized plan to multiple planning instances. The two main tasks to perform in generalized planning are synthesizing and validating generalized plans. In this thesis, we represent generalized plans as a planning programs, enhanced with conditional goto conditions, or finite state controllers. Then, we compile generalized planning problems to PDDL such that we can compute programs using off-the-shelf classical planners. Because solutions to generalized planning are similar to algorithms, we can build libraries of previous knowledge and reuse them if necessary using a call stack. This feature extends to planning programs with procedures, hierarchical finite state controllers and allows recursion. Finally, we introduce new application areas for planning, e.g. unsupervised classification of instances or context-free grammar generation, by defining non-deterministic choice functions for planning programs.
publishDate 2018
dc.date.none.fl_str_mv 2018
2018
2018
dc.type.none.fl_str_mv info:eu-repo/semantics/doctoralThesis
info:eu-repo/semantics/publishedVersion
format doctoralThesis
status_str publishedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/10803/663753
url http://hdl.handle.net/10803/663753
dc.language.none.fl_str_mv Inglés
language_invalid_str_mv Inglés
dc.rights.none.fl_str_mv http://creativecommons.org/licenses/by-nc-nd/4.0/
info:eu-repo/semantics/openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-nd/4.0/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 174 p.
application/pdf
application/pdf
dc.publisher.none.fl_str_mv Universitat Pompeu Fabra
publisher.none.fl_str_mv Universitat Pompeu Fabra
dc.source.none.fl_str_mv TDX (Tesis Doctorals en Xarxa)
reponame:TDR. Tesis Doctorales en Red
instname:CBUC, CESCA
instname_str CBUC, CESCA
reponame_str TDR. Tesis Doctorales en Red
collection TDR. Tesis Doctorales en Red
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869416072985182208
score 15,301603

Similares en LA Referencia