Belief Fusion and Revision: An Overview Based on Epistemic Logic Semantics.
Churn-Jung LiauPublished in: J. Appl. Non Class. Logics (2004)
Keyphrases
- epistemic logic
- belief revision
- logical framework
- modal logic
- model checking
- dynamic epistemic logic
- multi agent systems
- formal semantics
- belief change
- temporal epistemic
- inference rules
- epistemic states
- modal operators
- multi faceted
- temporal logic
- mathematical theory
- computation tree logic
- possibilistic logic
- belief base
- knowledge base
- model checker
- minimal change
- cooperative