Name
Title | ||
|---|---|---|
Explanations of Non-monotonic Inference in Admissibility-Based Abstract Argumentation |
Abstract | ||
|---|---|---|
In this paper, we introduce a formal framework for explaining change of inference in abstract argumentation, in particular in the context of iteratively drawing inferences from a sequence of normal expansions, with a focus on admissible set-based semantics. We then conduct a formal analysis, showing that given an initial argumentation framework and an extension that has been inferred from it, we can guarantee the existence of explanation arguments for the violation of monotony when inferring an extension from a normal expansion of the initial argumentation framework. |
Year | DOI | Venue |
|---|---|---|
2021 | 10.1007/978-3-030-89391-0_12 | LOGIC AND ARGUMENTATION, CLAR 2021 |
Keywords | DocType | Volume |
Formal argumentation, Explainable artificial intelligence, Non-monotonic reasoning | Conference | 13040 |
ISSN | Citations | PageRank |
0302-9743 | 0 | 0.34 |
References | Authors | |
0 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Timotheus Kampik | 1 | 1 | 2.85 |
| Kristijonas Cyras | 2 | 19 | 8.81 |