Autor: |
Bílková, Marta, Frittella, Sabine, Kozhemiachenko, Daniil, Majer, Ondrej, Nazari, Sajad |
Rok vydání: |
2022 |
Předmět: |
|
Druh dokumentu: |
Working Paper |
DOI: |
10.1016/j.apal.2023.103338 |
Popis: |
We design an expansion of Belnap--Dunn logic with belief and plausibility functions that allow non-trivial reasoning with inconsistent 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~\cite{FaginHalpernMegiddo1990}. Second, as a two-layered modal logic wherein reasoning with evidence (the outer layer) utilises paraconsistent expansions of \L{}ukasiewicz logic. The second approach is inspired by~\cite{BaldiCintulaNoguera2020}. We prove completeness for both kinds of calculi and show their equivalence by establishing faithful translations in both directions. |
Databáze: |
arXiv |
Externí odkaz: |
|