Invitation à la soutenance de thèse d'Olivier Couchariere (5 mars 2010)

Bonjour,

J'ai le plaisir de vous inviter à ma soutenance de la thèse intitulée :

"Logique de description ALC possibiliste pour les systèmes d'information
opérationnels : Théorie, Algorithme et Applications ",

qui se déroulera le vendredi 5 mars au LIP6 (Site Passy-Kennedy) à 10h,
salle 549 - 5ème étage :

LIP6 -Site Passy-Kennedy
104 avenue du Président Kennedy
75016 Paris
http://www.lip6.fr/informations/comment.php

Modalités d'accès : Demander un badge visiteur à l'accueil et prévoir une
pièce d'identité.

Vous êtes également invités au pot qui suivra.

========
Résumé
========

Afin de permettre aux Systèmes d'Information Opérationnels (SIO) de gérer
un volume croissant d'informations hétérogènes et incertaines, nous nous
intéressons à la logique de description ALC binaire et nous proposons une
extension de l'algorithme tableau classique au cas possibiliste, nommée
algorithme tableau possibiliste, et dédiée au calcul du degré
d'incohérence d'une base de connaissances possibiliste, avec des
contributions aux niveaux théorique, algorithmique et applicatif.

Au niveau théorique, nous proposons les règles de complétion possibilistes
permettant de réécrire les formules de la base en gérant des degrés de
certitude auxquels elles sont associées, puis nous démontrons leur
correction locale. Nous présentons également les nouvelles conditions
d'ajout des formules générées et les propriétés de l'algorithme proposé en
examinant la transposition au cas possibiliste des propriétés d'adéquation
et de complétude.

Au niveau algorithmique, nous considérons la problématique de la mise en
oeuvre efficace de l'algorithme tableau possibiliste et nous proposons une
procédure d'élagage de l'arbre de complétion déployé lors de son
application, basée sur l'identification d'un sous-ensemble pertinent de
formules à explorer. Après avoir exposé que cette optimisation ne change
pas ses propriétés, nous présentons l'algorithme complet auquel nous
aboutissons ainsi que l'implémentation réalisée.

Au niveau applicatif, nous présentons une approche critique des apports de
l'algorithme tableau possibiliste aux SIO avec trois services
opérationnels et nous illustrons sa pertinence avec deux scénarios, l'un
servant à fusionner des informations élémentaires, l'autre à apporter une
aide à l'interprétation de la situation.

========
Jury
========

Mme Marie-Christine Rousset, Professeur, Université de Grenoble
(Rapporteur)
M. Salem Benferhat, Professeur, Université d'Artois (Rapporteur)
Mme Bernadette Bouchon-Meunier, Université Paris VI, Directrice de thèse
M. Jean-Gabriel Ganascia, Professeur à l'Université Paris VI
(Examinateur)
Mlle Marie-Jeanne Lesot, Maître de Conférence à l'Université Paris VI
(Examinateur)
M. Jean-Luc Rogier, Thales Communications (Examinateur)
M. Olivier Poirel, Onera DTIM (Examinateur)

Cordialement,
Olivier Couchariere