Resumen de Program synthesis for generalized planning
La Planificación Generalizada és 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. Despues, 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 áreas donde 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.
