Qualitative uncertainty and dynamics of argumentation through dynamic logic - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal of Logic and Computation Année : 2023

Qualitative uncertainty and dynamics of argumentation through dynamic logic

Résumé

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 AFs, as well as for developing more refined forms of argumentative communication under uncertainty.

Dates et versions

hal-03992651 , version 1 (16-02-2023)

Licence

Copyright (Tous droits réservés)

Identifiants

Citer

Antonio Yuste-Ginel, Andreas Herzig. Qualitative uncertainty and dynamics of argumentation through dynamic logic. Journal of Logic and Computation, 2023, ⟨10.1093/logcom/exac098⟩. ⟨hal-03992651⟩
57 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More