Belief change operations: a short history of nearly everything, told in dynamic logic of propositional assignments - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Belief change operations: a short history of nearly everything, told in dynamic logic of propositional assignments

Résumé

We examine several belief change operations in the light of Dynamic Logic of Propositional Assignments DL-PA. We show that we can encode in a systematic way update operations (such as Winslett’s ‘Possible Models Approach’) and revision operations (such as Dalal’s) as particular DL-PA programs. Every DL-PA formula being equivalent to a boolean formula, we obtain syntactical counterparts for all these belief change operations.
Fichier principal
Vignette du fichier
Herzig_12957.pdf (244.06 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04081301 , version 1 (25-04-2023)

Identifiants

  • HAL Id : hal-04081301 , version 1
  • OATAO : 12957

Citer

Andreas Herzig. Belief change operations: a short history of nearly everything, told in dynamic logic of propositional assignments. International Conference on Principles of Knowledge Representation and Reasoning (KR 2014), Jul 2014, Vienne, Austria. pp.141-150. ⟨hal-04081301⟩
33 Consultations
11 Téléchargements

Partager

Gmail Facebook X LinkedIn More