Intégration d'approches symboliques pour le raisonnement à partir d'exemples : l'induction et le raisonnement par cas dans le cadre du diagnostic technique

摘要

Nous proposons dans cette these une methodologie d'integration entre deux techniques de resolution de problemes a partir d’exemples : l'induction et le raisonnement par cas. On developpe un cadre commun a ces deux approches, centre autour de la notion de biais d'apprentissage. On s'attache tout d'abord a caracteriser les avantages et les inconvenients de chaque technique vis-a-vis de contraintes applicatives specifiques : flexibilite, resistance au bruit, incrementalite, performances, representation des connaissances. Afin de satisfaire ces contraintes, on definit une architecture qui integre le raisonnement par cas et l'induction a plusieurs niveaux. Tout d'abord, les deux techniques doivent pouvoir etre utilisees independamment l'une de l'autre (strategie de boite a outils). Le deuxieme niveau d'integration consiste a echanger les resultats fournis par une des approches, de maniere a ameliorer ceux obtenus par l'autre (strategie de cooperation). Le troisieme niveau reprend le principe d'echange de resultats, mais l'etend a differents modules algorithmiques (strategie de travail en atelier). Le dernier niveau fond totalement les deux approches dans une plate-forme generique (strategie d'integration). Il necessite la redefinition des structures utilisees pour l'indexation dans le raisonnement par cas (arbres k-dimensionnels) et pour le diagnostic en induction (arbres de decision) en une structure unique baptisee arbre INRECA pouvant indifferemment servir de structure d'indexation ou de structure decisionnelle. Cet arbre permet l'apprentissage de concepts et de ponderations optimales des mesures de similarite. Ces architectures se concretisent au travers de la plate-forme INRECA. D'autre part, les composantes les plus significatives d'INRECA sont reprises dans KATE, le progiciel d'aide a la decision developpe a Acknosoft. On montre pourquoi l'integration du raisonnement par cas et de l'induction est necessaire dans le cadre d'une application industrielle : un systeme d'aide au diagnostic de pannes de robots manipulateurs realise par Acknosoft pour le service apres-vente de la societe Sepro Robotique