Tesis doctoral de Hector Luis Palacios Verdes
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.
Datos académicos de la tesis doctoral «Translation-based approaches to conformant planning«
- Título de la tesis: Translation-based approaches to conformant planning
- Autor: Hector Luis Palacios Verdes
- Universidad: Pompeu fabra
- Fecha de lectura de la tesis: 03/12/2009
Dirección y tribunal
- Director de la tesis
- Héctor Geffner Sclarsky
- Tribunal
- Presidente del tribunal: pedro Messeguer gonzález
- jerome Lang (vocal)
- jí¶rg Hoffmann (vocal)
- Carlos Linares lópez (vocal)