Un opérateur d'unification pour une machine base de connaissance PROLOG - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 1985

An unification operator for a PROLOG knowledge base machine

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

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 issu 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 mais un ensemble de buts ce, en accord avec la stratégie de recherche élaborée. On propose de décomposer l'unification en une étape 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 programmation orientée objet. Puis nous amorçons la réalisation du «circuit» à l'aide d'un compilateur de silicium
Fichier principal
Vignette du fichier
Ianeselli.Jean-Christophe_1985_these.pdf (15.87 Mo) Télécharger le fichier

Dates et versions

tel-00319089 , version 1 (05-09-2008)

Identifiants

  • HAL Id : tel-00319089 , version 1

Citer

Jean-Christophe Ianeselli. Un opérateur d'unification pour une machine base de connaissance PROLOG. Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1985. Français. ⟨NNT : ⟩. ⟨tel-00319089⟩

Collections

UGA CNRS TDS-MACS
167 Consultations
186 Téléchargements

Partager

Gmail Facebook X LinkedIn More