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 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


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 57 REF

Où se trouve cette thèse ?

  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Accessible pour le PEB
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : PMC RT P6 1989
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.