Controlled Revision - An algorithmic approach for belief revision.
Dov M. GabbayGabriella PigozziJohn WoodsPublished in: J. Log. Comput. (2003)
Keyphrases
- belief revision
- belief change
- propositional logic
- default reasoning
- revision operators
- nonmonotonic reasoning
- conditional logic
- belief update
- minimal change
- logical properties
- logical framework
- knowledge base
- belief state
- belief base
- epistemic states
- plausible reasoning
- belief merging
- plausible inference
- dynamic aspects
- temporal logic
- cost based abduction