Jasmin : controle et construction d'une base de connaissance

par Alain Beauvieux

Thèse de doctorat en Sciences appliquées

Sous la direction de JEAN-FRANCOIS PERROT.

Soutenue en 1989

à Paris 6 .

mots clés

Résumé

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

Titre traduit

Jasmin: checking and building a knowledge base

Pas de résumé disponible.