Programmation d'architecture multi-processeur : du parallelisme en prolog a la cooperation d'agents

par KAMEL SADI

Thèse de doctorat en Sciences appliquées

Sous la direction de Monique Becker.

Soutenue en 1992

à Paris 6 .

    mots clés mots clés


  • Résumé

    Au cours de ce travail, nous avons adapte un langage de type declaratif (prolog) sur une machine multi-processeur (transputers). Pour cela nous avons ete amene a developper un schema de cooperation entre interpreteurs prolog, base sur les techniques de parallelisation. En effet, les langages declaratifs en general, et les langages bases sur la programmation logique en particulier, sont intrinsequement paralleles et offrent des possibilites tres interessantes. Le schema de cooperation ainsi defini est base sur des interactions entre les differents interpreteurs distribues sur un reseau de transputers. La resolution d'un probleme est guidee par les donnees car la base de connaissance est totalement repartie entre les differents interpreteurs. La communication utilisee est de type envoi de messages en mode asynchrone. Nous avons ensuite realise l'implantation du schema sur un reseau de transputers en utilisant comme langage de developpement le langage c parallele. Les options que nous avons choisies etaient de ne pas trop nous eloigner de la philosophie de prolog pur, en favorisant plutot la transparence vis-a-vis de l'utilisateur que le parallelisme a granularite maximale. La deuxieme partie de notre travail consistait a etendre le schema de cooperation vers un outil d'intelligence artificielle distribuee. Nous avons commence par une etude d'un modele de cooperation d'agents base sur des techniques d'iad. Pour tester ce modele nous avons fait une etude d'implantation sur une architecture a base de transputers


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 110 REF

Où se trouve cette thèse ?

  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Accessible pour le PEB
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : PMC RT P6 1992
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.