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

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.