Le planificateur PL-PLAN
IntroductionPL-PLAN est un planificateur réalisé à l'été 2004 par Philippe Fournier-Viger et Ludovic Lebel. Le projet vise à expérimenter plusieurs techniques de planification classique de recherche dans un espace d'états. Le logiciel réalisé comprend huit algorithmes : une implantation du célèbre algorithme Graphplan, une recherche avant naïve et six algorithmes basés sur la théorie des ordres partiels. PL-PLAN peut être utilisée sous forme de librairie à partir de tout programme Java. Un logiciel doté d'une interface graphique (cf. figure 1) a été conçu pour générer des tests automatiques afin de comparer l'efficacité des algorithmes de PL-PLAN.
Fondements théoriquesL'implémentation de l'algorithme de Graphplan s'appuie sur la description donnée dans le livre: M. Ghallab, D. Nau, and P. Traverso. Automated Planning: Theory and Practice . Morgan Kaufmann, May 2004. Les algorithmes basés sur la théorie des ordres partiels sont directement inspirés des travaux de P. Godefroid et M. Najjar: Godefroid, P. (1996). Partial-Order Methods for the Verification of Concurrent Systems -- An Approach to the State-Explosion Problem, Springer-Verlag, volume 1032, Lecture Notes in Computer Science. Najjar, M. (2001). Planification par des Ordres Partiels. M. Sc. Dissertation. Department of Computer Science, University of Sherbrooke. Ref : Q 336 N34 2000 (Bibliothèque des Sciences). De plus, le code de PL-PLAN n'est pas optimisé. Il est aussi important de noter que les quatre algorithmes basés sur les ordres partiels qui incorporent la technique des persistant sets ne trouvent pas toujours la solution optimale, à cause de notre implémentation. Code source
Termes d'utilisationSi vous utilisez PL-PLAN dans vos travaux, nous vous demandons de citer nos noms, et de nous envoyer un courriel. Le logiciel PL-PLAN est sous copyright de Philippe Fournier-Viger et Ludovic Lebel (2005-2006). Le logiciel et les fichiers l'accompagnant sont mis à disposition selon le Contrat Creative Commons Attribution-NonCommercial-ShareAlike 2.0 Canada License. Vous ne pouvez pas utiliser ce travail à des fins commerciales. Contactez Philippe Fournier-Viger pour demander une permission spéciale ou de l'information. Le logiciel et les fichiers qui l'accompagnent sont livrés "tels quels", sans aucune garantie de quelque nature que ce soit, implicite ou explicite. L'utilisateur accepte la totalité de la responsabilité quant à la qualité et la performance du logiciel. Les auteurs n'acceptent aucune responsabilité pour tous problèmes que l'utilisateur peut rencontrer en utilisant le logiciel. |
PL-PLAN 0.42 source code, JAR file (237 KB)