Skip to Main content Skip to Navigation
Conference papers

DALEK: a Tool for Dialectical Explanations in Inconsistent Knowledge Bases

Abdallah Arioua 1, 2 Madalina Croitoru 2 Patrice Buche 1
1 UMR IATE - Ingénierie des Agro-polymères et Technologies Émergentes
2 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
Abstract : In this paper we present a prototype of a framework called dalek (DiALectical Explanation in Knowledge-bases). This framework implements dialectical approaches to explain query answers in inconsistent knowledge bases. The motivation behind the prototype is as follows: given an inconsistent knowledge base represented within Datalog +/-, a semantics for handling inconsistency and a query Q, the goal is to explain why Q is accepted or not accepted under such semantics. The explanation takes a dialogical form (cf. [1,3]).
Keywords : Argumentation Theory Explanation
Document type :
Conference papers
Complete list of metadatas

Cited literature [4 references]  Display  Hide  Download
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01337019
Contributor : Abdallah Arioua <>
Submitted on : Wednesday, June 3, 2020 - 7:07:06 AM
Last modification on : Thursday, July 2, 2020 - 5:24:19 PM

File

Vignette du document
Arioua-CMA-2016-OA_1.pdf
Publisher files allowed on an open archive

Identifiers

Collections

INRAE | CIRAD | MONTPELLIER-SUPAGRO | UNIV-MONTPELLIER | BA | MIPS | LIRMM | GRAPHIK | IATE | INRA | INRIA | CNRS

Citation

Abdallah Arioua, Madalina Croitoru, Patrice Buche. DALEK: a Tool for Dialectical Explanations in Inconsistent Knowledge Bases. COMMA: Computational Models of Argument, Sep 2016, Potsdam, Germany. pp.461-462, ⟨10.3233/978-1-61499-686-6-461⟩. ⟨lirmm-01337019⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

420

Files downloads

5

Contact

Informations

CCSD