Back to Search
Start Over
DALEK: A Tool for Dialectical Explanations in Inconsistent Knowledge Bases
- Source :
- (287)2016; 6. International Conference on Computational Models of Argument (COMMA), Potsdam, DEU, 2016-09-12-2016-09-16, 461-462, 6th International Conference on Computational Models of Argument, COMMA: Computational Models of Argument, COMMA: Computational Models of Argument, Sep 2016, Potsdam, Germany. pp.461-462, ⟨10.3233/978-1-61499-686-6-461⟩, COMMA 2016-6th International Conference on Computational Models of Argument, COMMA 2016-6th International Conference on Computational Models of Argument, Sep 2016, Potsdam, Germany. pp.461-462, ⟨10.3233/978-1-61499-686-6-461⟩
- Publication Year :
- 2016
- Publisher :
- IOS Press, 2016.
-
Abstract
- International audience; 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]).
- Subjects :
- Applications of Argumentation
Explanation and Argumentation Dialogues
Datalog +
analyse sémantique
Argumentation Theory
langage de représentation
Artificial Intelligence
Explanation
base de connaissances
Intelligence artificielle
[INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Subjects
Details
- Language :
- English
- Database :
- OpenAIRE
- Journal :
- (287)2016; 6. International Conference on Computational Models of Argument (COMMA), Potsdam, DEU, 2016-09-12-2016-09-16, 461-462, 6th International Conference on Computational Models of Argument, COMMA: Computational Models of Argument, COMMA: Computational Models of Argument, Sep 2016, Potsdam, Germany. pp.461-462, ⟨10.3233/978-1-61499-686-6-461⟩, COMMA 2016-6th International Conference on Computational Models of Argument, COMMA 2016-6th International Conference on Computational Models of Argument, Sep 2016, Potsdam, Germany. pp.461-462, ⟨10.3233/978-1-61499-686-6-461⟩
- Accession number :
- edsair.dedup.wf.001..88105454033a038a803975cee3458766
- Full Text :
- https://doi.org/10.3233/978-1-61499-686-6-461⟩