Skip to Main content Skip to Navigation
Theses

Formalizing and Studying Dialectical Explanations in Inconsistent Knowledge Bases

Abdallah Arioua 1, 2
1 GRAPHIK - Graphs for Inferences on Knowledge
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, CRISAM - Inria Sophia Antipolis - Méditerranée
Résumé : Les bases de connaissances sont des bases de données déductives où la logique est utilisée pour représenter des connaissances de domaine sur des données existantes. Dans le cadre des règles existentielles, une base de connaissances est composée de deux couches : la couche de données qui représentent les connaissances factuelle et la couche ontologique qui incorpore des règles de déduction et des contraintes négatives. L’interrogation de données à l’aide des ontologies est la fonction de raisonnement principale dans ce contexte. Comme dans la logique classique, les contradictions posent un problème à l’interrogation car « d'une contradiction, on peut déduire ce qu'on veut (ex falso quodlibet) ». Récemment, des approches d’interrogation tolérantes aux incohérences ont été proposées pour faire face à ce problème dans le cadre des règles existentielles. Elles déploient des stratégies dites de réparation pour restaurer la cohérence. Cependant, ces approches sont parfois inintelligibles et peu intuitives pour l'utilisateur car elles mettent souvent en œuvre des stratégies de réparation complexes. Ce manque de compréhension peut réduire l’utilisabilité de ces approches car elles réduisent la confiance entre l'utilisateur et les systèmes qui les utilisent. Par conséquent, la problématique de recherche que nous considérons est comment rendre intelligible à l’utilisateur l’interrogation tolérantes aux incohérences. Pour répondre à cette question de recherche, nous proposons d’utiliser deux formes d’explication pour faciliter la compréhension des réponses retournées par une interrogation tolérante aux incohérences. La première est dite de niveau méta et la seconde de niveau objet. Ces deux types d’explication prennent la forme d'un dialogue entre l'utilisateur et le raisonneur au sujet des déductions retournées comme réponses à une requête donnée. Nous étudions ces explications dans le double cadre de l'argumentation fondée sur la logique et de la dialectique formelle, comme nous étudions leurs propriétés et leurs impacts sur les utilisateurs en termes de compréhension des résultats.
Document type :
Theses
Complete list of metadatas

Cited literature [140 references]  Display  Hide  Download

https://hal-lirmm.ccsd.cnrs.fr/tel-01448733
Contributor : Abdallah Arioua <>
Submitted on : Monday, January 30, 2017 - 10:53:45 AM
Last modification on : Thursday, July 2, 2020 - 2:29:52 PM

Licence


Copyright

Identifiers

  • HAL Id : tel-01448733, version 2

Citation

Abdallah Arioua. Formalizing and Studying Dialectical Explanations in Inconsistent Knowledge Bases. Artificial Intelligence [cs.AI]. Université de Montpellier, 2016. English. ⟨tel-01448733⟩

Share

Metrics

Record views

693

Files downloads

691