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

https://hal.archives-ouvertes.fr/hal-02745062
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

File

Ciucci_22162.pdf
Publisher files allowed on an open archive

Identifiers

Citation

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⟩

Share

Metrics

Record views

34

Files downloads

65