Abstract FR:

Cette these a pour objectif l'etude d'une methode de representation des connaissances basee sur la notion de schema de dependance fonctionnelle. Cette methode permet de tirer parti, aussi bien de la hierarchisation des concepts, que l'usage de regles de deduction. Son interet reside, pour l'expert, dans la simplicite de modelisation des connaissances et, pour l'utilisateur, dans la rapidite d'execution des expertises. De plus, elle facilite la resolution des nombreux problemes inherents a la realisation d'un systeme expert, a son utilisation, et surtout a sa maintenance. Cette conception de l'organisation des connaissances est mise a profit dans le g. S. E. Argument, compose de trois modules: 1) le module d'edition, de controle de coherence de la base de regles et assure une optimisation maximale de celle-ci. Il detecte et indique tout conflit repere (regles contradictoires, redondances, cycles), aide a la determination des regles erronnees, et peut meme proposer de nouvelles regles a l'expert. 2) le moteur d'inference, dont la vitesse remarquable d'interpretation des connaissances est due a une methode originale de filtrage basee sur l'utilisation des schemas. L'efficacite du moteur permet le developpement d'applications temps-reel en milieu industriel (controle de procede continu par exemple). 3) le module d'explication, qui apporte des reponses aux questions de type pourquoi. . . , pourquoi pas. . . Et comment. . . . Dans ce dernier cas, le systeme donne a l'utilisateur en vue d'ensemble du raisonnement utilise pour arriver au resultat