Résumé de séminaire

Résumé :

Les concepteurs et les utilisateurs des systemes d'information d'aujourd'hui sont confrontes a des applications de plus en plus complexes (e.g., multimedia, entrepots de donnees, data mining) qui, de plus, vehiculent des contraintes de qualite (sur les donnees, l'interaction, la synchronisation, etc.). Il n'est plus suffisant de specifier les aspects statiques de l'univers a modeliser - la modelisation des aspects dynamiques (e.g., le temps, le changement, la concurrence) est aussi importante. Aussi, il y a un besoin en modalites multiples pour distinguer entre les multitudes d'etats (vrai, connu, permis, obligatoire, etc.) que peuvent exhiber les donnees/connaissances dans ces nouvelles applications.

Stimulee par les nouvelles exigences, la technologie base de donnees a egalement evolue. De nouveaux modeles de donnees, contraintes d'integrite, regles actives, langages de programmation de bases de donnees ont fourni les extensions necessaires au cadre des bases de donnees traditionnelles. Cependant, la nouvelle technologie base de donnees a fait emerger de nombreuses nouvelles caracteristiques dont les interactions ne sont pas toujours faciles a maitriser. Par exemple, il est difficile de donner un sens a un ensemble consequent de regles actives.

La logique, sous la forme de nombreux formalismes differents, est un outil adequat pour formaliser et comprendre certains des problemes poses. La logique a une syntaxe et semantique simples et non ambigues. Elle est de ce fait un bon candidat pour la specification de systemes d'information. Typiquement, la logique est dotee d'une procedure de preuve qui permet de tester la consistance de specifications et determiner leurs consequences. Dans le domaine des bases de donnees, depuis le travail pionnier de Codd, la logique a ete reconnue comme un langage de requete. Bien que pas tres facile a utiliser par un novice, la logique sert de point de reference pour la conception de langages de requetes pratiques.

L'integration des bases de donnees et de la representation des connaissances est donc envisageable non seulement pour une application effective de la technologie IA, mais surtout pour le developpement de la technologie BD, pour laquelle la future generation de systemes d'information et d'aide a la decision reposera sur des principes de fonctionnement cooperatif et distribue (e.g., applications autour d'Internet). Les problemes poses par ces systemes (e.g., fusion de donnees, optimisation des acces) necessitent des algorithmes efficaces. Des assises formelles pour ces futurs systemes d'information sont une etape essentielle pour demontrer la justesse des algorithmes, et qui pourront conduire a des strategies d'implantation plus efficaces et robustes.

Mes activites de recherche s'inscrivent dans cette lignee dans le sens ou des outils formels de specification et de raisonnement sont explores en vue de doter les futurs bases de donnees de possibilites de raisonnement et de decision.

Références :

Mots-cles : Bases de Donnees, Representation de Connaissances, Raisonnement Datalog, Contraintes, Logiques de Description, Logiques de Traits, Multimedia, Optimisation de Requetes .

Email : Mohand-Said.Hacid@lisi.insa-lyon.fr