Belief Revision From the Point of View of Doxastic Logic.
Krister SegerbergPublished in: Log. J. IGPL (1995)
Keyphrases
- belief revision
- logical framework
- epistemic logic
- sound and complete axiomatization
- conditional logic
- propositional logic
- belief change
- nonmonotonic reasoning
- default reasoning
- modal logic
- possibilistic logic
- logical properties
- temporal logic
- belief update
- logical theories
- belief set
- nonmonotonic logics
- belief merging
- knowledge base
- formal theory
- plausible reasoning
- minimal change
- model checking
- abductive reasoning
- probabilistic logic
- inference rules
- planning under uncertainty
- automated reasoning
- bargaining solution
- belief state
- plausible inference
- cost based abduction