Execution 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 these nous nous interessons a quatre aspects des bases de connaissances : la verification de la coherence et de la completude, l'inspection, la reutilisation de connaissances ainsi que la generation de donnees de test. Notre approche consiste a voir une base de regles comme un programme reducteur de domaines. C'est a dire qu'a partir d'un ensemble de variables d'entrees auxquelles sont associes des domaines de valeurs, on deduit les domaines de valeurs des variables de sortie et les relations directes qui les lient aux variables d'entree. Cette deduction est effectuee en utilisant une methode d'execution symbolique basee sur la resolution des contraintes des differents chemins d'execution qu'une base de regles peut engendrer. Cette execution symbolique permet d'obtenir des resultats nouveaux dans trois domaines, celui de la verification statique et dynamique de la coherence et de la completude, celui de la reduction de bases de connaissances afin de creer des vues pour inspecter cette base ou en reutiliser des composants et enfin le domaine de la generation de donnees de test. L'etude que nous avons menee nous a conduit a realiser le systeme svrg qui a ete teste sur des bases de connaissances issues du domaine industriel.


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