Combination and Updating for Belief Revision in the Theory of Evidence.
Makoto ItohToshiyuki InagakiPublished in: SCAI (1997)
Keyphrases
- belief revision
- plausible inference
- plausible reasoning
- logical properties
- nonmonotonic reasoning
- belief change
- logical framework
- propositional logic
- default reasoning
- belief update
- minimal change
- iterated belief revision
- belief updating
- temporal logic
- knowledge base
- revision operators
- belief functions
- dynamic aspects
- formal theory
- belief merging
- possibilistic logic
- cost based abduction