Moteur d'inférence parallèle pour transputer ALEX

Abstract

Le problème abordé dans ce mémoire est la conception et le développement d'un moteur d'inférence pouvant résoudre un problème parallélisme sur un multiprocesseur. Pour cette tâche, nous utilisons un transputer à 16 processeurs et nous établissons un lien de communication entre la machine parallèle et un logiciel d'interface graphique. Dans ce mémoire, nous présentons une solution à ce problème. Nous avons conçu et développé un modèle de moteur d'inférence parallèle utilisant le paradigme de la communication par messages. Ce modèle de moteur d'inférence à base de règles utilise des faits représentés à l'aide de triplets (objet, attribut, valeur) et des règles représentées par des antécédents et des conséquents. Nous avons mis au point un langage adapté aux besoins de communication internoeuds. Ce qui permet au moteur d'inférence d'être générique. Un mécanisme limitant le nombre de messages internoeuds le distingue.Le lien avec le logiciel d'interface graphique permet de visualiser l'état des bases de faits réparties ainsi que d'interagir avec celles-ci via des primitives de communication et des ports TCP/IP. Nous présentons deux exemples relevant du domaine du contrôle et développés à l'aide du moteur d'inférence. Les deux exemples interagissent avec le logiciel d'interface graphique.