A two-tiered propositional framework for handling multi source inconsistent information - Université Toulouse 1 Capitole Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

A two-tiered propositional framework for handling multi source inconsistent information

Résumé

This paper proposes a conceptually simple but expressive framework for handling propositional information stemming from several sources, namely a two-tiered propositional logic augmented with classical modal axioms (BC-logic), a fragment of the non-normal modal logic EMN, whose semantics is expressed in terms of two-valued monotonic set-functions called Boolean capacities. We present a theorem-preserving translation of Belnap logic in this setting. As special cases, we can recover previous translations of three-valued logics such as Kleene and Priest logics. Our translation bridges the gap between Belnap logic, epistemic logic, and theories of uncertainty like possibility theory or belief functions, and paves the way to a unified approach to various inconsistency handling methods.
Fichier principal
Vignette du fichier
Ciucci_22162.pdf (261.62 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

hal-02745062 , version 1 (03-06-2020)

Identifiants

Citer

Davide Ciucci, Didier Dubois. A two-tiered propositional framework for handling multi source inconsistent information. 14th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU), Jul 2017, Lugano, Switzerland. pp.398-408, ⟨10.1007/978-3-319-61581-3_36⟩. ⟨hal-02745062⟩
43 Consultations
48 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More