# Abstract Argumentation / Persuasion / Dynamics

## TL;DR

This paper extends Dung's argumentation frameworks by incorporating persuasion acts, enabling analysis of dynamic interactions among attack, persuasion, and defense, and introduces CTL encoding for enriched admissibility notions.

## Contribution

It introduces a novel extension of Dung's frameworks to include persuasion acts and applies CTL encoding to analyze dynamic argumentation interactions.

## Key findings

- Characterization of admissibility notions in the extended framework
- Enrichment of argumentation frameworks through CTL encoding
- Facilitation of static and dynamic argumentation coordination

## Abstract

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.