mirage

Algorithms and ordering Heuristics for distributed constraint satisfaction problems

Le Catalogue Collectif des Thèses en Afrique

Voir la notice simple de la thèse

dc.contributor.author Wahbi, Mohamed
dc.date.accessioned 2014-09-11T14:46:40Z
dc.date.available 2014-09-11T14:46:40Z
dc.date.issued 2012-06-03
dc.identifier.uri http://toubkal.imist.ma/handle/123456789/765
dc.description.abstract Les problèmes de satisfaction de contraintes distribués (DisCSP) permettent de formaliser divers problèmes qui se situent dans l’intelligence artificielle distribuée. Ces problèmes consistent à trouver une combinaison cohérente des actions de plusieurs agents. Durant cette thèse nous avons apporté plusieurs contributions dans le cadre des DisCSPs. Premièrement, nous avons proposé le Nogood-Based Asynchronous Forward-Checking (AFCng). Dans AFC-ng, les agents utilisent les nogoods pour justifier chaque suppression d’une valeur du domaine de chaque variable. Outre l’utilisation des nogoods, plusieurs backtracks simultanés venant de différents agents vers différentes destinations sont autorisés. En deuxième lieu, nous exploitons les caractéristiques intrinsèques du réseau de contraintes pour exécuter plusieurs processus de recherche AFC-ng d’une manière asynchrone à travers chaque branche du pseudo-arborescence obtenu à partir du graphe de contraintes dans l’algorithme Asynchronous Forward-Checking Tree (AFC-tree). Puis, nous proposons deux nouveaux algorithmes de recherche synchrones basés sur le même mécanisme que notre AFC-ng. Cependant, au lieu de maintenir le forward checking sur les agents non encore instanciés, nous proposons de maintenir la consistance d’arc. Ensuite, nous proposons Agile Asynchronous Backtracking (Agile-ABT), un algorithme de changement d’ordre asynchrone qui s’affranchit des restrictions habituelles des algorithmes de backtracking asynchrone. Puis, nous avons proposé une nouvelle méthode correcte pour comparer les ordres dans ABT_DO-Retro. Cette méthode détermine l’ordre le plus pertinent en comparant les indices des agents dès que les compteurs d’une position donnée dans le timestamp sont égaux. Finalement, nous présentons une nouvelle version entièrement restructurée de la plateforme DisChoco pour résoudre les problèmes de satisfaction et d’optimisation de contraintes distribués. fr_FR
dc.language.iso en fr_FR
dc.publisher Université Mohammed V - Agdal, Faculté des Sciences, Rabat fr_FR
dc.subject Informatique fr_FR
dc.subject Sciences de l’Ingénieur fr_FR
dc.subject Intelligence artificielle fr_FR
dc.subject Consistance d’arc fr_FR
dc.subject Heuristique fr_FR
dc.subject Ordonnancement fr_FR
dc.subject DisChoco fr_FR
dc.title Algorithms and ordering Heuristics for distributed constraint satisfaction problems fr_FR
dc.description.collaborator Sayah, Awatef (Présidente)
dc.description.collaborator Meseguer, Pedro (Examinateur)
dc.description.collaborator Belaissaoui, Mustapha (Examinateur)
dc.description.collaborator Coletta, Rémi (Examinateur)
dc.description.collaborator Christian, Bessiere (Directeur de la thèse)
dc.description.collaborator Bouyakhf, El Houssine (Examinateur)


Fichiers dans ce document

Cette thèse figure dans la collection suivante

Voir la notice simple de la thèse

Recherche


Recherche Avancée

Parcourir

Mon compte