Translation-based approaches to conformant planning
- Autores: Héctor Luis Palacios Verdes
- Directores de la Tesis: Héctor Geffner (dir. tes.)
- Lectura: En la Universitat Pompeu Fabra ( España ) en 2009
- Idioma: inglés
- Tribunal Calificador de la Tesis: Pedro Meseguer González (presid.), Anders Jonsson (secret.), Carlos Linares López (voc.), Jerome Lang (voc.), Jörg Hoffmann (voc.)
- Materias:
- Texto completo no disponible (Saber más ...)
- Resumen
La planificación conformante es el problema de encontrar una secuencia de acciones para lograr un objetivo en presencia de información incompleta sobre el estado inicial y en las transiciones entre estados, Aunque pocos problemas son de carácter puramente conformante, la posibilidad de encontrar planes conformantes es necesaria en planificación con observaciones, donde las situaciones conformantes son un caso particular, y donde las relajaciones a planificación conformante dan heurísticas útiles.
En esta tesis atacamos el problema de la planificación conformante con acciones determinísticas mediante dos formulaciones basadas en traducciones.
Por un lado, proponemos una traducción a lógica proposicional y dos esquemas para obtener planes conformantes a partir de ésta, uno basado en operaciones booleanas de projección y conteo de modelos, y otro basado en projección y satisfacción proposicional. Por otro lado, introducimos traducciones que permiten transformar un problema de planificación conformante en un problema de planificación clásica que es luego resuelto usando planificadores clásicos.
También analizamos las propiedades formales de las traducciones y evaluamos el rendimiento de los planificadores obtenidos.
