Direction de recherche : Bernadette BOUCHON-MEUNIER
Co-encadrement : ROGIER Jean-Luc

Logique de description ALC possibiliste pour les systèmes d'information opérationnels : théorie, algorithme et applications

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

Soutenance : 05/03/2010

Membres du jury :

Rapporteurs :
Mme Marie-Christine Rousset
Mr Salem Benferhat

Examinateurs :
Mme Bernadette Bouchon-Meunier,
Mr Jean-Gabriel Ganascia,
Mlle Marie-jeanne Lesot,
Mr Jean-Luc Rogier,
Mr Olivier Poirel

Publications 2008-2010

• 2010
  • O. Couchariere : “Logique de description ALC possibiliste pour les systèmes d’information opérationnels : théorie, algorithme et applications”, soutenance de thèse, soutenance 05/03/2010, direction de recherche Bouchon-meunier, Bernadette, co-encadrement : Rogier, Jean-Luc (2010)
• 2008
  • M.‑J. Lesot, O. Couchariere, B. Bouchon‑Meunier, J.‑L. Rogier : “Mesure du degré d’incohérence en logique de description possibiliste”, Rencontres Francophones sur la Logique Floue et ses Applications, LFA'08, Lens, France, pp. 328-335, (Cepadues) (2008)
  • O. Couchariere, M.‑J. Lesot, B. Bouchon‑Meunier : “Consistency checking for extended description logics”, Proc. of the 21^st International Workshop on Description Logics (DL 2008), vol. 353, CEUR-WS, Dresden, Germany, (CEUR) (2008)
  • M.‑J. Lesot, O. Couchariere, B. Bouchon‑Meunier, J.‑L. Rogier : “Inconsistency degree computation for possibilistic description logic: an extension of the tableau algorithm”, 27^th North American Fuzzy Information Processing Society Annual Conference (NAFIPS 2008), New York, United States, pp. 1-6, (IEEE) (2008)