Abstract FR:

Le travail présenté dans cette thèse s'inscrit dans le cadre général de la validation de la connaissance dans les systèmes experts à base de règles. Une méthode de preuve de la cohérence de bases de règles, indépendante de bases de faits particuliers, est proposée.