Abstract FR:

Nous presentons dans cette these les travaux realises concernant la verification automatique de bases de connaissances de systemes experts. Cette etude comporte un panorama des systemes existants, puis deux parties independantes. La premiere traite de la coherence de bases de regles d'ordre zero plus. Nous presentons le systeme melomidia, qui detecte la possibilite de deduire des faits contradictoires lors d'un processus d'inference a partir d'hypotheses valides. Melomidia fournit aussi, quand elles existent, les bases de faits initiales conduisant a des deductions contradictoires, et les regles redondantes ou indeclenchables. La seconde s'interesse a la verification de bases de regles d'ordre un. Celle-ci est concue comme la confrontation de deux groupes de connaissances: d'une part la base de regles, d'autre part une liste de proprietes attachees aux predicats utilises dans cette base. Les connaissances du deuxieme type, habituellement implicites, sont fournies par l'utilisateur. Il utilise pour cela un modele de description des predicats, dont la structure s'inspire des travaux en methodologie de conception de systemes informatiques