Vous êtes sur la page 1sur 14

INTRODUCTION

PROBLEME
PROPOSITION D’UNE SOLUTION
DÉMARCHE ET IMPLÉMENTATION
TEST
CONCLUSION

SHORTEST PATHS CHOICE IN MAROUA CITY


By groupe3

Dr Kaladzavi/M.Awé S.D

27 mai 2021

Dr Kaladzavi/M.Awé S.D SHORTEST PATHS CHOICE IN MAROUA CITY By groupe3


INTRODUCTION
PROBLEME
PROPOSITION D’UNE SOLUTION
DÉMARCHE ET IMPLÉMENTATION
TEST
CONCLUSION

1 INTRODUCTION

2 PROBLEME

3 PROPOSITION D’UNE SOLUTION

4 DÉMARCHE ET IMPLÉMENTATION

5 TEST

6 CONCLUSION

Dr Kaladzavi/M.Awé S.D SHORTEST PATHS CHOICE IN MAROUA CITY By groupe3


INTRODUCTION
PROBLEME
PROPOSITION D’UNE SOLUTION
DÉMARCHE ET IMPLÉMENTATION
TEST
CONCLUSION

INTRODUCTION

Prolog est un langage de programmation déclaratif permettant de


résoudre des problèmes logiques. son principe étant de décrire
l’énoncé d’un problème par un ensemble d’expressions et de liens
logiques . Dans le cadre de notre cour d’introduction à la logique il
nous a été demandée de d’écrire un programme en Prolog
permettant de déterminer le plus court chemin dans la ville de
Maroua. Pour ce faire nous allons d’abord d’écrire le problème,
ensuite proposé et implémenter une solution.

Dr Kaladzavi/M.Awé S.D SHORTEST PATHS CHOICE IN MAROUA CITY By groupe3


INTRODUCTION
PROBLEME
PROPOSITION D’UNE SOLUTION
DÉMARCHE ET IMPLÉMENTATION
TEST
CONCLUSION

PROBLEME : Le plus court chemin dans la ville de


Maroua

PROBLEME
Nous souhaitons nous rendre dans un quartier  B  à partir du
quartier  A  dans la ville de Maroua et pour cela plusieurs
chemin possible s’offre à nous. Nous devons choisir le chemin avec
la distance la plus petite pour pouvoir arriver rapidement à notre
destination connaissant le réseau routier de la ville.

Dr Kaladzavi/M.Awé S.D SHORTEST PATHS CHOICE IN MAROUA CITY By groupe3


INTRODUCTION
PROBLEME
PROPOSITION D’UNE SOLUTION
DÉMARCHE ET IMPLÉMENTATION
TEST
CONCLUSION

PROPOSITION D’UNE SOLUTION

SOLUTION
Pour résoudre ce problème il existe plusieurs algorithmes, nous
avons choisir d’implémenter l’algorithme de Dijkstra ; il permet de
trouver le chemin le plus court entre deux points d’un graphe. Pour
ce faire, il détermine le chemin le plus court entre un point et
n’importe quel autre point du graphe jusqu’à ce qu’il tombe sur le
point d’arrivée recherché (ou s’il n’y a plus de point à visiter, c’est
qu’il n’existe pas de chemin entre les points considérés).

Dr Kaladzavi/M.Awé S.D SHORTEST PATHS CHOICE IN MAROUA CITY By groupe3


INTRODUCTION
PROBLEME
PROPOSITION D’UNE SOLUTION
DÉMARCHE ET IMPLÉMENTATION
TEST
CONCLUSION

DÉMARCHE ET IMPLÉMENTATION

DÉMARCHE
Pour implémenter notre graphe et enfin implémenter l’algorithme
qui nous permettra de déterminer le plus court chemin dans la ville
de Maroua, il nous faut un logiciel de programmation logique pour
résoudre ce problème.Il en existe plusieurs mais nous allons utiliser
dans notre cas SWI-Prolog qui est un interpréteur de
programmation logique gratuit,intuitif et disponible aussi bien sur
windows que sous linux

Dr Kaladzavi/M.Awé S.D SHORTEST PATHS CHOICE IN MAROUA CITY By groupe3


INTRODUCTION
PROBLEME
PROPOSITION D’UNE SOLUTION
DÉMARCHE ET IMPLÉMENTATION
TEST
CONCLUSION

