AAAI Publications, Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning

Font Size: 
Belief Change Operations: A Short History of Nearly Everything, Told in Dynamic Logic of Propositional Assignments
Andreas Herzig

Last modified: 2014-05-04


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.


belief change; update; revision; dynamic logic; propositional assignment

Full Text: PDF