.png){kind=icon}
.png){kind=icon}
Return
Logic-based argumentation with existential rules
.png){kind=icon}
OA
AI
DOI：10.1016/j.ijar.2017.07.004.png)
.png){kind=icon}
.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
In this paper we are interested in the use of argumentation for handling inconsistency in inconsistent knowledge bases expressed with existential rules. We propose an instantiation of an argumentation framework and demonstrate it is coherent, relatively grounded and non-trivial, therefore satisfying the rationality postulates from the literature. We demonstrate how argumentation semantics relate to the state of the art of handling inconsistency in this setting, allowing us to propose the first dialectical proof in the literature for a given semantics. (C) 2017 Elsevier Inc. All rights reserved.
Keywords:
Logic-based argumentation
Existential rules
Universal acceptance
Dialectical proof theory
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
IF:
3
Papers:
2.9K
Citations:
5.1K
Organization
View more organizations