Modal logic interpretation of Dempster-Shafer theory: An infinite case.
David HarmanecGeorge J. KlirZhenyuan WangPublished in: Int. J. Approx. Reason. (1996)
Keyphrases
- modal logic
- dempster shafer theory
- temporal logic
- inference rules
- belief functions
- fusion algorithm
- combination rule
- conditional logic
- epistemic logic
- classical logic
- autoepistemic logic
- default logic
- nonmonotonic logics
- explanation based generalization
- dynamic logic
- prime implicates
- situation calculus
- logic programming