Qualitative uncertainty and dynamics of argumentation through dynamic logic

TL;DR

This paper introduces a logical framework using Dynamic Logic of Propositional Assignments to model and analyze the dynamics and uncertainty in argumentation frameworks, unifying various reasoning tasks.

Contribution

It demonstrates that DL-PA can encode reasoning about uncertainty and dynamics in argumentation frameworks, providing a unified logical approach.

Findings

DL-PA encodes reasoning tasks of existing uncertain argumentation formalisms.

The framework captures dynamic structures like control argumentation frameworks.

It supports refined argumentative communication under uncertainty.

Abstract

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.