Verification de la coherence dynamique dans les bases de connaissances modulaires

par BRUNO WENDLER

Thèse de doctorat en Sciences appliquées

Sous la direction de M. AYEL.

Soutenue en 1996

à Chambéry .

    mots clés mots clés


  • Résumé

    La complexite des systemes a bases de connaissances a tendance a s'accroitre. Elle atteint son paroxysme lorsque ceux-ci sont utilises pour resoudre des problemes critiques tels que ceux du domaine spatial. Refletant cette complexite, la base de connaissances est souvent decomposee en plusieurs modules. Cette modularite peut etre prise en compte lors de la verification de systemes complexes. Nous nous sommes interesses a la verification dynamique de la coherence dans de tels systemes, en prenant en compte leur potentiel deductif. Partant du calcul de labels locaux a un module, un processus d'expansion permet d'obtenir le label pour l'ensemble de modules. Cela permet de reduire la complexite du calcul de labels en offrant la possibilite de reutiliser des calculs intermediaires. Cette technique rend plus efficace la verification des contraintes d'incoherence de la base de connaissances. Quand la base de connaissances n'est pas modulaire, nous proposons des algorithmes de partitionnement specifiques a la tache de verification de la coherence. Les idees et les algorithmes ont ete testes sur des bases de connaissances issues du monde industriel


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 203 P.
  • Annexes : 84 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université Savoie Mont Blanc (Le Bourget-du-Lac, Savoie). Service commun de la documentation et des bibliothèques universitaires. Section Sciences.
  • Accessible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.