Describing and Quantifying Contradiction Between Pieces of Evidence via Belnap Dunn Logic and Dempster-Shafer Theory
Abstract
Belnap Dunn logic is a four-valued logic introduced to model reasoning with incomplete or contradictory information. In this article, we show how Dempster-Shafer theory can be used over Belnap Dunn logic in order to formalise reasoning with incomplete and/or contradictory pieces of evidence. First, we discuss how to encode different kinds of evidence, and how to interpret the resulting belief and plausibility functions. Then, we discuss the behaviour of Dempster’s rule in this framework and present a variation of the rule. Finally, we show how to construct credal sets of classical probability measures based on this kind of evidence.
Cite
Text
Bı́lková et al. "Describing and Quantifying Contradiction Between Pieces of Evidence via Belnap Dunn Logic and Dempster-Shafer Theory." Proceedings of the Thirteenth International Symposium on Imprecise Probability: Theories and Applications, 2023.Markdown
[Bı́lková et al. "Describing and Quantifying Contradiction Between Pieces of Evidence via Belnap Dunn Logic and Dempster-Shafer Theory." Proceedings of the Thirteenth International Symposium on Imprecise Probability: Theories and Applications, 2023.](https://mlanthology.org/isipta/2023/blkova2023isipta-describing/)BibTeX
@inproceedings{blkova2023isipta-describing,
title = {{Describing and Quantifying Contradiction Between Pieces of Evidence via Belnap Dunn Logic and Dempster-Shafer Theory}},
author = {Bı́lková, Marta and Frittella, Sabine and Kozhemiachenko, Daniil and Majer, Ondrej and Manoorkar, Krishna},
booktitle = {Proceedings of the Thirteenth International Symposium on Imprecise Probability: Theories and Applications},
year = {2023},
pages = {37-47},
volume = {215},
url = {https://mlanthology.org/isipta/2023/blkova2023isipta-describing/}
}