Sexid : systeme interactif d'aide a la deduction, a l'interrogation et a la gestion des hypotheses dans une base de donnees

Sexid: an expert system to aid querying, inference and dynamic management of hypothesis in database

• Auteur / Autrice : MARWAN EL-ELEYWA
• Direction : Pierre Lévine
• Type : Thèse de doctorat
• Discipline(s) : Sciences appliquées
• Date : Soutenance en 1990
• Etablissement(s) : Paris 6

Résumé

Le systeme sexid etudie dans cette these est un systeme expert d'aide a l'interrogation, a la deduction et la gestion dynamique des hypotheses dans une base de donnees. Les connaissances sont representees a l'aide des schemas fonctionnels. Les requetes adressees a sexid sont decomposees en partie intelligente, resolue par le moteur d'inference par chainage arriere, et en partie information portant sur la bd. Le moteur genere un ensemble d'hypotheses dynamiques sur les relations et attributs de la bd. Pour chaque hypothese, en se guidant par les regles, il associe des valeurs particulieres aux buts dont les parametres sont encore non instancies. Pour instancier les parametres, sexid couple les hypotheses ainsi generees et les parties informations. Ce couplage permet de formuler des requetes portant sur les elements de la bd. Les requetes sont ensuite executees par un sgbd. Une partie des resultats constitue l'instanciation des parametres des buts. Sexid, associe ces resultats avec les valeurs deja calculees des buts et permet ainsi de generer toutes les solutions, resultats des buts instancies. L'existence de la bd est transparente pour l'utilisateur. En mode interrogation, sexid permet a l'utilisateur, d'interroger la bd, sans maitriser son lmd. En plus, il lui permet de specifier ce qu'il veut, sans indiquer la maniere d'obtenir les resultats; sexid s'en charge pour completer la requete de celui-ci par adjonction des jointures predefinies, necessaires a l'execution de sa requete