Abstract FR:

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