Compilation d'un langage de planification temporelle de haut niveau en PDDL2.1

Martin Cooper (1, 2) , Frédéric Maris (1) , Pierre Régnier (1)

1 IRIT-ADRIA - Argumentation, Décision, Raisonnement, Incertitude et Apprentissage
2 UT3 - Université Toulouse III - Paul Sabatier

En planification, la puissance d'expression du langage dans lequel on exprime les instances des problèmes est importante. Un langage riche avantage l'utilisateur lorsqu'il doit encoder ses problèmes alors qu'un langage simple avantage le programmeur qui doit implémenter un planificateur capable de résoudre tous les problèmes pouvant être exprimés dans ce langage. Considérant le langage de planification temporelle PDDL 2.1 comme un langage de bas niveau, nous montrons ici comment compiler automatiquement un langage plus riche en PDDL 2.1. Dans le pire des cas, la complexité de notre transformation est quadratique. Notre langage de haut niveau permet à l'utilisateur de créer des time-points et d'imposer des contraintes temporelles simples entre eux. Les conditions et effets des actions peuvent leur être associés ainsi qu'à des intervalles et à des intervalles flottants à l'intérieur d'intervalles fixes. Notre langage permet également de modéliser des transitions non-instantanées

Mots clés: Planification temporelle; PDDL 2.1; langage temporellement étendu; modalités

Domaines: Intelligence artificielle [cs.AI]; Vision par ordinateur et reconnaissance de formes [cs.CV]

Martin Cooper, Frédéric Maris, Pierre Régnier. Compilation d'un langage de planification temporelle de haut niveau en PDDL2.1. RFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle), Jan 2012, Lyon, France. pp.978-2-9539515-2-3. ⟨hal-00656490⟩