A Fuzzy Modal Logic for Belief Functions.
Lluís GodoPetr HájekFrancesc EstevaPublished in: IJCAI (2001)
Keyphrases
- modal logic
- belief functions
- fuzzy numbers
- evidential reasoning
- dempster shafer
- set valued
- dempster shafer theory
- temporal logic
- inference rules
- uncertain reasoning
- probability theory
- fuzzy sets
- probability function
- fuzzy logic
- classical logic
- evidence theory
- nonmonotonic logics
- epistemic logic
- markov tree
- default logic
- situation calculus
- fuzzy rules
- combination rule
- uncertain information
- neural network
- probability functions
- prime implicates
- model checking
- membership functions