Article Dans Une Revue Journal of Artificial Intelligence Research Année : 2025

From Knowledge to Action: Logics of Permitted and Obligatory Announcements

Résumé

We formalize the notions of “permitted and obligatory announcements” in the context of information security, such as privacy policy compliance. In a sender-receiver setting, we define the sender’s permitted and obligatory announcements in terms of the receiver’s ideal epistemic states (i.e., the epistemic states that comply with the given security policies). We propose two logics, LPOA and DLPOA, to reason about permitted and obligatory announcements in static and dynamic contexts, respectively. These two logics are completely axiomatized, and we also study generalizations in which the receiver’s knowledge is characterized by non-S5 logics. Our paper makes two main contributions to the formalization of permitted and obligatory announcements: First, we clarify the interplay between the sender’s permitted and obligatory announcements and the receiver’s knowledge. Second, we distinguish between weakly and strongly permitted announcements.

Fichier principal
Vignette du fichier
JournalArtificailIntelligenceResearch2025.pdf (552.27 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte
Licence

Dates et versions

hal-05435926 , version 1 (31-12-2025)

Licence

Identifiants

Citer

Xu Li, Guillaume Aucher, Dov Gabbay, Réka Markovich. From Knowledge to Action: Logics of Permitted and Obligatory Announcements. Journal of Artificial Intelligence Research, 2025, 82, pp.1629-1672. ⟨10.1613/jair.1.17180⟩. ⟨hal-05435926⟩
54 Consultations
42 Téléchargements

Altmetric

Partager

  • More