Toward Updating Belief Functions over Belnap-Dunn Logic

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F22%3A00566916" target="_blank" >RIV/67985955:_____/22:00566916 - isvavai.cz</a>

Výsledek na webu

<a href="https://doi.org/10.1007/978-3-031-17801-6_25" target="_blank" >https://doi.org/10.1007/978-3-031-17801-6_25</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-031-17801-6_25" target="_blank" >10.1007/978-3-031-17801-6_25</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Toward Updating Belief Functions over Belnap-Dunn Logic

Popis výsledku v původním jazyce

[3] and [7] generalize the notion of probability measures and belief functions to Belnap-Dunn (BD) logic, respectively. This work aims at providing an alternative way to treat contradictory information by relying on a logic that was introduced to reason about incomplete and contradictory information rather than on classical logic. In this article, we study how to update belief functions over BD logic with new pieces of information. We present a first approach via a frame semantics of BD logic. This frame semantics relying on sets, we can use Bayesian update and Dempster-Shafer combination rule over powerset algebras to define their corresponding updates within the framework of BD logic.

Název v anglickém jazyce

Toward Updating Belief Functions over Belnap-Dunn Logic

Popis výsledku anglicky

[3] and [7] generalize the notion of probability measures and belief functions to Belnap-Dunn (BD) logic, respectively. This work aims at providing an alternative way to treat contradictory information by relying on a logic that was introduced to reason about incomplete and contradictory information rather than on classical logic. In this article, we study how to update belief functions over BD logic with new pieces of information. We present a first approach via a frame semantics of BD logic. This frame semantics relying on sets, we can use Bayesian update and Dempster-Shafer combination rule over powerset algebras to define their corresponding updates within the framework of BD logic.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

60301 - Philosophy, History and Philosophy of science and technology

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2022

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

Belief Functions: Theory and Applications. BELIEF 2022

ISBN

978-3-031-17800-9

ISSN

0302-9743

e-ISSN

1611-3349

Počet stran výsledku

12

Strana od-do

261-272

Název nakladatele

Springer International Publishing

Místo vydání

Cham

Místo konání akce

Paris

Datum konání akce

26. 10. 2022

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

WRD - Celosvětová akce

Kód UT WoS článku

000874763000024