OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

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

Ciucci, Davide and Dubois, Didier A two-tiered propositional framework for handling multi source inconsistent information. (2017) In: 14th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU), 10 July 2017 - 14 July 2017 (Lugano, Switzerland).

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: https://doi.org/10.1007/978-3-319-61581-3_36


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.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to Springer editor. This papers appears in volume 10369 of Lecture Notes in Computer Science ISSN : 0302-9743 ISBN: 978-3-319-61581-3. The original PDF is available at: https://link.springer.com/book/10.1007/978-3-319-61581-3_36
HAL Id:hal-02745062
Audience (conference):National conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Other partners > Università degli Studi di Milano-Bicocca - BICOCCA (ITALY)
Laboratory name:
Deposited On:19 May 2020 14:13

Repository Staff Only: item control page