Abstract Argumentation / Persuasion / Dynamics
This work addresses the coordination of static and dynamic argumentation for researchers in computational argumentation, though it appears incremental as it builds on existing frameworks.
The paper tackles the problem of integrating persuasion dynamics into abstract argumentation frameworks by extending Dung's frameworks with persuasion acts and interactions among attack, persuasion, and defence, resulting in a characterization of admissibilities and an enrichment through CTL encoding to import known theoretical results.
The act of persuasion, a key component in rhetoric argumentation, may be viewed as a dynamics modifier. We extend Dung's frameworks with acts of persuasion among agents, and consider interactions among attack, persuasion and defence that have been largely unheeded so far. We characterise basic notions of admissibilities in this framework, and show a way of enriching them through, effectively, CTL (computation tree logic) encoding, which also permits importation of the theoretical results known to the logic into our argumentation frameworks. Our aim is to complement the growing interest in coordination of static and dynamic argumentation.