Brevet FR2705476A1 — publié le 19941125

Mécanisme de filtrage de rÈales de production et moteur d'inférence pour système expert comportant un tel mécanisme L'invention porte sur un mécanisme de filtrage de règles de production exprimant des conditions à satisfaire, destiné à identifier au cours de cycles d'inférence successifs de règles, la ou les règles dont les conditions sont satisfaites pour des faits déduits et comprenant un10 système de tri pour ordonner les conditions des règles en fonction d'un critère de tri de manière à vérifier les conditions des règles sur la base d'un ordre de prise en compte desdites conditions. Un tel mécanisme de filtrage est connu du document TSI Vol.5 n 3, juin 1986, "Un langage déclaratif: SNARK", J.L. Laurière. Ce type de mécanisme de filtrage est conçu en premier lieu pour les systèmes informatisés d'aide à la décision, plus connus sous le nom de systèmes experts. Un système expert comprend classiquement trois éléments qui20 sont une première mémoire de travail ou base de faits contenant des faits déduits, une seconde mémoire de travail ou base de connaissance contenant un ensemble de règles de production exprimant chacune une ou des conditions à satisfaire en relation avec une ou des conclusions à25 déduire, et une procédure de déduction ou moteur d'inférence. Les systèmes experts sont largement utilisés dans l'industrie, notamment pour établir un diagnostic de pannes de fonctionnement d'une installation.30 La procédure de déduction est généralement agencée pour effectuer un cycle d'inférence en trois étapes: filtrage, résolution de conflits et inférence. L'étape de filtrage consiste à déterminer les règles de production dont les conditions sont satisfaites pour des faits dans la base35 de faits. L'étape de résolution des conflits consiste à effectuer une sélection parmi les règles déclarées candidates par l'étape de filtrage. L'étape d'inférence consiste à ajouter, retirer ou modifier des faits dans la base de faits en accord avec la ou les conclusions des règles retenues dans l'étape de résolution de conflits.5 L'efficacité de l'étape de filtrage a une influence déterminante sur l'efficacité du processus de déduction car elle consomme fréquemment plus de 80% du temps de traitement total à chaque cycle d'inférence. Dans le document mentionné ci-dessus, la procédure de déduction inclut un mécanisme de filtrage de règles de production comprenant un système de tri pour ordonner les conditions des règles en fonction d'un critère de tri de manière à vérifier les conditions des règles sur la base d'un ordre de prise en compte desdites conditions. Le15 critère de tri utilisé consiste à considérer que la condition devant être prise en compte la première, pour une règle donnée, est celle qui est la moins souvent satisfaite pour les faits déduits. L'ordonnancement des conditions des règles permet de réduire le temps de traitement nécessaire à20 l'étape de filtrage. Ce mécanisme connu de filtrage déclenche le système de tri à chaque cycle d'inférence. Il en résulte qu'un tel mécanisme de filtrage consomme beaucoup de temps de traitement du fait que le système de tri est lui-même un grand consommateur de temps de traitement. Par25 ailleurs, il a été constaté que dans 99% des cas, le système de tri ordonne, lors d'un cycle d'inférence, les conditions des règles selon le même ordre de prise en compte que lors du cycle précédent du fait que les faits déduits changent peu entre deux cycles d'inférence consécutifs. Il n'est donc30 pas utile de déclencher le système de tri à chaque cycle d'inférence. L'invention a pour but de remédier à cet inconvénient. Un autre mécanisme de filtrage est connu du document AAAI, National Conference on Artificial Intelligence, 1987, "TREAT: a better match algorithm for AI production systems", D. P. Miranker. Ce mécanisme de filtrage utilise une représentation des conditions des règles de production sous forme d'un réseau de discrimination dont chaque noeud représente un modèle de condition d'une ou plusieurs règles de production. Un tel réseau de discrimination est 5 particulièrement avantageux à utiliser lorsque les conditions des règles contiennent des variables communes. Quand une condition contient n variables, le noeud du réseau correspondant à cette condition mémorise les valeurs des n- uplets de faits de la base de fait qui satisfont la10 condition. Les arcs du réseau de discrimination représentent les conjonctions définies, lors de l'écriture des règles de production, entre les conditions des règles. Pour déterminer les règles de production dont toutes les conditions sont satisfaites pour les faits dans la base de fait, le15 mécanisme de filtrage établit des jointures successives entre les n-uplets de valeurs mémorisées dans les noeuds du réseau de discrimination. Le mécanisme de filtrage connu du document précité comporte un système de tri qui ordonne partiellement les noeuds dans le réseau de discrimination.20 Ce système de tri est agencé de manière à ce que l'étape de jointure, lors d'un cycle courant d'inférence, entre deux noeuds du réseau de discrimination correspondant à deux conditions d'une règle de production, commence par le noeud correspondant à la condition impliquée par un nouveau fait25 déduit lors du cycle d'inférence précédent immédiatement le cycle courant d'inférence. L'ordre de prise en compte des noeuds du réseau correspondant aux autres conditions de la règle reste identique à celui qui a été défini lors de l'écriture de la règle. On constate que le temps de30 traitement nécessaire à la réalisation des jointures dépend de l'ordre dans lequel les jointures entre noeuds du réseau sont réalisées. Ce temps de traitement nécessaire à la réalisation des jointures peut être grandement réduit si l'ordre de prise en compte des noeuds est calculé rapidement35 pour tous les noeuds impliqués lors de l'étape de réalisation de la jointure. L'invention a aussi pour but d'améliorer un tel mécanisme de filtrage. A cet effet, l'invention a pour objet un mécanisme de filtrage, caractérisé en ce que le mécanisme de filtrage est agencé pour déclencher le système de tri des conditions des règles uniquement lorsque le nombre de faits satisfaisant une condition d'une règle est multiplié ou divisé par un facteur réglable K entre le cycle courant d'inférence et le dernier cycle précédent d'inférence au cours duquel le10 système de tri a été déclenché pour cette règle. Un tel mécanisme de filtrage consomme beaucoup moins de temps que les mécanismes de filtrage connus. Il peut être intégré à un moteur d'inférence d'un système expert exploité pour établir des diagnostics de pannes dans des situations15 d'urgence. Le système de tri est agencé pour enregistrer, pour chaque condition d'une règle, une liste ordonnée des autres conditions de la règle de sorte qu'un ordre optimal mémorisé de prise en compte des conditions d'une règle peut être20 réutilisé lors de cycles d'inférence ultérieurs jusqu'à ce que cet ordre ne soit plus optimal par suite de la modification, la suppression ou l'ajout de faits dans la base de faits. Dans ce cas, la liste ordonnée des conditions de la règle est réorganisée par le système de tri.25 Le critère de tri des conditions d'une règle peut être défini en fonction du renouvellement des faits entre deux cycles successifs d'inférence et en fonction du fait que certaines conditions ne comportent pas ou comportent des variables.30 Pour ce critère de tri, la première condition de la règle qui est prise en compte est celle qui doit être vérifiée pour un nouveau fait déduit. L'invention s'étend à un moteur d'inférence pour système expert, comportant un tel mécanisme de filtrage de règles de production. L'invention est décrite en détail ci-après en référence aux dessins. La figure 1 représente schématiquement un système expert comprenant une base de fait, une base de connaissance, une mémoire de filtrage et un moteur d'inférence incluant un mécanisme de filtrage selon l'invention. La figure 2 représente schématiquement le modèle conceptuel des données du mécanisme de filtrage selon l'invention. La figure 3 est un organigramme fonctionnel du mécanisme de filtrage selon l'invention incluant un système de tri. Le système expert représenté à la figure 1 est destiné à faire fonctionner un ordinateur équipé d'un clavier pour entrer des données et d'un dispositif d'affichage sur lequel sont présentées des résultats de diagnostic de façon classique en soi. Ce système expert comprend une base de faits 40 contenant des faits 4, une base de connaissances 5020 contenant des conditions 2 et des règles 1, une mémoire de filtrage 60 contenant des modèles de condition 3, des instances de règle 5 et les faits déduits 4 lors du dernier cycle d'inférence, et un moteur d'inférence 70. Le moteur d'inférence comprend un mécanisme de filtrage 30, un mécanisme de sélection de règles 35, un mécanisme de déduction 36. les mécanisme 35 et 36 sont classiques en soi et ne seront donc pas décrits. Pour plus de clarté, le modèle conceptuel des données exploitées par le mécanisme de filtrage est d'abord décrit. Sur la figure 2, le modèle conceptuel (dans le formalisme entité relation de la méthode "MERISE") comprend 6 entités (désignées chacune par le symbole E et représentées par des pavés rectangulaires) et 7 relations (désignées chacune par le symbole R et représentées par des pavés ovales) entre ces entités. L'entité El ("Règle") décrit l'ensemble des règles de production du système expert. L'entité E2 ("Condition") décrit l'ensemble de toutes les conditions des règles de production, ces conditions peuvent inclure des variables identifiées par un nom. L'entité E3 ("Modèledecondition") représente des5 conditions analogues au nom de leurs variables près, connue sous le nom de "ALPHA_Memory" du document "Rete: a fast algorithm for the many pattern/many object pattern match problem" de Charles L. FORGY, Artificial Intelligence n 19- 1992. L'entité E4 ("Fait") décrit l'ensemble des faits du système expert. L'entité E5 ("Instancederègle") décrit un ensemble de faits satisfaisant les conditions d'une règle. La relation R12 ("A_pour_condition") associe les entités El et E2 dans laquelle à une règle peut être associée une à n conditions et à une condition peut être15 associée une et une seule règle par la relation inverse. La relation R23 ("Correspond") associe les entités E2 et E3 dans laquelle à une condition est associé un et un seul modèle de condition et à un modèle de condition est associé une à n conditions par la relation inverse. La relation R1520 ("A_pour_Instance") associe les entités El et E5 dans laquelle à une règle est associée zéro à n instances de règle et à une instance de règle est associée une et une seule règle par la relation inverse. La relation R34 ("Est_vérifiée_par") associe les entités E3 et E4 dans laquelle à un modèle de condition est associé zéro à n faits et à un fait est associé un et un seul modèle de condition par la relation inverse. La relation R26 ("Comprend_les_variables") associe les entités E2 et E6 dans laquelle à une condition correspond zéro à n variables et une variable figure dans une à n conditions par la relation inverse. La relation R36 ("A_pour_variable") associe les entités E3 et E6 dans laquelle à un modèle de condition correspond zéro à n variables et à une variable correspond un modèle de condition seulement par la relation inverse.35 Les relations entre entités sont classiquement réalisées par l'utilisation de pointeurs, les entités étant des objets d'un langage de programmation orientée objet tel que C++ ou des structures dans un langage de programmation fonctionnel tel que C. En plus des propriétés classiques décrivant ces entités et relations nécessaires au fonctionnement d'un moteur d'inférence classique, les propriétés suivantes sont ajoutées. A l'entité E2 ("Condition") est ajoutée une propriété LT ("Liste triée") dont la valeur est une liste ordonnée de conditions. A l'entité E3 ("Modèlede condition") sont ajoutées deux propriétés à savoir: -la propriété NFS dont la valeur est un entier égal au nombre de faits satisfaisant ce modèle de condition; -la propriété NFM dont la valeur est un entier égal à une valeur de NFS mémorisée à un certain instant. A l'entité E6 ("Variable") est ajoutée une propriété V ("Valeurs") dont la valeur est l'ensemble des valeurs différentes de la variable considérée. En se reportant maintenant à la figure 3, le mécanisme de filtrage 30 inclut un module de décision 31, un module de tri 32 et un module de filtrage proprement dit 33. Le module de décision 31 prend en entrée un fait déduit 4. A partir de ce fait, il récupère par la relation R34 le modèle de condition 3 qui lui correspond. Il met à jour la liste des valeurs V des variables du modèle de condition récupérées par la relation R36 puis recalcule le nombre de faits NFS satisfaisant ce modèle de condition. Il compare le rapport NFS/NFM à un seuil réglable K enregistré30 préalablement. De préférence le seuil K prend des valeurs comprises entre 1,5 et 2. Si 1/K K ou NFS/NFM a) la première condition est la condition d'entrée du module de tri. b) et de façon itérative sur toutes les autres conditions, la condition suivante dans la liste ordonnée est celle qui satisfait l'un des critères suivants et dans l'ordre de préférence suivant: i)une condition ne comportant pas de variable; ii)une condition comportant au moins une variable dont la ou les variables sont présentes dans une condition déjà inscrite dans la liste de conditions; iii)une condition comportant au moins une variable et dont le modèle de condition récupéré par la relation R23 a la valeur NFS la plus faible, cette valeur NFS étant remplacée par une valeur NFC définie plus loin lorsque30 certaines variables de la condition considérée sont présentes dans une condition déjà inscrite dans la liste, ces variables étant dites contraintes. La valeur NFC ou nombre de faits contraints pour cette condition est obtenue en récupérant par la relation 36, pour chaque variable35 contrainte, le nombre de ses valeurs (cardinal de l'ensemble des valeurs) puis en divisant NFS par le minimum de tous ces nombres. Le module de tri 32 fournit en sortie une liste ordonnée des conditions qui est mémorisée dans la propriété LT ("liste triée") de la condition d'entrée. Le module de filtrage 33 prend en entrée une règle 1 et une condition 2 de cette règle. Il récupère la liste ordonnée des conditions de la règle mémorisée dans la propriété LT ("listetriée") de cette condition. Il effectue ensuite, de façon classique comme décrit dans le document "TREAT: a better match algorithm for AI production systems" de Daniel P. MIRANKER, National Conference of Artificial Intelligence 1987, le calcul des instances de règle 5 de la règle d'entrée 1 mais en considérant les conditions dans l'ordre dans lequel elles apparaissent dans la liste ordonnée des conditions.15 REVENDICATIONS 1.) Un mécanisme de filtrage de règles de production exprimant des conditions (2) à satisfaire, destiné à identifier au cours de cycles d'inférence successifs de règles (1), la ou les règles dont les conditions sont satisfaites pour des faits déduits (4) et comprenant un système de tri (32) pour ordonner les conditions des règles en fonction d'un critère de tri de manière à vérifier les10 conditions des règles sur la base d'un ordre de prise en compte desdites conditions, caractérisé en ce que le mécanisme de filtrage est agencé pour déclencher le système de tri des conditions des règles uniquement lorsque le nombre de faits satisfaisant une condition d'une règle est15 multiplié ou divisé par un facteur réglable K entre le cycle courant d'inférence et le dernier cycle précédent d'inférence au cours duquel le système de tri a été déclenché pour cette règle. 2.) Le mécanisme selon la revendication 1, dans lequel le système de tri est agencé pour enregistrer, pour chaque condition d'une règle, une liste ordonnée des autres conditions de la règle. 3.) Le mécanisme selon l'une des revendications 1 ou 2, dans lequel le critère de tri des conditions d'une règle est défini de la façon suivante: a) la première condition de la règle est celle qui doit être vérifiée pour un nouveau fait déduit; b) la condition suivante est sélectionnée parmi les conditions restantes de la règle, cette condition suivante étant celle qui satisfait l'un des critères suivants et dans l'ordre de préférence suivant: i)une condition ne comportant pas de variable; ii)une condition comportant au moins une variable dont la ou les variables sont présentent dans une condition déjà sélectionnée; iii)une condition comportant au moins une variable et dont le nombre de faits contraints est le plus petit. 4.) Un moteur d'inférence pour système expert, comportant un mécanisme de filtrage de règles de production selon l'une des revendications précédentes.