Skip to Main content Skip to Navigation
Conference papers

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

Abstract : 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.
Complete list of metadatas

Cited literature [18 references]  Display  Hide  Download
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Wednesday, June 3, 2020 - 8:13:03 AM
Last modification on : Tuesday, January 26, 2021 - 4:14:02 PM
Long-term archiving on: : Friday, December 4, 2020 - 5:23:50 PM


Publisher files allowed on an open archive



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⟩



Record views


Files downloads