DeepAI AI Chat
Log In Sign Up

Qualitative uncertainty and dynamics of argumentation through dynamic logic

by   Antonio Yuste-Ginel, et al.

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.


page 1

page 2

page 3

page 4


Abstract Argumentation / Persuasion / Dynamics

The act of persuasion, a key component in rhetoric argumentation, may be...

Possible Controllability of Control Argumentation Frameworks – Extended Version

The recent Control Argumentation Framework (CAF) is a generalization of ...

Tableaux for Dynamic Logic of Propositional Assignments

The Dynamic Logic for Propositional Assignments (DL-PA) has recently bee...

A Logic Programming Framework for Possibilistic Argumentation with Vague Knowledge

Defeasible argumentation frameworks have evolved to become a sound setti...

Analysis of Dialogical Argumentation via Finite State Machines

Dialogical argumentation is an important cognitive activity by which age...

A Note on Rich Incomplete Argumentation Frameworks

Recently, qualitative uncertainty in abstract argumentation has received...

Trichotomic Argumentation Representation

The Aristotelian trichotomy distinguishes three aspects of argumentation...