A logic with imprecise probabilities and an application to automated reasoning using rewriting techniques.
Inmaculada FortesMaria A. GalánGabriel AguileraAlfredo BurriezaJ. MoronesSixto SánchezPublished in: Fuzzy Sets Syst. (2013)
Keyphrases
- automated reasoning
- imprecise probabilities
- knowledge representation
- theorem proving
- reasoning tasks
- probabilistic reasoning
- theorem prover
- bayesian networks
- knowledge representation and reasoning
- belief functions
- probability theory
- handling uncertainty
- information processing
- multicriteria decision making
- knowledge based systems
- decision support system
- intuitionistic fuzzy sets
- pairwise