Resumen de Effective planning with expressive languages
La planificación clásica consiste en encontrar una secuencia de acciones que lleve el estado del mundo desde un estado inicial dado hasta otro estado deseado, asumiendo que las acciones son deterministas, los estados perfectamente conocidos, y tanto acciones como estados vienen descritos en algún lenguaje formal. En este trabajo se desarrollan métodos algorítmicos efectivos para tratar con lenguajes expresivos de planificación clásica. En primer lugar, se muestra que un lenguaje más expresivo no sólo permite obtener representaciones más sucintas de los problemas, sino que permite capturar también estructura adicional del problema que puede ser aprovechada mediante métodos heurísticos. Para ilustrar este punto, se desarrollan métodos heurísticos que aceptan el uso de símbolos de función y de cuantificación existencial en la descripción del problema, y se muestra empíricamente que estos métodos pueden ser más informados y efectivos. En segundo lugar, la tesis presenta un nuevo algoritmo de planificación que ofrece un rendimiento parejo al estado del arte sin necesidad de contar con una representación declarativa de las acciones. Esto supone una novedad significativa respecto a gran parte de la investigación previa en planificación automática, y permite el uso de todo tipo de mecanismos, declarativos y no declarativos, en la descripción del problema, lo cual constituye un avance en el uso de lenguajes expresivos y en el alcance y efectividad de los planificadores clásicos.
