Agenda

Dans le cadre de la réponse aux requêtes médiée par une ontologie, une ontologie (souvent spécifiée à l’aide de logiques de description, ou DL) est utilisée pour enrichir des données incomplètes avec des connaissances du domaine, lesquelles sont prises en compte lors du calcul des réponses aux requêtes. Une question centrale dans ce contexte est de savoir comment procéder lorsque les données sont incohérentes avec l’ontologie, car en logique classique, une théorie incohérente implique toutes les formules ; il est donc nécessaire de recourir à des sémantiques tolérantes à l’incohérence pour obtenir des réponses significatives. Nous examinons trois sémantiques existantes tolérantes à l’incohérence, fondées sur la notion de « réparation », définie comme un sous-ensemble maximal d’inclusion des données cohérentes avec l’ontologie. Ces trois sémantiques peuvent être utilisées conjointement pour identifier des réponses présentant différents niveaux de confiance : celles qui sont valables dans chaque « réparation » (sémantique AR), celles qui sont impliquées par les faits communs à toutes les « réparations » (sémantique IAR), et celles qui sont valables dans au moins une « réparation » (sémantique « brave »). La thèse se concentre sur les sémantiques basées sur les réparations et sur les coûts, qui prennent en compte des informations de préférence reflétant la fiabilité variable des faits et/ou des axiomes, fournies soit par une relation de priorité qualitative entre des faits contradictoires, soit par des poids numériques. 

C‘est dans le cadre de Numerics qu’Adrien Vincent donne ce séminaire, ouvert à tous.

C‘est dans le cadre de Numerics que Pierre Lubin donne ce séminaire, ouvert à tous.

C‘est dans le cadre de Numerics que Cécile Gombert donne ce séminaire, ouvert à tous.

C‘est dans le cadre de Numerics que Clémence Frioux donne ce séminaire, ouvert à tous.

C‘est dans le cadre de Numerics que Yassine Hamoudi donne ce séminaire, ouvert à tous.

C‘est dans le cadre de Numerics que Camille Jeunet Kelway donne ce séminaire, ouvert à tous.

C‘est dans le cadre de Numerics qu’Irénée Regnauld donne ce séminaire, ouvert à tous.

C‘est dans le cadre de Numerics que Camille Castera donne ce séminaire, ouvert à tous.

C‘est dans le cadre de Numerics que Jérôme Cieslak donne ce séminaire, ouvert à tous.