Résumé:
La résolution distribuée d'un CSP est une approche récente, elle consiste à
représenter les systèmes à contraintes par des agents, en distribuant le problème sur
ces agents. concevoir des méthodes pour générer des agents avec un minimum
d'interactions pour maximiser leur autonomie tout en exploitant le parallélisme dans la
résolution distribuée constitue l'objectif de ce projet. Notre travail consiste à concevoir
et réaliser un solveur distribué intégré dans un SMA pour la résolution d'un DisCSP.
Nous avons opté pour une répartition de données orientée contrainte. Nous
proposons trois méthodes : Distribution par Dis-Partition, Distribution par Dis-pseudo-
Partition selon le degré d'apparition de variables dans les contraint es (ddv), et selon le
degré de contrainte (ddc)
Pour la résolution des DisCSP, nous avons choisi d'adapter le principe du
backtrack pour la résolution avec l'approche exacte complète, et adapter le principe de
I'algorithme génétique pour I'approche évolutive incomplète.
une étude comparative conceptuelle et pratique sur un ensemble d’occurrences
des CSPs est realise afin de pouvoir tirer des conclusions sur les avantages et les
inconvénients des différents algorithmes proposés. Nous avons essayé de mettre en
évidence I'apport de l'algorithme genétique dans ta résolution des DisCSPs de taille
assez grande et/ou non résolvable.
Mots ctés: Algorithme genétique, Backtrack, CSP, DisCSP, Distribution, SMA,
méthode exacte, méthode approchée.