Date : 1989
Editeur / Publisher : [S.l.] : [s.n.] , 1989
Type : Livre / Book
Type : Thèse / ThesisLangue / Language : français / French
Résumé / Abstract : CETTE THESE PORTE SUR LA COHERENCE DES BASES DE REGLES DEVELOPPEES SUR DES SYSTEMES NON MONOTONES D'ORDRE UN. ON PROPOSE UN OUTIL DE COHERENCE DECLARATIF QUI PERMETTE A L'EXPERT DE DEFINIR SES PROPRES TESTS ET QUI SOIT FACILEMENT ADAPTABLE SUR D'AUTRES SYSTEMES EXPERTS. LA DEFINITION DE LA COHERENCE APPLIQUEE INCLUT UNE ETUDE SYNTAXIQUE DES REGLES, UNE ETUDE SEMANTIQUE ET UTILISE LE POUVOIR DE DEDUCTION DE LA BASE DE REGLES. LE CARACTERE PROCEDURAL DES OUTILS DE COHERENCE DEVELOPPES A CE JOUR LEUR RETIRE TOUTE POSSIBILITE D'ADAPTATION A UN AUTRE GENERATEUR DE SYSTEMES EXPERTS (ART, SNARK, MORSE...). OR LE PROBLEME DE LA COHERENCE D'UNE BASE DE REGLES EST INDEPENDANT DE LA SYNTAXE ADOPTEE POUR REPRESENTER L'EXPERTISE. LA STRUCTURE MODULAIRE DE L'OUTIL DE COHERENCE QUE NOUS PROPOSONS LUI DONNE CETTE SOUPLESSE. LA FORMULATION DES TESTS SOUS FORME DECLARATIVE PERMET A L'EXPERT DE DEFINIR LE ROLE DE L'OUTIL DE COHERENCE EN FONCTION DE SES PROPRES BESOINS. D'AUTRE PART, POUR DETECTER DES ANOMALIES DANS UNE EXPERTISE SUR UN DOMAINE, LE SYSTEME DE DETECTION DOIT COMPRENDRE LES CONCEPTS MANIPULES. UNE ETUDE PUREMENT SYNTAXIQUE N'EST PAS SUFFISANTE. IL FAUT QUE LE SYSTEME AIT UNE CONNAISSANCE SUR LES INCOMPATIBILITES EXISTANT ENTRE LES DIFFERENTS CONCEPTS DU DOMAINE. CETTE BASE D'INCOMPATIBILITES EST EXPRIMEE SOUS FORME DE REGLES DE PRODUCTION. UNE REGLE PERDANT DE SA SEMANTIQUE QUAND ELLE EST SORTIE DE SON CONTEXTE, CETTE DEFINITION PREND EN COMPTE LE POUVOIR DE DEDUCTION DE L'ENSEMBLE DES REGLES A ETUDIER. POUR CELA ELLE UTILISE LES REGLES A ETUDIER ET LA BASE D'INCOMPATIBILITES SUR LE DOMAINE POUR CONSTRUIRE DES CONTEXTES QUI PERMETTRONT DE DETECTER DES ANOMALIES DANS TOUT LE RESEAU DE REGLES. CETTE ETUDE SE FAIT INDEPENDAMMENT DE TOUTES BASES DE FAITS EN ENTREE