Mutual Belief Revision: Semantics and Computation.
Yi JinMichael ThielscherDongmo ZhangPublished in: AAAI (2007)
Keyphrases
- belief revision
- logical properties
- default reasoning
- conditional logic
- logical framework
- propositional logic
- belief change
- dynamic aspects
- possibilistic logic
- update operators
- sound and complete axiomatization
- nonmonotonic reasoning
- epistemic states
- belief update
- knowledge base
- minimal change
- belief merging
- temporal logic
- plausible inference
- revision operators
- possibility theory
- plausible reasoning
- knowledge representation
- bargaining solution
- nonmonotonic logics
- belief set
- belief state
- operational semantics