The Modal Logic of Bayesian Belief Revision.
William BrownZalán GyenisMiklós RédeiPublished in: J. Philos. Log. (2019)
Keyphrases
- modal logic
- belief revision
- temporal logic
- conditional logic
- belief change
- propositional logic
- default reasoning
- nonmonotonic reasoning
- decision procedures
- prime implicates
- inference rules
- belief update
- classical logic
- logical properties
- situation calculus
- logical framework
- minimal change
- knowledge base
- plausible reasoning
- belief merging
- nonmonotonic logics
- possibilistic logic
- default logic
- possibility theory
- plausible inference
- autoepistemic logic
- sound and complete axiomatization
- belief state
- decision theory
- maximum entropy
- model checking
- knowledge representation
- reinforcement learning
- bayesian networks