Arbitration: A Commutative Operator for Belief Revision.
Paolo LiberatoreMarco SchaerfPublished in: WOCFAI (1995)
Keyphrases
- belief revision
- revision operators
- propositional logic
- belief change
- update operators
- merging operators
- iterated belief revision
- default reasoning
- nonmonotonic reasoning
- logical properties
- belief base
- belief update
- plausible reasoning
- logical framework
- conditional logic
- belief merging
- minimal change
- knowledge base
- belief state
- temporal logic
- plausible inference
- possibilistic logic
- cost based abduction
- epistemic states
- aggregation operators