Système Générateur Multi-approche (Backtrack/Algorithme génétique) d'un solveur distribué orienté contraintes pour un DisCSP

Abstract

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.