Résumé : La procédure GSAT [SLM92b] [SK93b] [SK93b] est une procédure de recherche gloutonne destinée à trouver des instanciations satisfiables de formules logiques mises sous forme normale conjonctive. Bien qu'incomplet de nature, cet algorithme a montré toute l'étendue de ses capacités en traitant efficacement des instances de grandes dimensions dont l'accès est toujours interdit aux méthodes de recherche exhaustives classiques. Cet article a pour objet la présentation d'une version distribuée efficace de la procédure GSAT. Le but affiché étant de fournir une version de l'algorithme susceptible de profiter pleinement des architecturesmatérielles à venir.

Résumé : Ce travail se place dans le cadre d'une approche émergentiste des systèmes multi-agents. Elle s'oppose à l'approche "classique" de résolution de problèmes pour laquelle la tâche globale de résolution est décomposée en sous-tâches. Le programme code alors les étapes de la résolution ; lors de l'exécution, le processus parcours le chemin pré-défini, et ce, jusqu'à la solution. Dans l'approche « émergentiste » au contraire, le programme code les agents, l'environnement et les interactions ; lors de l'exécution, le processus construit le cheminement vers une solution.