Belief tracking for multi-agent planning

• Autores: Filippos Kominis
• 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: Anders Jonsson (presid.), Andreas Herzig (secret.), Ron Petrick (voc.)
• Materias:
  • Lógica
    • Lógica deductiva
      • Lógica modal
  • Matemáticas
    • Ciencia de los ordenadores
      • Inteligencia artificial
    • Investigación operativa
      • Planificación
• Enlaces
  • Tesis en acceso abierto en: TDX
• Resumen

  • Classical planning is the problem of finding a sequence of actions that achieve a desired goal from an initial state, assuming deterministic actions. Dynamic epistemic logic (DEL) on the other hand, provides formal frameworks that allow the modeling of complex beliefs in multi-agent settings and define how those beliefs change due to physical and communication actions. In this dissertation we focus on bridging the gap between the expressivity of DEL and the computational approaches used in classical planning.

    First, we present formulations that capture a fragment of the expressivity of DEL and can model nested knowledge in two different multi-agent settings. Second, we tackle the computational problem of finding plans by providing translations to classical planning that allow the use of classical planners and heuristic search. We empirically evaluate our approaches and discuss their formal properties.