Etude des mecanismes de gestion des erreurs dans les systemes a base de connaissances de pilotage de programmes

Failure handling mechanism in knowledge based system for programs supervision

• Auteur / Autrice : Régis Vincent
• Direction : Monique Thonnat
• Type : Thèse de doctorat
• Discipline(s) : Sciences appliquées
• Date : Soutenance en 1997
• Etablissement(s) : Nice

Résumé

L'objectif de cette these est d'ameliorer les systemes a bases de connaissances (sbc) pour les rendre plus robustes et plus fiables. Le contexte d'application vise est les sbc en pilotage de programmes. Par pilotage automatique de programmes, on entend l'automatisation de la planification et du controle d'execution de chaines de programmes. Une chaines de programmes est un ensemble ordonne de programmes d'une bibliotheque (par exemples des programmes de traitement d'images). Un systeme a base de connaissances en pilotage est compose d'une base de connaisances decrivant les differents programmes et la maniere de les utiliser, d'un ensemble de programmes (codes informatiques) et d'un moteur de raisonnement. Dans ce memoire, rendre plus fiables les sbc consiste a fournir un moyen d'exprimer la connaissance de reparation des experts. En effet peu de sbc proposent un moyen de reparation lorsqu'une erreur a ete detectee. Notre approche consiste a fournir un systeme complet qui permette de detecter des erreurs, de les corriger et de modifier les bases de connaissances de maniere automatique. La mecanisme de reparation se decompose en deux phases, la premiere consiste en une reparation temporaire du raisonnement grace a des mecanismes de retour arriere intelligent. La reparation est temporaire car si le systeme trouve l'erreur et qu'il parvient a trouver une solution correcte, la reparation proposee ne sera pas memorisee. La deuxieme phase consiste en une reparation permanente de la base de connaissances afin de ne pas reproduire la meme erreur. Cette reparation est realisee par une technique d'apprentissage basee sur les explications. Le systeme d'apprentissage genere des connaissances qui vont preciser ou annuler les connaissances de la base. Pour valider cette approche, nous avons realise un moteur de sbc : pegase qui integre le mecanisme de gestion des erreurs. Nous avons aussi developpe une application qui valide sur un exemple reel les mecanismes de reparation. Sur un plan general, ce travail contribue a prouver que les techniques d'apprentissage dans le domaine de la planification apporte des fonctionnalites interessantes.