Sabine Frittella
INSA Centre Val de Loire / LIFO
Wednesday March 12th, 2025, 14:00
link BBB
Amphitheatre F107, Montbonnot
entrée libre
Abstract
First, we introduce Belnap Dunn logic, a paracomplete and paraconsistent propositional logic, weaker than classical proposition logic and that allows to reason about incomplete and contradictory information. Then, we discuss paraconsistent (imprecise) probabilities over Belnap Dunn logic, discuss their interpretation and compare them to classical probabilities.
Relevant paper
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer, and Sajad Nazari. Reasoning with belief functions over Belnap–Dunn logic. Annals of Pure and Applied Logic, Volume 175, Issue 9, 2024, page 103338. arXiv:2203.01060 [doi:10.1016/j.apal.2023.103338]
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer, and Krishna Manoorkar. Describing and Quantifying Contradiction between Pieces of Evidence via Belnap Dunn Logic and Dempster-Shafer Theory. In International Symposium on Imprecise Probability: Theories and Applications, ISIPTA 2023 13, 11-14 July, Oviedo, Spain, 2023. https://isipta23.sipta.org/wp-content/uploads/2023/06/bilkova23a.pdf.
Bio
Sabine Frittella is Maîtresse de Conférences HDR at INSA CVL (Bourges). Her research focuses on knowledge representation and reasoning under uncertainty using (non-classical) logics and probabilities.