All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

Toward Updating Belief Functions over Belnap-Dunn Logic

The result's identifiers

  • Result code in 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>

  • Result on the web

    <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>

Alternative languages

  • Result language

    angličtina

  • Original language name

    Toward Updating Belief Functions over Belnap-Dunn Logic

  • Original language description

    [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.

  • Czech name

  • Czech description

Classification

  • Type

    D - Article in proceedings

  • CEP classification

  • OECD FORD branch

    60301 - Philosophy, History and Philosophy of science and technology

Result continuities

  • Project

  • Continuities

    I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Others

  • Publication year

    2022

  • Confidentiality

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

Data specific for result type

  • Article name in the collection

    Belief Functions: Theory and Applications. BELIEF 2022

  • ISBN

    978-3-031-17800-9

  • ISSN

    0302-9743

  • e-ISSN

    1611-3349

  • Number of pages

    12

  • Pages from-to

    261-272

  • Publisher name

    Springer International Publishing

  • Place of publication

    Cham

  • Event location

    Paris

  • Event date

    Oct 26, 2022

  • Type of event by nationality

    WRD - Celosvětová akce

  • UT code for WoS article

    000874763000024