Académique Documents
Professionnel Documents
Culture Documents
Salam,
Ce document est un tutoriel pour la compilation de la version C du planificateur TLPlan. Cette
méthode a été validée par Mr. Khaled Ben Lamine.
La version C de TLPlan est compatible avec toutes les distributions UNIX, de ma part je l'ai testé
sur Ubuntu 9.10 (gcc version 4.4.1). Voici ce qu'il faut faire :
1. Télécharger le code source C : tlplan.tar.gz disponible sur le site du groupe.
2. Décompresser le fichier tlplan.tar.gz dans le répertoire : /home/achraf/mastere/ia/
Évidement, pour cette étape et les étapes qui vont suivre, il faut changer
/home/achraf/mastere/ia/ par le chemin de ton ordinateur.
3. Se positionner dans le répertoire : /home/achraf/mastere/ia/tlplan
4. Compiler TLPlan avec la commande make
5. Se positionner dans le répertoire : /home/achraf/mastere/ia/tlplan/userlib
6. Editer le fichier makefile et le modifier de la façon suivante :
Remplacer les lignes :
blocks: blocks.o bblocks.o
gcc $(FLAGS) o blocks blocks.o bblocks.o
Par :
blocks: blocks.o bblocks.o
gcc $(FLAGS) o blocks /home/achraf/mastere/ia/tlplan/libtl.so blocks.o bblocks.o
7. Compiler la librairie blocks : make B blocks
1
Compilation de la version C du planificateur TLPlan Master SII
8. Revenir au répertoire /home/achraf/mastere/ia/tlplan
9. Exécuter tlplan : ./tlplan
10. Trouver un plan pour les problèmes des blocs, par exemple si on a :
État initial État Final
A
C B
B A C
Ce qui sera exprimé par :
État initial État Final
(setinitialworld (setgoal
(ontable a) (on a b)
(on c b) (on b c)
(ontable b) (ontable c))
(clear a)
(clear c)
(handempty))
Ces déclarations doivent être précédées par un appel du fichier «LinearBlocksWorld.tlp»
contenant les actions.
2
Compilation de la version C du planificateur TLPlan Master SII
La commande (plan) permet de lancer la recherche, le résultat sera enregistré dans le fichier
/home/achraf/mastere/ia/tlplan/tlplan.log
Plan found. Elapsed CPU time 0.000 sec.
Final world:
Good towers: a b c
a
b
c
Worlds generated = 8
Worlds searched = 7
Worlds pruned by temporal control = 0
Worlds discarded by cycle check = 0
Worlds unexamined = 0
Plan length = 6
At time 0.000000: 3 (unstack c b)
At time 1.000000: 4 (putdown c)
At time 2.000000: 5 (pickup b)
At time 3.000000: 6 (stack b c)
At time 4.000000: 7 (pickup a)
At time 5.000000: 8 (stack a b)
At time 6.000000: Plan completed
Plan cost: 6.000000
3
Compilation de la version C du planificateur TLPlan Master SII
Voilà.
J'espère que ça été clair, n'hésitez pas à m'écrire sinon.
Cordialement,
Mohamed Achraf BEN MOHAMED