Thèse soutenue

Detection d'anomalies dans les bases de connaissances : le systeme score

FR  |  
EN
Auteur / Autrice : JEAN-LUC BARRIERE
Direction : Jean-Gabriel Ganascia
Type : Thèse de doctorat
Discipline(s) : Sciences appliquées
Date : Soutenance en 1993
Etablissement(s) : Paris 6

Résumé

FR

Les methodes de verifications de systemes a base de connaissances se heurtent au probleme du temps de calcul. Pour contourner ce probleme, nous avons choisi de developper un outil de diagnostic capable d'expliquer une erreur donnee. Un processus de diagnostic compare un comportement de reference a un comportement effectif. Les systemes a base de connaissances posent un probleme puisque le comportement de reference n'est pas connu. Nous avons donc introduit la notion de schema d'organisation, qui associe une organisation a un comportement, ce qui conduit a proposer un principe de diagnostic en trois etapes. Au cours de la premiere etape, le developpeur decrit un symptome caracteristique du comportement effectif. La seconde etape explicite le comportement de reference en reconnaissant le schema choisi pour organiser la base analysee. La troisieme etape detecte une anomalie en recherchant les violations de contraintes d'organisation imposees par le schema reconnu. La maquette score a ete developpee et testee sur deux bases differentes. La premiere sert a reconnaitre le comportement d'un pilote d'avion et contient 53 regles. La seconde est la maquette score elle-meme et comporte 185 regles. Sur l'ensemble des cas d'erreur traites, le principe de diagnostic s'est avere satisfaisant