Belief Contraction in Non-classical logics as Hyperintensional Belief Change.
Marlo SouzaRenata WassermannPublished in: KR (2021)
Keyphrases
- belief change
- belief revision
- belief set
- probability theory
- epistemic states
- belief update
- belief base
- propositional logic
- default reasoning
- iterated belief revision
- nonmonotonic reasoning
- prime implicates
- logical framework
- minimal change
- knowledge base
- temporal logic
- classical logic
- agm postulates
- principle of minimal change
- possibilistic logic
- belief state
- theorem proving
- expert systems
- possibility theory
- belief functions
- incomplete information
- special case