Soutenance de thèse de Yacine Izza - Informatique ubiquitaire : techniques du curage d'informations perverties
Le 7 décembre 2018, à 10h30, salle des thèses de la faculté Jean Perrin.
Résumé :
Cette thèse étudie une approche possible de l’intelligence artificielle pour la détection et le curage d’informations perverties dans les bases de connaissances des objets et composants intelligents en informatique ubiquitaire. Cette approche est traitée d’un point de vue pratique dans le cadre du formalisme SAT; il s’agit donc de mettre en œuvre des techniques de filtrage d’incohérences dans des bases contradictoires. Plusieurs contributions sont apportées dans cette thèse. Premièrement, nous avons travaillé sur l’extraction d’un ensemble maximal d’informations qui soit cohérent avec une série de contextes hypothétiques. Nous avons proposé une approche incrémentale pour le calcul d’un tel ensemble (AC-MSS). Deuxièmement, nous nous sommes intéressés à la tâche d’énumération des ensembles maximaux satisfaisables (MSS) ou leurs complémentaires les ensembles minimaux rectificatifs (MCS) d’une instance CNF insatisfaisable. Dans cette contribution, nous avons introduit une technique qui améliore les performances des meilleures approches pour l’énumération des MSS/MCS. Cette méthode implémente le paradigme de rotation de modèle qui permet de calculer des ensembles de MCS de manière heuristique et efficace.
Finalement, nous avons étudié une notion de consensus permettant réconcilier des sources d’informations. Cette forme de consensus peut être caractérisée par différents critères de préférence, comme le critère de maximalité. Une approche incrémentale de calcul d’un consensus maximal par rapport à l’inclusion ensembliste a été proposée. Nous avons également introduit et étudié la concept de consensus admissible qui raffine la définition initialement proposée du concept de consensus.