Effective planning with expressive languages

• Autores: Guillem Francès Medina
• Directores de la Tesis: Héctor Geffner (dir. tes.)
• Lectura: En la Universitat Pompeu Fabra ( España ) en 2017
• Idioma: español
• Tribunal Calificador de la Tesis: Giuseppe De Giacomo (presid.), Anders Jonsson (secret.), Daniele Magazzeni (voc.)
• Programa de doctorado: Programa de Doctorado en Tecnologías de la Información y las Comunicaciones por la Universidad Pompeu Fabra
• Materias:
  • Matemáticas
    • Ciencia de los ordenadores
      • Inteligencia artificial
      • Heurística
    • Investigación operativa
      • Planificación
• Texto completo no disponible (Saber más ...)
• Resumen

  • 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.