Vérification de la cohérence 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 complexité des systèmes à bases de connaissances a tendance à s'accroitre. Elle atteint son paroxysme lorsque ceux-ci sont utilisés pour résoudre des problèmes critiques tels que ceux du domaine spatial. Reflétant cette complexité, la base de connaissances est souvent décomposée en plusieurs modules. Cette modularité peut être prise en compte lors de la vérification de systèmes complexes. Nous nous sommes intéressés à la vérification dynamique de la cohérence dans de tels systèmes, en prenant en compte leur potentiel déductif. Partant du calcul de labels locaux à un module, un processus d'expansion permet d'obtenir le label pour l'ensemble de modules. Cela permet de réduire la complexité du calcul de labels en offrant la possibilité de réutiliser des calculs intermédiaires. Cette technique rend plus efficace la vérification des contraintes d'incohérence de la base de connaissances. Quand la base de connaissances n'est pas modulaire, nous proposons des algorithmes de partitionnement spécifiques à la tache de vérification de la cohérence. Les idées et les algorithmes ont été testés sur des bases de connaissances issues du monde industriel

  • Titre traduit

    Verification of dynamic coherence in modular knowledge bases


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