.png){kind=icon}
.png){kind=icon}
Return
An Incremental Algorithm for Computing the Grounded Extension of Dynamic Abstract Argumentation Frameworks
.png){kind=icon}
PRE
AI
DOI：10.1007/s10726-019-09627-4.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
Several formalisms have been introduced to model disputes between agents. argumentation is a simple, yet powerful formalism for modeling disputes by abstracting from the internal structure of arguments. Much work has been done to characterize fast algorithms for 'static' argumentation frameworks which are assumed to be fixed, in the sense that they do not change during a dispute. However, argumentation frameworks are highly dynamic in practice. For instance, applications of argumentation for negotiation and persuasion are usually based on protocols where agents state their arguments and attacks one after the other in a dynamic process during which the outcome of the debate evolves. We focus on one of the most popular argumentation semantics, namely the grounded semantics, and deal with the problem of recalculating the extensions of argumentation frameworks after adding or deleting attacks or arguments. In particular, we propose an incremental algorithm for the efficient computation of the grounded semantics, useful in dynamic contexts where argumentation frameworks are continuously updated to consider new information. We report on experiments showing that our incremental algorithm is on average faster than CoQuiAAS, the solver that won the last edition of the international competition on computational models of argumentation for the task of computing the grounded extension of an argumentation framework.
Keywords:
Abstract argumentation
Dynamic argumentation
Grounded semantics
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
IF:
2.5
Papers:
1.3K
Citations:
1.4K