GroLog Seminar - Sabine Frittella, INSA Centre Val de Loire

TITLE: Non-standard probabilities and belief functions over Belnap Dunn logic

ABSTRACT:

Belnap Dunn logic is a four-valued logic introduced in order to reason with incomplete and/or inconsistent information. It relies on the idea that pieces of evidence supporting a statement and its negation can be independent. Non-standard probabilities were proposed in [1] to generalize the notion of probabilities over formulas of Belnap Dunn logic. In [2], we continue this line of research and study the implications of using mass functions, belief functions and plausibility functions to formalize reasoning with incomplete/contradictory evidence within the framework of Belnap Dunn logic.

[1] D. Klein, O. Majer, and S. Rafiee Rad. Probabilities with gaps and gluts. Journal of Philosophical Logic, 50(5):1107–1141, October 2021

[2] M. Bílková, S. Frittella, D. Kozhemiachenko, O. Majer, and S. Nazari. Reasoning with belief functions over Belnap--Dunn logic.