A General Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics.
Faiq Miftakhul FalakhSebastian RudolphKai SauerwaldPublished in: CoRR (2021)
Keyphrases
- belief change
- belief revision
- belief update
- minimal change
- belief base
- horn logic
- propositional logic
- update operators
- iterated belief revision
- default reasoning
- belief set
- belief merging
- special case
- logical properties
- revision operators
- probability theory
- horn contraction
- epistemic states
- nonmonotonic reasoning
- knowledge base
- reasoning about actions
- possibilistic logic
- expressive power
- state space