Describing and Quantifying Contradiction between Pieces of Evidence via Belnap Dunn Logic and Dempster-Shafer Theory - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2023

Describing and Quantifying Contradiction between Pieces of Evidence via Belnap Dunn Logic and Dempster-Shafer Theory

Résumé

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 behavior 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.
Fichier principal
Vignette du fichier
BFKMM2023.pdf (350.01 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Licence : CC BY NC SA - Paternité - Pas d'utilisation commerciale - Partage selon les Conditions Initiales

Dates et versions

hal-04051113 , version 1 (29-03-2023)

Licence

Paternité - Pas d'utilisation commerciale - Partage selon les Conditions Initiales

Identifiants

  • HAL Id : hal-04051113 , version 1

Citer

Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer, Krishna Manoorkar. Describing and Quantifying Contradiction between Pieces of Evidence via Belnap Dunn Logic and Dempster-Shafer Theory. 2023. ⟨hal-04051113⟩
19 Consultations
8 Téléchargements

Partager

Gmail Facebook X LinkedIn More