A Kripke-Lewis semantics for belief update and belief revision.
Giacomo BonannoPublished in: CoRR (2023)
Keyphrases
- belief update
- belief revision
- logical properties
- default reasoning
- update operators
- temporal logic
- belief change
- logical framework
- propositional logic
- possibilistic logic
- epistemic states
- computational properties
- formal theory
- minimal change
- nonmonotonic reasoning
- modal logic
- knowledge base
- belief set
- inference rules
- planning under uncertainty
- desirable properties
- formal semantics
- belief state
- logic programming
- model checking
- model theoretic
- speech acts
- reinforcement learning