A Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics (Preliminary Report).
Faiq Miftakhul FalakhSebastian RudolphKai SauerwaldPublished in: FCR@KI (2021)
Keyphrases
- belief change
- belief base
- belief revision
- belief update
- horn logic
- minimal change
- belief merging
- update operators
- belief set
- revision operators
- propositional logic
- expressive power
- logical properties
- nonmonotonic reasoning
- probability theory
- epistemic states
- modal logic
- default reasoning
- horn contraction
- temporal logic
- possibilistic logic
- classical logic
- iterated belief revision
- model theoretic
- computational properties
- possibility theory
- belief state