Abstract FR:

La multiplication croissante des applications industrielles de plus en plus complexes a cree de nouvelles exigences en matiere d'acquisition et de representation des connaissances. Des travaux en acquisition ont souligne l'importance qu'il y a a distinguer clairement les connaissances sur le raisonnement des connaissances du domaine ; mais ils se sont focalises sur l'analyse du raisonnement. Plus recemment, est apparu l'interet d'identifier plus precisement les connaissances du domaine afin de se donner des moyens mieux adaptes pour les representer. De plus, l'integration de plusieurs sources de connaissances decrivant differents aspects de la connaissance du domaine est un probleme de plus en plus frequent. Cette evolution de la complexite des connaissances s'accompagne naturellement d'un nouveau besoin de validation. Cette these, etant realisee dans le cadre d'une collaboration entre l'universite d'orsay et e. D. F. , est particulierement representative de ce probleme. En effet, la base de connaissances, que nous avons etudiee, concerne des systemes physiques sophistiques: de leur bon fonctionnement depend la surete des centrales nucleaires. La phase de validation d'une telle base est alors indispensable et cruciale. C'est pourquoi nous nous sommes attache a analyser les connaissances de structuration du domaine, pour trouver un formalisme les representant le plus fidelement possible. Les formalismes terminologiques nous ont paru tres bien adaptes d'autant plus que leur semantique formelle permet de caracteriser formellement la notion de coherence. De plus, ces formalismes sont associes a des algorithmes mettant en uvre des services inferentiels qui peuvent etre utiles pour prouver la coherence mais s'averent insuffisants pour un objectif de validation. Nous proposons de les completer par une methode de verification de coherence pour aider l'expert a identifier et localiser clairement les incoherences qu'elles soient liees a une base de connaissances unique ou qu'elles proviennent de l'interaction de plusieurs sources de connaissances