Thèse de doctorat en Sciences appliquées
Sous la direction de JEAN-FRANCOIS PERROT.
Soutenue en 1989
à Paris 6 .
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
Jasmin: checking and building a knowledge base
Pas de résumé disponible.