Abstract FR:

L'objet de ce memoire est de presenter la compilation des systemes experts a regles floues, qui concerne la representation etle traitement des connaissances imprecises et incertaines dans les systemes experts. La compilation de tels systemes experts permet l'exploitation efficace des connaissances. Ayant introduit les constantes floues pour representer les ensembles flous dans les regles, nous avons etudie precisement les deux etapes elementaires du traitement du flou: le filtrage condition-fait flou, qui n'est pas independant du modus ponens generalise; et la jointure des variables floues, qui permet d'associer les variables aux ensembles flous et la composition des substitutions floues. Le compilateur des systemes experts flous se compose de l'arbre d'unification flou et du reseau de jointure. Un algorithme est propose pour generer un arbre d'unification, qui peut discriminer non seulement les motifs classiques, mais aussi les motifs contenant les ensembles flous. Nous developpons egalement un algorithme pour la generation d'un reseau de jointure qui utilise dans chaque nud de jointure des arbres dynamiques pour eviter les problemes combinatoires lors de la verification de la consistance des substitutions floues. Ces algorithmes sont analyses, illustres par des exemples et partiellement implementes