Ir al contenido

Dialnet


Translation-based approaches to conformant planning

  • Autores: Hector Luis Palacios Verdes
  • Directores de la Tesis: Héctor Geffner Sclarsky
  • Lectura: En la Universitat Pompeu Fabra ( España ) en 2009
  • Tribunal Calificador de la Tesis: Pedro Messeguer González (presid.), Anders Jonsson (secret.), Carlos Linares López (voc.), Jerome Lang (voc.), Jörg Hoffmann (voc.)
  • UNESCO :
    • 12 Matemáticas
      • 1203 Ciencia de los ordenadores
  • 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.


Fundación Dialnet

Dialnet Plus

  • Más información sobre Dialnet Plus

Opciones de compartir

Opciones de entorno