Managing inconsistency in partially ordered information : application to dynamic and explainable access control models

Gestion des informations incohérentes et partiellement ordonnées : Application aux modèles de contrôle d'accès dynamiques explicables La gestion des informations contradictoires pose des défis importants en matière de représentation des connaissances et de raisonnement. L'incohérence peut résulter de la fusion d'informations extraites de différentes sources ou de la présence de règles comportant des exceptions. Cependant, le raisonnement à partir de bases de connaissances incohérentes n'est pas trivial, car les contradictions peuvent conduire à des déductions arbitraires. En logique propositionnelle, toute conclusion peut être déduite d'une contradiction. Par conséquent, il est essentiel d'utiliser des mécanismes appropriés de traitement des incohérences pour permettre le raisonnement en présence d'informations incohérentes ou contradictoires.Le problème de gestion des informations contradictoires a été étudié dans plusieurs contextes dans la littérature [1,2,3]. L'un d'entre eux est celui des informations partiellement ordonnées, où certains éléments d'information peuvent avoir des degrés de fiabilité incomparables. En conséquence, il n'est pas possible de décider quel élément d'information doit être sélectionné en présence d'incohérence, ce qui fait du raisonnement une tâche difficile. Peu de méthodes efficaces ont été proposées pour faire face à cette situation spécifique. En outre, le traitement des incompatibilités peut entraîner la perte de certaines conséquences, ce qui fait que certaines réponses aux requêtes sont manquantes. L'objectif de cette thèse est d'étudier et d'étendre les sémantiques tolérantes à l'incohérence. Plus précisément, nous prévoyons de proposer de nouvelles méthodes pour traiter efficacement l'incohérence dans le cas d'informations partiellement ordonnées.Nous prévoyons également d'étudier l'application de ces méthodes pour gérer les conflits dans les modèles de contrôle d'accès. Les modèles de contrôle d'accès, qui sont des moyens très importants de protection des données à caractère personnel, constituent une application de ces méthodes. Dans ce cas, des incohérences peuvent survenir en raison de l'utilisation simultanée de règles de permission et d'interdiction. De nombreux modèles ont été proposés pour gérer ce type de conflits. Cependant, soit ils procèdent à l'ajout d'un grand nombre de contraintes pour éviter les conflits, soit ils nécessitent une assistance humaine pour les résoudre. En outre, ces modèles n'ont pas la capacité de fournir des explications sur les décisions prises. L'objectif de l'application d'une sémantique tolérante à l'incohérence dans ce cas est d'abord d'assurer l'ajout et la modification continus et sûrs de règles dans un modèle, tout en gérant l'incohérence, et ensuite de doter ces modèles de mécanismes d'explicabilité. Finalement, nous proposons d'étendre ces solutions de gestion des politiques de sécurité afin d'intégrer la notion d'explicabilité.Références :[1] Meghyn Bienvenu and Camille Bourgaux. Inconsistency-tolerant querying of description logic knowledge bases. In Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering, volume 9885, pages 156-202. LNCS. Springer, 2016.[2] Jean-François Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Marie-Laure Mugnier, Odile Papini, Swan Rocher, and Karim Tabia. Inconsistency-tolerant query answering: Rationality properties and computational complexity analysis. In European Conference Logics in Artificial Intelligence, JELIA, volume 10021 of LNCS, pages 64-80, 2016.[3] Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi, and Domenico Fabio Savo. Inconsistency-tolerant semantics for description logics. In Web Reasoning and Rule Systems, RR 2010, Bressanone/Brixen, Italy, pages 103-117, 2010.