Dempster-Shafer theory framed in modal logic.
Elena TsiporkovaVeselka BoevaBernard De BaetsPublished in: Int. J. Approx. Reason. (1999)
Keyphrases
- modal logic
- dempster shafer theory
- belief functions
- temporal logic
- combination rule
- inference rules
- fusion algorithm
- epistemic logic
- conditional logic
- dempster shafer
- situation calculus
- classical logic
- nonmonotonic logics
- information fusion
- default logic
- dynamic logic
- explanation based generalization
- description logic alc
- autoepistemic logic
- data fusion
- model checking
- image processing
- decision making
- artificial intelligence
- machine learning
- neural network