 |
HAL-LIRMM - Open Archive |  |
Conference papers
DALEK: a Tool for Dialectical Explanations in Inconsistent Knowledge Bases
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
Cited literature [4 references]
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01337019
Contributor : Abdallah Arioua Connect in order to contact the contributor
Submitted on : Wednesday, June 3, 2020 - 7:07:06 AM
Last modification on : Friday, October 22, 2021 - 3:07:24 PM
Long-term archiving on: : Friday, December 4, 2020 - 6:16:14 PM
Contributor : Abdallah Arioua Connect in order to contact the contributor
Submitted on : Wednesday, June 3, 2020 - 7:07:06 AM
Last modification on : Friday, October 22, 2021 - 3:07:24 PM
Long-term archiving on: : Friday, December 4, 2020 - 6:16:14 PM
File
Arioua-CMA-2016-OA_1.pdf
Publisher files allowed on an open archive