Jasmin : controle et construction d'une base de connaissance

Jasmin: checking and building a knowledge base

• Auteur / Autrice : Alain Beauvieux
• Direction : JEAN-FRANCOIS PERROT
• Type : Thèse de doctorat
• Discipline(s) : Sciences appliquées
• Date : Soutenance en 1989
• Etablissement(s) : Paris 6

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