Belief Change Operations: A Short History of Nearly Everything, Told in Dynamic Logic of Propositional Assignments.
Andreas HerzigPublished in: KR (2014)
Keyphrases
- belief change
- dynamic logic
- propositional logic
- prime implicates
- classical first order logic
- belief revision
- first order logic
- modal logic
- epistemic states
- belief update
- belief base
- reasoning about actions
- imperative programs
- probability theory
- horn logic
- update operators
- minimal change
- iterated belief revision
- dynamical systems
- temporal logic
- multi agent
- propositional dynamic logic
- belief set
- probabilistic reasoning
- abductive reasoning
- possibilistic logic