A Fuzzy Modal Logic for Belief Functions.
Lluís GodoPetr HájekFrancesc EstevaPublished in: Fundam. Informaticae (2003)
Keyphrases
- modal logic
- belief functions
- fuzzy numbers
- evidential reasoning
- dempster shafer
- set valued
- temporal logic
- dempster shafer theory
- inference rules
- probability function
- fuzzy sets
- uncertain reasoning
- uncertain information
- combination rule
- markov tree
- probability theory
- nonmonotonic logics
- epistemic logic
- classical logic
- fuzzy logic
- membership functions
- neural network
- prime implicates
- explanation based generalization
- general theory
- dynamic logic
- autoepistemic logic
- conditional logic
- evidence theory
- default logic
- fuzzy rules
- model checking
- pattern recognition