Abstract FR:

Le filtrage est un mecanisme qui permet de determiner les regles candidates au declenchement a chaque cycle du moteur en eliminant les regles dont au moins une condition n'est pas satisfaite. L'instanciation des regles n'est alors effectuee que sur les regles qui ont franchi l'etape de filtrage avec succes. Dans les systemes classiques, les moyens mis en uvre pour realiser le filtrage sont simples. Cela est du principalement a la nature des conditions qui sont autorisees en premisses de regles. En regle generale, ces conditions decrivent de maniere generique les elements de la memoire de travail. Nous nous sommes interesses a la generation automatique d'algorithmes de filtrage a partir d'une specification declarative. Dans notre etude, nous avons considere des conditions de regles complexes qui sont des formules de la logique des predicats du premier ordre avec les quantificateurs existentiels et universels dans n'importe quel ordre. Notre methode de generation automatique des algorithmes de filtrage repose sur la differentiation ensembliste que nous avons definie en tenant compte a la fois des aspects qualitatifs et quantitatifs. La differentiation ensembliste qualitative nous permet d'eliminer les directions vers lesquelles les ensembles ne peuvent varier. Dans la generation des algorithmes de filtrage, ces informations de nature qualitative nous ont permis de conclure immediatement dans certaines situations. La connaissance des differentielles qualitatives des ensembles nous evite egalement de calculer des differentielles quantitatives d'expressions ensemblistes composees qui s'averent vides. Nous avons developpe un prototype, le systeme gap. Gap se compose d'un module de generation et d'un module de reecriture. Ce dernier permet de simplifier les expressions contenues dans les algorithmes engendres