Abstract FR:

Dans le cadre de cette these, on developpe une methode de compilation qui permet d'evaluer les regles localement, a la difference des autres methodes qui traitent les regles de facon plus globale. Ce traitement local permet de prendre en compte les aspects specifiques a chacun des regles, ameliorant ainsi l'efficacite globale du systeme. Cette methode est tres adaptee aux bases dont les donnees changent plus souvent; ainsi, au lieu de generer des instances a chaque changement intervenant dans la base de faits, une insistance n'est generee qu'au moment du declenchement d'une regle. On evite ainsi de generer des instances inutiles. La methode locale evite egalement un parcours trop couteux du a la suppression d'un fait matchant une condition negative car il n'est plus necessaire de parcourir les elements matchant les conditions positives. L'algorithme de compilation decrit ci-dessus est implemente dans le moteur d'inerences guinarou. Dans guinarou, on propose une syntaxe de regles distinguant deux types de conditions negatives: une condition negative dite active qui est celle utilisee dans tous les systemes, et une condition negative dite passive permettant d'eviter le risque de bouclage que peut engendrer le premier type. Un mecanisme de gestion d'hypotheses est incorpore au moteur; les hypotheses a envisager sont exprimees explicitement a l'interieur des regles de production. Suivant le type de regles, le nombre d'hypotheses peut ou ne pas etre defini a l'avance, ce qui permet une souplesse de manipulation des regles. Toutes les methodes decrites ont ete developpees en vue de la realisation d'un systeme expert de determination automatique des structures des molecules par rmn-2d: le systeme sydasia