Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn logic.
Abilio RodriguesJuliana Bueno-SolerWalter CarnielliPublished in: Synth. (2021)
Keyphrases
- probability theory
- probabilistic logic
- belief functions
- bayesian networks
- logical inference
- probabilistic model
- logical framework
- data driven
- linear time temporal logic
- proof theoretic
- generative model
- logic programming
- uncertain data
- classical logic
- evidential reasoning
- truth values
- probabilistic approaches
- automated reasoning
- empirical evidence
- posterior probability
- set theory
- database