Belief change operations: a short history of nearly everything, told in dynamic logic of propositional assignments - Archive ouverte HAL Access content directly
Conference Papers Year : 2014

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

Abstract

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
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

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

Cite

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⟩
36 View
13 Download

Share

Gmail Facebook X LinkedIn More