DALEK: A Tool for Dialectical Explanations in Inconsistent Knowledge Bases
Abdallah Arioua, Madalina Croitoru, Patrice Buche · Frontiers in artificial intelligence and applications · 2016
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 𝒬, the goal is to explain why 𝒬 is accepted or not accepted under such semantics. The explanation takes a dialogical form (cf. [1,3]).