GENERATION AUTOMATIQUE DE PROGRAMMES PAR REGLES ET COMPILATION DE BASE DE REGLES : APPLICATION A UN SYSTEME EXPERT DE DIAGNOSTIC DE SIGNAUX COURANTS DE FOUCAULT / JEAN YVES LUCAS ; SOUS LA DIRECTION DE JEAN-LOUIS LAURIERE

Date : 1989

Editeur / Publisher : [S.l.] : [s.n.] , 1989

Type : Livre / Book

Langue / Language : français / French

Laurière, Jean-Louis (Directeur de thèse / thesis advisor)

Université Pierre et Marie Curie (Paris ; 1971-2017) (Organisme de soutenance / degree-grantor)

Relation : GENERATION AUTOMATIQUE DE PROGRAMMES PAR REGLES ET COMPILATION DE BASE DE REGLES : APPLICATION A UN SYSTEME EXPERT DE DIAGNOSTIC DE SIGNAUX COURANTS DE FOUCAULT / Jean Yves Lucas ; sous la direction de Jean-Louis Lauriere / Grenoble : Atelier national de reproduction des thèses , 1989

Résumé / Abstract : LE DEVELOPPEMENT ET L'UTILISATION D'UN SYSTEME EXPERT EN TRAITEMENT DU SIGNAL REQUIERENT DES OUTILS D'UNE GRANDE EFFICACITE. UN MOYEN D'AUGMENTER CELLE-CI EST LA COMPILATION DE LA BASE DE REGLES, C'EST-A-DIRE SA TRADUCTION EN LANGAGE BINAIRE. LA COMPILATION SE FAIT REGLE A REGLE, CHACUNE ETANT TRADUITE SOUS LA FORME D'UNE PROCEDURE. L'EVALUATION DE LA PARTIE PREMISSE D'UNE REGLE AVEC VARIABLES EST UN PROBLEME COMBINATOIRE. IL EST DONC NECESSAIRE DE DISPOSER D'UN SYSTEME QUI GENERE DES PROGRAMMES QUI RESOLVENT DES PROBLEMES COMBINATOIRES. DES METHODES DE PROPAGATION DE CONTRAINTES (CONSISTANCE DE NUDS ET CONSISTANCE D'ARCS) SONT MISES EN UVRE AFIN D'AMELIORER L'EFFICACITE DE L'ALGORITHME DE SEMI-UNIFICATION