Planification Automatique & Techniques d’Intelligence Artificielle

Projet PATIA - Exercices - Sokoban - SAT Planning

Membres du groupe

• Baydoun Ali
• Glemba Adrien
• Guidetti Jorane
• Negar Louis

Avril 2024 - M1 INFO - IM2AG

SUJET

Sujet des exercices

Sommaire

• Exercices
  • Compiler / Executer
• Sokoban
  • Compiler / Executer
• SAT Planning
  • Compiler / Executer

Exercices

Liste des exercices

• Blocksworld
• Hanoi
• NPuzzle
• HamiltonianCycle
• GraphColoring
• PursuitEvasion
• MachineDeTuring
• SatSolver

>>> Compiler / Exécuter les exercices

Pour compiler et exécuter les exercices, il suffit de ce placer dans le répertoire Exercices

cd Exercices

Ensuite, il suffit de taper la commande suivante en remplaçant [NomDuProblème] par le nom du problème souhaité et (NuméroDuProblème) par le numéro du problème.

Si aucun numéro de problème n'est renseigné, le problème NotreProbleme sera executé par défaut :

./make.sh [NomDuProblème] (NuméroDuProblème)

Par exemple, pour compiler et exécuter le problème 1 de Blocksworld, il suffit de taper :

./make.sh Blocksworld 1

(voir le contenu du make)

Sokoban

>>> Compiler / Exécuter le Sokoban

Pour compiler et exécuter le sokoban, il suffit de ce placer dans le répertoire Sokoban

cd Sokoban

Ensuite, il faut taper la commande suivante :

./run.sh <nom_du_test>

Puis, ouvrir le lien suivant:

http://localhost:8888/test.html

(voir le contenu du make Sokoban)

SAT Planning

>>> Compiler / Exécuter le SAT Planning

Pour compiler et exécuter le SAT Planning, vous devez vous placer dans le répertoire sat-planner.

cd sat-planner

Ensuite, exécutez le script make.sh en remplaçant <nom_du_domain.pddl> par le nom du fichier du domaine PDDL et <nom_du_probleme.pddl> par le nom du fichier du problème PDDL, tous deux situés dans le dossier sat-planner/pddl.

./make.sh <nom_du_domain.pddl> <nom_du_probleme.pddl>

(voir le contenu du make SatPlanner)