A Modal Logic for Reasoning about Possibilistic Belief Fusion.
Churn-Jung LiauTuan-Fang FanPublished in: IJCAI (2005)
Keyphrases
- modal operators
- modal logic
- temporal logic
- classical logic
- dynamic logic
- possibilistic logic
- inference rules
- epistemic logic
- data fusion
- conditional logic
- possibility theory
- default logic
- nonmonotonic logics
- fusion method
- situation calculus
- multi sensor
- description logics
- domain knowledge
- prime implicates
- sequent calculus
- natural language
- autoepistemic logic
- expected utility
- fuzzy numbers