Toward Updating Belief Functions over Belnap-Dunn Logic

0566916 - FLÚ 2023 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Frittella, S. - Majer, Ondrej - Nazari, S.
Toward Updating Belief Functions over Belnap-Dunn Logic.
Belief Functions: Theory and Applications. BELIEF 2022. Cham: Springer International Publishing, 2022 - (Le Hégarat-Mascle, S.; Bloch, I.; Aldea, E.), s. 261-272. Lecture Notes in Computer Science, 13506. ISBN 978-3-031-17800-9. ISSN 0302-9743. E-ISSN 1611-3349.
[International Conference on Belief Functions 2022 /7./. Paris (FR), 26.10.2022-28.10.2022]
Institucionální podpora: RVO:67985955
Klíčová slova: Bayesian update * Belief functions * Belnap-Dunn logic * Dempster-Shafer combination rule
Obor OECD: Philosophy, History and Philosophy of science and technology
https://doi.org/10.1007/978-3-031-17801-6_25

[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.
Trvalý link: https://hdl.handle.net/11104/0338405