A Unified View of Belief Revision and Update.
Alvaro del ValYoav ShohamPublished in: J. Log. Comput. (1994)
Keyphrases
- belief revision
- belief update
- minimal change
- update operators
- belief change
- default reasoning
- propositional logic
- nonmonotonic reasoning
- logical properties
- revision operators
- conditional logic
- cost based abduction
- knowledge base
- logical framework
- temporal logic
- plausible inference
- belief state
- possibilistic logic
- formal theory
- plausible reasoning
- action theories
- dynamic aspects
- belief set
- bargaining solution