Utilisation de meta-connaissances pour la compilation des regles de production

par MARC PORCHERON

Thèse de doctorat en Sciences appliquées

Sous la direction de Jacques Pitrat.

Soutenue en 1990

à Paris 6 .

    mots clés mots clés


  • Résumé

    Cette these presente une architecture pour l'implementation des langages de regles, basee sur l'utilisation de meta-connaissances. Des meta-regles d'analyse et de compilation de regles sont substituees a l'algorithme utilise pour interpreter les bases de connaissances dans les systemes traditionnels. On cherche ainsi a adapter l'interpretation des bases de connaissances a leurs proprietes afin d'en ameliorer l'efficacite. Les meta-regles sont ecrites dans le meme langage que les regles qu'elles compilent, ce qui conduit a une architecture reflexive necessitant une phase de bootstrap. Une expertise generale de compilation des systemes de productions est proposee, basee sur l'analyse des connexions entre les regles et du flot de donnees. Cette methode permet de simplifier l'interpretation en realisant, durant la phase de compilation, des operations normalement effectuees par le moteur d'inferences. Par exemple, on eliminera de l'ensemble des regles a examiner apres le declenchement d'une regle, celles dont on aura pu prouver qu'elles comportent une condition necessairement fausse. Cette methode permet egalement de construire un graphe dont la topologie est utilisee pour evaluer l'interet a memoriser des informations entre les cycles, et ordonner l'instanciation des regles de maniere efficace. La compilation est incrementale et son resultat est independant de la base de faits. Une implementation de l'architecture est decrite, ainsi que deux experimentations du systeme. La premiere experimentation montre que cette methode peut faire diminuer de maniere tres importante le temps d'interpretation d'une base de connaissances, par rapport a une methode classique. La seconde montre que l'expertise de compilation peut effectivement s'appliquer a elle-meme. Les liens entre la methode proposee et les techniques de transformation et d'analyse de programmes utilisees dans d'autres formalismes de p


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 65 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 : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Disponible pour le PEB
  • Cote : T Paris 6 1990 276
  • 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 1990
  • Bibliothèque : Centre de recherche INRIA Nancy - Grand Est (Villers les Nancy). Service Information et Edition Scientifiques.
  • PEB soumis à condition
  • Cote : PORCHERON u
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.