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

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F23%3A00578922" target="_blank" >RIV/67985955:_____/23:00578922 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

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

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

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

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

60301 - Philosophy, History and Philosophy of science and technology

Projekt

<a href="/cs/project/GM21-23610M" target="_blank" >GM21-23610M: Logická struktura informačních kanálů</a><br>

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2023

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Proceedings of Machine Learning Research, Volume 215: International Symposium on Imprecise Probability: Theories and Applications,

ISBN

—

ISSN

2640-3498

e-ISSN

2640-3498

Počet stran výsledku

11

Strana od-do

37-47

Název nakladatele

PMLR

Místo vydání

Almerı́a

Místo konání akce

Oviedo

Datum konání akce

11. 7. 2023

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—