Sébastien Ferré - page
professionnelle
Bienvenu sur ma page web.
Je suis maître de conférence en informatique à
l'Université de Rennes 1
et je mène mes recherches dans l'équipe LIS du
laboratoire Irisa.
Curriculum Vitae
Sujet et
Résumé de thèse
Titre : Systèmes d'information
logiques : un paradigme logico-contextuel pour interroger, naviguer
et apprendre.
Mots-clés : systèmes
d'information, systèmes de gestion de fichiers, bases de
données (relationnelles, objet et déductives), analyse de
concept, interrogation, navigation, représentation des
connaissances, logiques de description,
vues, génie logiciel.
Sujet : De nombreux environnements
informatiques fonctionnent sur la base de structures navigationnelles
figées : système de gestion de fichiers, environnement de
programmation, hypertexte, Web, etc. Ce type d'organisation s'adapte
mal à la variété des utilisateurs, à la
variété des objectifs de chacun d'eux, et à
l'évolution des utilisateurs et de leurs objectifs. Des
propositions plus récentes définissent des structures
mieux adaptées à la diversité des points de vue,
mais elles sont encore souvent soit très
spécialisées (ex. pour le génie logiciel), soit
assez ad-hoc (ex. les systèmes d'accès aux fichiers par
leur contenu).
Nous souhaitons au contraire une structure
d'information qui
- soit peu spécialisée pour
pouvoir être utilisée dans des domaines variés (ex.
le génie logiciel, l'informatique documentaire, ou les serveurs
d'information pour le grand public),
- prenne en compte des informations qui ne
soient pas seulement intrinsèques aux objets
représentés (ex. les circonstances de l'entrée
d'un objet dans le système d'information),
- puisse être mise en oeuvre à
un niveau assez bas d'une architecture de système
(ex. le niveau système de gestion de fichiers) afin d'être
accessible aux applications quelles que soient leurs formes.
Nous proposons d'étudier des structures
navigationnelles qui soient fondées sur les
propriétés des objets terminaux. Elles devront être
navigationnelles pour permettre une exploration progressive d'un
ensemble d'objets, mais
les liens qui supportent la navigation ne seront pas induits par la
représentation des objets. Le contenu des objets terminaux
contribuera
à l'élaboration de propriétés
intrinsèques
de ces objets, mais des propriétés extrinsèques
seront aussi élaborées, spécialement lors de
la création de ces objets. Ce projet comprend un aspect
fondamental
qui doit fournir un modèle formel de ces structures, un aspect
appliqué qui doit explorer les applications envisagées
de ces structures, et un aspect de développement pour mettre
en oeuvre un prototype de système de gestion de fichiers qui
permette de valider les options prises. Les premiers formalismes
à étudier sont d'une part l'analyse de concepts pour la
modélisation des structures navigationnelles, et d'autre part
les logiques de description pour la représentation des
propriétés des objets. Les applications
préférentielles seront le génie logiciel et les
serveurs d'information pour le
grand public (ex. catalogues, guides, annuaires).
Résumé : Les deux
principaux paradigmes de recherche d'information (RI) que sont la
navigation
et l'interrogation sont souvent déconnectés dans les
systèmes existants. Les systèmes hiérarchiques
(ex., systèmes de fichiers, Web) offrent une structure de
navigation
figée qui ne convient pas à tous les utilisateurs et
toutes
les utilisations ; ce qu'il compense par des outils de recherche (ex.,
commande find, moteurs de recherche). Ceux-ci, fondés sur
l'interrogation,
sont plus souples mais sont plus difficiles à utiliser pour les
non-initiés et rendent le contrôle du volume des
réponses
délicat. Il apparaît donc comme nécessaire de
combiner
étroitement navigation et interrogation dans la RI.
Pour réaliser cette combinaison, nous
nous fondons sur l'Analyse de concepts (AC) qui permet de construire
automatiquement, à partir d'une description des objets du
système (ex., fichiers, pages Web), une structure de navigation
appelée «treillis de concepts», où les
concepts jouent à la fois
le rôle de répertoire et de requête. Comme les
descriptions dans l'AC se limitent à des ensembles d'attributs,
nous avons commencé par généraliser l'AC pour
les remplacer par des formules d'une logique arbitraire. Ceci nous
semble
important pour traiter des applications diverses. Les
Systèmesd'informations logiques (SIL) se définissent donc
par la combinaison navigation/interrogation, l'emploi de la logique
(descriptions, requêtes, liens de navigation) et la
généricité.
Sur cette base, nous avons
développé plusieurs mécanismes visant à
faciliter l'expression et la découverte de connaissances. Il est
possible d'exprimer
les connaissances d'un domaine par une terminologie. Un dialogue
homme-machine, fondé sur le treillis de concepts, permet
à l'utilisateur de retrouver des objets (navigation) et de
découvrir des régularités entre les objets
(extraction de connaissances). Un mécanisme
d'apprentissage assiste l'utilisateur dans la classification de ses
objets. Enfin, un prototype a été
développé,
permettant ainsi d'expérimenter ces mécanismes sur des
applications (ex,. références bibliographiques, emails,
recettes). Il est générique dans le sens où il ne
dépend pas de la logique employée pour chaque
application.
Pour faciliter la construction de ces logiques, nous avons
constitué
un jeu de composants logiques qui peuvent être assemblés
à volonté.
Formations
- décembre 2002 : école d'hiver de bioinformatique du
BBSRC à l'université de Leeds, UK
- novembre 2001 : doctoriales de Bretagne à Landerneau
- septembre 2000 : école d'été du GDR
I3 (Information, Intelligence, Interaction) à
l'Université de Marseille
- mars 2000 : Ecole des jeunes chercheurs (EJC) en programmation
à l'ENS de Lyon
Enseignements
- Stage de fin d'études: encadrement de Cyrille
Dufils, élève ingénieur à l'INSA de Lyon,
automne 2003 (4 mois)
- Projet: encadrement de 4 étudiants en fin
d'année de BSc (University of Wales, Aberystwyth), 2003-04
(1h/semaine)
- Prolog: TP pour des étudiants en 2ème
année de BSc (University of Wales, Aberystwyth), automne 2003
(12h)
- Java: TP pour des élèves ingénieurs
(DIIC2, IFSIC),
automne 2001 (24h)
- UNIX: TP pour des étudiants de DESS (DESS CCI,
IFSIC), automne 2001 (8h)
- Programmation fonctionnelle (avec Objective Caml): TP pour des
élèves ingénieurs (INFO3, INSA), printemps 2001 (28h)
- Analyse lexicale, syntaxique et sémantique: TP
pour des élèves ingénieurs (INFO4, INSA), automne
2000 (72h)
- Programmation fonctionnelle (avec Caml Light): TP pour
des élèves ingénieurs (INFO3, INSA), printemps
2000 (28h)
- Langages hors-contexte: TD pour des
élèves ingénieurs (INFO3, INSA), automne 1999 (16h)
Liens
Dernière mise-à-jour :
18/06/2007.