Abstract FR:

Etude du controle de la coherence d'une base de connaissance composee de regles de production redigcees dans le formalisme de la logique des propositions ou dans un formalisme (attribut, operateur, valeur). Une methode de preuve originale a ete developpee, qualifiee d'incrementale, qui a l'issue d'une modification de la base, permet de tester la coherence de l'ensemble resultant, sans avoir a redemontrer completement cette propriete. Le traitement des incoherences est ensuite aborde