Publications

Thèses


< retour aux thèses

« Un opérateur d'unification pour une machine base de connaissance PROLOG ».

Auteur : J. - C. Ianeselli
Directeur de thèse : G. Berger Sabbatel
These de Doctorat Institut National Polytechnique de Grenoble - INPG
Spécialité : informatique
Soutenance : 03/06/1985
Pages : 83

Résumé

Dans le cadre du projet OPALE, ayant pour objectif la conception d’une machine base de connaissance PROLOG, on spécifie un opérateur devant réaliser l’unification au vol sur un flux de données issues d’une unité de disque. Pour améliorer les performances de l’interprétation de PROLOG, dans un contexte base de connaissances, cet opérateur doit unifier, non pas un ensemble de buts, ce, en accord avec la stratégie de recherche élaborée. On propose de décompser l’unification en une étatpe de préunification suivie d’une étape d(association. Les algorithmes sont alors validés et intégrés en une maquette logicielle. Nous abordons l’aspect matériel en proposant une méthodologie de conception s’appuyant sur des notions développées dans la prpgrammation orientée objet. Puis nous amorçons la réalisation du circuit à l’aide d’un compilateur de silicium.