Exécution symbolique et bases de connaissances : Le systeme SVRG

par Amar Bendou

Thèse de doctorat en Sciences et techniques communes

Sous la direction de Marc Ayel.

Soutenue en 1998

à Chambéry .

    mots clés mots clés


  • Résumé

    Dans cette thèse nous nous intéressons à quatre aspects des bases de connaissances : la vérification de la cohérence et de la complétude, l'inspection, la réutilisation de connaissances ainsi que la génération de données de test. Notre approche consiste à voir une base de règles comme un programme réducteur de domaines. C’est à dire qu'à partir d'un ensemble de variables d'entrées auxquelles sont associés des domaines de valeurs, on déduit les domaines de valeurs des variables de sortie et les relations directes qui les lient aux variables d'entrée. Cette déduction est effectuée en utilisant une méthode d'exécution symbolique basée sur la résolution des contraintes des différents chemins d'exécution qu'une base de règles peut engendrer. Cette exécution symbolique permet d'obtenir des résultats nouveaux dans trois domaines, celui de la vérification statique et dynamique de la cohérence et de la complétude, celui de la réduction de bases de connaissances afin de créer des vues pour inspecter cette base ou en réutiliser des composants et enfin le domaine de la génération de données de test. L’étude que nous avons menée nous a conduit à réaliser le système SVRG qui a été testé sur des bases de connaissances issues du domaine industriel.

  • Titre traduit

    Symbolic execution and knowledge bases : the SVRG system


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 215 p.
  • Annexes : 92 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.
  • Disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.