DÉMARCHE ET IMPLÉMENTATION

INSTALLATION DE SWI-Prolog sur Windows


Pour installer SWI-Prolog sous Windows , on dois télécharger sur
le site s̆wi-prolog.org la version la plus stable

Dr Kaladzavi/M.Awé S.D SHORTEST PATHS CHOICE IN MAROUA CITY By groupe3


INTRODUCTION
PROBLEME
PROPOSITION D’UNE SOLUTION
DÉMARCHE ET IMPLÉMENTATION
TEST
CONCLUSION

DÉMARCHE ET IMPLÉMENTATION

INSTALLATION DE SWI-Prolog sur linux


Pour installer SWI-Prolog sous Linux Ubuntu il faut installer le
paquet SWI-Prolog : apt-get install swi-prolog (ou utiliser
l’interface graphique Synaptic d’apt-get).
Pour appeler l’interpréteur SWI-Prolog en ligne de commande sous
Linux il faut lancer la commandeSWIPL.

Dr Kaladzavi/M.Awé S.D SHORTEST PATHS CHOICE IN MAROUA CITY By groupe3


INTRODUCTION
PROBLEME
PROPOSITION D’UNE SOLUTION
DÉMARCHE ET IMPLÉMENTATION
TEST
CONCLUSION

DÉMARCHE ET IMPLÉMENTATION

Implémentation du graphe
Nous avons implémenté un graphe non orienté pour pouvoir
trouver un chemin non seulement d’un point X (quartier X) vers
un point Y (quartier Y) mais inversement aussi.
Un arc est caractérisé par :
Son point de départ
Son point d’arrivée
Son poids

Dr Kaladzavi/M.Awé S.D SHORTEST PATHS CHOICE IN MAROUA CITY By groupe3


INTRODUCTION
PROBLEME
PROPOSITION D’UNE SOLUTION
DÉMARCHE ET IMPLÉMENTATION
TEST
CONCLUSION

DÉMARCHE ET IMPLÉMENTATION

Implémentation de l’algorithme de Djisktra


Pour l’implémentation, nous représenterons chaque chemin de la
manière suivante : DistanceChemin-CheminInversé.Les chemins
étant inversés, pour un chemin donné, on a directement accès au
dernier point visité, celui-ci se trouvant en tête de liste. Ce n’est
qu’à la fin de l’algorithme qu’on inversera la liste pour avoir le
chemin dans le bon sens.

Dr Kaladzavi/M.Awé S.D SHORTEST PATHS CHOICE IN MAROUA CITY By groupe3


INTRODUCTION
PROBLEME
PROPOSITION D’UNE SOLUTION
DÉMARCHE ET IMPLÉMENTATION
TEST
CONCLUSION

PRESENTATION DU GRAPHE UTILISÉ

Dr Kaladzavi/M.Awé S.D SHORTEST PATHS CHOICE IN MAROUA CITY By groupe3


INTRODUCTION
PROBLEME
PROPOSITION D’UNE SOLUTION
DÉMARCHE ET IMPLÉMENTATION
TEST
CONCLUSION

TEST

Dr Kaladzavi/M.Awé S.D SHORTEST PATHS CHOICE IN MAROUA CITY By groupe3


INTRODUCTION
PROBLEME
PROPOSITION D’UNE SOLUTION
DÉMARCHE ET IMPLÉMENTATION
TEST
CONCLUSION

CONCLUSION

Parvenus au terme de notre devoir, il était question pour nous


d’utiliser la programmation logique pour déterminer le plus court
chemin dans la ville de Maroua pour aller d’un point à un autre .Il
en ressort que pour déterminer ce chemin nous devons définir nos
chemins, et définir également l’algorithme utilisé.Dans le cadre de
notre travail nous avons utiliser l’algorithme de Djisktra,qui sert à
résoudre le problème du plus court chemin.

Dr Kaladzavi/M.Awé S.D SHORTEST PATHS CHOICE IN MAROUA CITY By groupe3


INTRODUCTION
PROBLEME
PROPOSITION D’UNE SOLUTION
DÉMARCHE ET IMPLÉMENTATION
TEST
CONCLUSION

Dr Kaladzavi/M.Awé S.D SHORTEST PATHS CHOICE IN MAROUA CITY By groupe3

Vous aimerez peut-être aussi