On Distances Between KD45n Kripke Models and Their Use for Belief Revision.
Thomas CaridroitSébastien KoniecznyTiago de LimaPierre MarquisPublished in: ECAI (2016)
Keyphrases
- belief revision
- kripke models
- belief change
- propositional logic
- modal logic
- default reasoning
- temporal logic
- nonmonotonic reasoning
- logical properties
- belief update
- possibilistic logic
- knowledge base
- belief merging
- minimal change
- conditional logic
- plausible reasoning
- belief state
- dynamic aspects
- cost based abduction
- epistemic states
- action theories
- belief set
- possibility theory
- plausible inference
- sufficient conditions