Počet záznamů: 1
Reasoning with belief functions over Belnap–Dunn logic
- 1.
SYSNO ASEP 0582922 Druh ASEP J - Článek v odborném periodiku Zařazení RIV Záznam nebyl označen do RIV Poddruh J Ostatní články Název Reasoning with belief functions over Belnap–Dunn logic Tvůrce(i) Bílková, Marta (UIVT-O) SAI, RID, ORCID
Frittella, S. (FR)
Kozhemiachenko, D. (FR)
Majer, Ondrej (UIVT-O) RID, ORCID, SAI
Nazari, S. (FR)Celkový počet autorů 5 Číslo článku 103338 Zdroj.dok. Annals of Pure and Applied Logic
Online July 2023 (2024)Jazyk dok. eng - angličtina Klíč. slova Belief functions ; Belnap–Dunn logic ; Two-layered modal logics ; Paraconsistent logics ; Łukasiewicz logic CEP GA22-01137S GA ČR - Grantová agentura ČR Způsob publikování Omezený přístup Institucionální podpora UIVT-O - RVO:67985807 DOI 10.1016/j.apal.2023.103338 Anotace We design an expansion of Belnap–Dunn logic with belief and plausibility functions that allows non-trivial reasoning with contradictory and incomplete probabilistic information. We also formalise reasoning with non-standard probabilities and belief functions in two ways. First, using a calculus of linear inequalities, akin to the one presented in [23]. Second, as a two-layered modal logic wherein reasoning with evidence (the outer layer) utilises paraconsistent expansions of Łukasiewicz logic. The second approach is inspired by [3]. We prove completeness for both kinds of calculi and show their equivalence by establishing faithful translations in both directions. Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2025 Elektronická adresa https://doi.org/10.1016/j.apal.2023.103338
Počet záznamů: 1