thesis

Un langage de spécification de la connaissance statistique dans un cadre de système expert de contrôle de qualité

Defense date:

Jan. 1, 1991

Edit

Institution:

Aix-Marseille 3

Disciplines:

Abstract EN:

This work want to define a model of an expert system for representation and resolution of the quality statistical control problem (reception control and by attributs case). The structure of this model is based on the definition of a specification language of statistical knowledge for representation and resolution of the problem by the decisional statistical model (conception methodes of the decision rules according to the differentes statistical principales). The statistical knwledge are sometime heuristic, so they are represented by production rules : algorithmic ones are represented by tangly processes, ordered by the rules. The same type of knowledge are grouped in the same modules. Each module has got one or more tasks, according a general reasoning strategy;. The expertise in the domain (conception methode of a sampling plan) are represebted by strategies, in a module "control strategies". The knowledges of these modules are susceptible to create formal representation by the specification language, by the countershaft of the module "representation by statistic" of the environment and the objectives control" with conceptionof the decisional statistical model.

Abstract FR:

Ce travail consite a definir une maquette de s. E. Pour la representation et la resolution du probleme de controle statistique de qualite (cas de controle de reception par attributs). La structure de cette maquette est basee sur la definition d'un langage de specification de la connaissance statistique pour la representation et la resolution de probleme, par la resolution du modele statistique decisionnel (methodes de conception des regles de decision selon des differents principes statisitiques). Les connaissances en statistique sont parfois de type heristique ; elles sont alors representees par des regles de production, et celles de type algorithmique sont represebtees par des procedures enchevetrees, commandees par les regles, les connaissances de meme type sont regroupees dans des modules. Chaque module est dote d'une ou plusieurs taches, selon une strategie generale de raisonnement. Les expertises du domaine (methodologies de conception des plans de controle) sont representees sous forme de strategies, dans un module "stragegies de controle". Les connaissances de ce module sont susceptibles de creer une representation foremelle par le langage de specification, par l'intermediaire du module "representation par la statistique de l'environnement et les objectifs du controle" avec la conception du modele statistique decisionnel.