La programmation par contraintes et les raisonnements distribués

Pour la résolution des problèmes de satisfaction et d'optimisation de contraintes

Ce livre est le résultat de notre travail de recherche qui s’articule autour de l’étude de la technologie contraintes.

D’une part nous avons développé trois contributions dans le cadre des Problèmes DisCSPs.

AFC-ng (based-nogood Asynchronous Forward-Checking) : C’est un algorithme qui consiste à intégrer le concept de nogood dans le protocole AFC d’origine.

AILFC (Asynchronous Inter Level Forward-Checking) : Dans cette méthode nous exploitons les caractéristiques du graphe de contraintes à travers une recherche asynchrone et parallèlement concurrente.

AMAC (Asynchronous Maintenance of Arc-Consistency AMAC) : Cette contribution consiste en la propagation des effets d’arc-inconsistance à travers les agents.

D’autre part nous avons réalisé trois approches pour les Problèmes d’Optimisation de Contraintes.

ABFS (Asynchronous Breadth-First Search DCOP) : Cet algorithme consiste à transformer le graphe de contraintes du problème à résoudre en un arbre Breadth-First Search (BFS).

DisDB&B (Distributed Dynamic Branch and Bound) : Une nouvelle méthode pour l’ordonnancement dynamique des agents.

DyBop (Dynamic Backtracking for DCOP) : Une version Asynchrone de l’algorithme DisDB&B.