Dynamics and uncertainty are essential features of real-life argumentation, and many recent studies have focused on integrating both aspects into Dung's well-known abstract Argumentation Frameworks (AFs). This paper proposes a combination of the two lines of research through a well-behaved logical tool: Dynamic Logic of Propositional Assignments (DL-PA). Our results show that the main reasoning tasks of virtually all existing formalisms qualitatively representing uncertainty about AFs are encodable in DL-PA. Moreover, the same tool is also useful for capturing dynamic structures, such as control argumentation frameworks, as well as for developing more refined forms of argumentative communication under uncertainty.

翻译：现实论证中的动态性和不确定性是其本质特征，近期众多研究致力于将这两方面整合进Dung经典的抽象论证框架（AFs）中。本文通过一个行为良好的逻辑工具——命题赋值动态逻辑（DL-PA），提出将这两条研究路线相结合。研究结果表明，几乎所有现有形式上表征AFs不确定性的形式化方法中的主要推理任务，均可编码到DL-PA中。此外，该工具同样适用于捕捉动态结构（如控制论证框架），以及在不确定性条件下发展更为精细的论证交流形式。