Qualitative reasoning in a two-layered framework

M Bílková, S Frittella, D Kozhemiachenko… - International Journal of …, 2023 - Elsevier
The reasoning with qualitative uncertainty measures involves comparative statements about
events in terms of their likeliness without necessarily assigning an exact numerical value to …

Describing and quantifying contradiction between pieces of evidence via Belnap Dunn logic and Dempster-Shafer theory

M Bı́lková, S Frittella… - International …, 2023 - proceedings.mlr.press
Belnap Dunn logic is a four-valued logic introduced to model reasoning with incomplete or
contradictory information. In this article, we show how Dempster-Shafer theory can be used …

Two-layered logics for paraconsistent probabilities

M Bílková, S Frittella, D Kozhemiachenko… - … Workshop on Logic …, 2023 - Springer
We discuss two-layered logics formalising reasoning with paraconsistent probabilities that
combine the Łukasiewicz [0, 1]-valued logic with Baaz▵ operator and the Belnap–Dunn …

Two-layered logics for probabilities and belief functions over Belnap--Dunn logic

M Bilkova, S Frittella, D Kozhemiachenko… - arXiv preprint arXiv …, 2024 - arxiv.org
This paper is an extended version of an earlier submission to WoLLIC 2023. We discuss two-
layered logics formalising reasoning with probabilities and belief functions that combine the …

Presumptive Reasoning in a Paraconsistent Setting

S Frittella, D Kozhemiachenko, B Verheij - arXiv preprint arXiv:2303.15276, 2023 - arxiv.org
We explore presumptive reasoning in the paraconsistent case. Specifically, we provide
semantics for non-trivial reasoning with presumptive arguments with contradictory …

Toward Updating Belief Functions over Belnap-Dunn Logic

S Frittella, O Majer, S Nazari - International Conference on Belief …, 2022 - Springer
Abstract and 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 …

[PDF][PDF] Fonctions de croyances interprétées sur la logique de Belnap-Dunn.

M Bílková, S Frittella, D Kozhemiachenko, O Majer… - JIAF, 2022 - hal.science
Dans ce document, nous introduisons les résultats de [4, 3] où nous définissons une
extension de la logique de Belnap–Dunn permettant de raisonner avec des informations …

[PDF][PDF] et Ingénierie des Systèmes Laboratoire d'Informatique Fondamentale d'Orléans

D KOZHEMIACHENKO - benjamin-nguyen.fr
This dissertation is devoted to the study of fuzzy modal logics that formalise (paraconsistent)
reasoning about uncertainty. The understanding of 'uncertain information (data)'here …

[PDF][PDF] Décrire et quantifier la contradiction entre des éléments de preuve via la logique de Belnap-Dunn et la théorie de Dempster-Shafer.

M Bílková, S Frittella, D Kozhemiachenko, O Majer… - JIAF, 2023 - hal.science
Résumé Les fonctions de croyance sont une généralisation des fonctions de probabilité qui
permettent de coder une incertitude sur la probabilité d'un événement en fournissant des …

[PDF][PDF] Two-layered logics for paraconsistent probabilities

D Kozhemiachenko, O Majer - mathstat.dal.ca
We discuss two two-layered logics formalising reasoning with paraconsistent probabilities
that combine the Lukasiewicz [0, 1]-valued logic with Baaz△ operator and the Belnap–Dunn …