Axiom P and Reliable Belief Change Operator in belief revision.
Maonian WuMingyi ZhangPublished in: IC-AI (2008)
Keyphrases
- belief change
- belief revision
- revision operators
- iterated belief revision
- update operators
- default reasoning
- propositional logic
- belief base
- belief update
- merging operators
- nonmonotonic reasoning
- minimal change
- prime implicates
- logical properties
- knowledge base
- logical framework
- probability theory
- conditional logic
- belief state
- plausible reasoning
- possibilistic logic
- inference rules
- belief set
- rationality postulates