Représentation de la déduction par une logique trivalente : réalisation de moteurs d'inférence rapides

Representation of deduction by a trivalent logic : development of fast interference motors

• Auteur / Autrice : François Terrier
• Direction : Alain Bonnemay
• Type : Thèse de doctorat
• Discipline(s) : Électronique
• Date : Soutenance en 1987
• Etablissement(s) : Paris 11
• Partenaire(s) de recherche : Autre partenaire : Université de Paris-Sud. Faculté des sciences d'Orsay (Essonne)
• Jury : Président / Présidente : Christian Fluhr
• Jury : Examinateurs / Examinatrices : Christian Fluhr, M. Tallec, L. Demians d'Archimbaud, Daniel Viault, Alain Bonnemay

Mots clés

Mots clés contrôlés

Conception et construction

Automates

Mots clés libres

Logique trivalente

Moteur d'interférence

Conclusions à choix multiples

Construction d'automates

Traducteur de règles

Analyse de fiabilité

Système de diagnostic

Résumé

La construction d'automates de surveillance, conduite et diagnostic peut être abordée par le biais de l'intelligence artificielle. Leurs règles de fonctionnement suivent le formalisme de la logique propositionnelle d'ordre O. II est alors possible de représenter de façon concise et efficace les modes de déduction dans une logique trivalente. On obtient alors des codes exécutables de faible encombrement et à vitesse d'exécution élevée (environ 5000 règles par seconde). Parallèlement cela amène à développer un langage d'entrée des règles de syntaxe déclarative, très simple, et à temps d'apprentissage, pour un expert, quasiment nul. Enfin, pour pouvoir généraliser le principe à des règles contenant des conclusions dubitatives (Si. . . Alors arrêt moteur ou perte de pression), des procédures de réécriture du jeu de règles ont été mises au point. Ces procédures permettent de se ramener à un système équivalent sans conclusion dubitative et qui fournit les mêmes ensembles d'informations décidables. Deux applications ont été réalisées à l'aide de ce travail : - un outil logiciel pour l'analyse de fiabilité (OLAF), - un système d'aide au diagnostic de panne sur réacteur à eau sous pression.

Building automats for surveillance, control or diagnosis, can be done by artificial intelligence. They function according to the formalism of 0 ordre propositional logic. Deduction s modes can then easily be represented in a trivalent logic with both efficiency and concision. One can obtain workable codes with low storage of high speed (env. 5000 rules per second). This leads us to develop an entry langage with extremely simple statement rules which can be learnt by experts in practically no time. Finally in order to generalize this principle and draw rules with multi-choice conclusions, (If …then the motor stops or the pressure goes down), rewriting these processes enable to return to an equivalent system without multi-choice conclusions, providing the same amount of informations with the possibility of deciding. This study has been used on 2 different cases: - first it served as a tool to analyze reliability, (OLAF), - second to help diagnose breakdown of pressurized water-reactors.