Contribution aux langages de 4ème génération, orientés vers les systèmes de conduite et de diagnostic de pannes d'installations industrielles
Institution:
Paris 11Disciplines:
Directors:
Abstract EN:
Usually, expert systems are derived from the application of formal nevertheless; they can be tackled in another way, the one of automatons. Through such a new approach, we have dealt with the study of control and failure diagnosis systems for industrial plants and manufactures. The peculiarities of such a trend have led us to using a ternary logic, in which the basic implication symbol points to a right of deduction, this meaning being completed according to the application, of which we have given two examples: the GRAFCET and the monotonous logic. Moreover, this ternary representation will permit us, through a binary modelization, like modalities, to establish a powerful inference procedure, as well for execution time as for memory volume. However, this procedure operating on canonical logic forms, a conversion must be made on the rules, during the compilation phase. This conversion operating through meta-rules, can take into account, in addition to many properties of logical operators, a definition of incompatibility, as well for logical aspects as for physical one. Finally, an input language, clear and easy to use for those who are dealing be defined for a control system, described through GRAFCET. Being highly distributed, this language permits in an easy and natural way, to cope with analysis and utilization phases of the process to be automated.
Abstract FR:
Classiquement, les systèmes experts dérivent de l'application des principes de la logique formelle ; toutefois, ils peuvent être abordés sous un autre angle, celui des automates. A travers cette nouvelle approche, nous nous sommes intéressés à l'étude des systèmes de conduite et de diagnostic de pannes d'installations industrielles et manufactures. Les particularités d'une telle orientation nous ont amenées à l'utilisation d'une logique ternaire, dans laquelle le symbole implicatif de base indique un droit de déduire, ce sens étant complété par l'application traitée, dont nous donnons deux exemples le GRAFCET et la logique monotone. En outre, cette représentation ternaire nous permettra, par l'intermédiaire d'une modélisation binaire, type modalités, d'établir une procédure d'inférence performante, tant au point de vue vitesse d'exécution, qu'encombrement mémoire. Toutefois, cette procédure opérant sur des formes logiques canoniques, une transformation doit être opérée sur les règles, en phase de compilation. Cette transformation, opérant par l'intermédiaire de métarègles, prend en compte, outre les diverses propriétés des opérateurs logiques, une définition de l'incompatibilité, tant au point de vue logique que physique. Enfin, un langage d'entrée, clair et simple d'utilisation pour qui est familiarisé avec les automates, sera défini pour un système de commande décrit par GRAFCET. Etant fortement décentralisé, ce langage permet une appréhension simple ct naturelle des phases d'utilisation et d'analyse du processus à automatiser.