.png){kind=icon}
返回
Incremental computation for structured argumentation over dynamic DeLP knowledge bases
.png){kind=icon}
PRE
AI
DOI：10.1016/j.artint.2021.103553.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Structured argumentation systems, and their implementation, represent an important research subject in the area of Knowledge Representation and Reasoning. Structured argumentation advances over abstract argumentation frameworks by providing the internal construction of the arguments that are usually defined by a set of (strict and defeasible) rules. By considering the structure of arguments, it becomes possible to analyze reasons for and against a conclusion, and the warrant status of such a claim in the context of a knowledge base represents the main output of a dialectical process. Computing such statuses is a costly process, and any update to the knowledge base could potentially have a huge impact if done naively. In this work, we investigate the case of updates consisting of both additions and removals of pieces of knowledge in the Defeasible Logic Programming (DeLP) framework, first analyzing the complexity of the problem and then identifying conditions under which we can avoid unnecessary computations-central to this is the development of structures (e.g. graphs) to keep track of which results can potentially be affected by a given update. We introduce a technique for the incremental computation of the warrant statuses of conclusions in DeLP knowledge bases that evolve due to the application of (sets of) updates. We present the results of a thorough experimental evaluation showing that our incremental approach yields significantly faster running times in practice, as well as overall fewer recomputations, even in the case of sets of updates performed simultaneously. (C) 2021 Elsevier B.V. All rights reserved.
Keyword:
Structured argumentation
Defeasible logic programming
Dynamic DeLP argumentation
期刊
IF:
13.9
论文数:
6.1K
被引数:
1.9W
机构
引用论文
The genome sequence of the rice blast fungus Magnaporthe grisea稻瘟病菌Magnaporthe grisea的基因组序列.png)
Nature
OAAI
NatureIF0
OAAI分享收藏An oscillating interferometer for wavelength modulation in atomic absorption flame spectrometry
PREAI
分享收藏
查看更多内容