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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Assaghir, Z., Napoli, A., Kaytoue, M., Dubois, D., Prade, H.: Numerical information fusion: lattice of answers with supporting arguments. In: Proceedings ICTAI 2011, Boca Raton, FL, USA, pp. 621–628 (2011)
Avron, A., Ben-Naim, J., Konikowska, B.: Processing Information from a set of sources. In: Makinson, D., Malinowski, J., Wansing, H. (eds.) Towards Mathematical Philosophy. Trends in Logic, vol. 28, pp. 165–186. Springer, Netherlands (2009)
Banerjee, M., Dubois, D.: A simple logic for reasoning about incomplete knowledge. Int. J. Approximate Reasoning 55, 639–653 (2014)
Belnap, N.D.: A useful four-valued logic. In: Dunn, J.M., Epstein, G. (eds.) Modern Uses of Multiple-Valued Logic, pp. 8–37. D. Reidel, Dordrecht (1977)
Besnard, P., Hunter, A. (eds.): Reasoning with Actual and Potential Contradictions. The Handbook of Defeasible Reasoning and Uncertain Information, vol. 2. Kluwer, Dordrecht (1998)
Carnielli, W., Lima-Marques, M.: Society semantics for multiple-valued logics. In: Advances in Contemporary Logic and Computer Science. Contemporary Mathematics, vol. 235, pp. 33–52. American Mathematical Society (1999)
Chellas, B.F.: Modal Logic: An Introduction. Cambridge University Press, Cambridge (1980)
Ciucci, D., Dubois, D.: A modal theorem-preserving translation of a class of three-valued logics of incomplete information. J. Appl. Non Classical Logics 23(4), 321–352 (2013)
Ciucci, D., Dubois, D.: From possibility theory to paraconsistency. In: Beziau, J.Y., Chakraborty, M., Dutta, S. (eds.) New Directions in Paraconsistent Logic. Springer Proceedings in Mathematics & Statistics, vol. 152. Springer, New Delhi (2015)
Dubois, D.: Reasoning about ignorance and contradiction: many-valued logics versus epistemic logic. Soft Comput. 16(11), 1817–1831 (2012)
Dubois, D., Prade, H.: Possibility theory and its applications: where do we stand? In: Kacprzyk, J., Pedrycz, W. (eds.) Handbook of Computational Intelligence, pp. 31–60. Springer, Heidelberg (2015)
Dubois, D., Prade, H., Rico, A.: Representing qualitative capacities as families of possibility measures. Int. J. Approximate Reasoning 58, 3–24 (2015)
Dunn, J.M.: Intuitive semantics for first-degree entailment and coupled trees. Philos. Stud. 29, 149–168 (1976)
Font, J.M.: Belnap’s four-valued logic and De Morgan lattices. Logic J. IGPL 5(3), 1–29 (1997)
Kyburg, H.E., Teng, C.-M.: The logic of risky knowledge, reprised. Int. J. Approximate Reasoning 53(3), 274–285 (2012)
Priest, G.: The logic of paradox. J. Philos. Logic 8, 219–241 (1979)
Pynko, A.P.: Characterizing Belnap’s logic via De Morgan’s laws. Math. Log. Q. 41, 442–454 (1995)
Tanaka, K., Berto, F., Mares, E., Paoli, F. (eds.): Paraconsistency: Logic and Applications, pp. 1–12. Springer, Heidelberg (2013)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Ciucci, D., Dubois, D. (2017). A Two-Tiered Propositional Framework for Handling Multisource Inconsistent Information. In: Antonucci, A., Cholvy, L., Papini, O. (eds) Symbolic and Quantitative Approaches to Reasoning with Uncertainty. ECSQARU 2017. Lecture Notes in Computer Science(), vol 10369. Springer, Cham. https://doi.org/10.1007/978-3-319-61581-3_36
Download citation
DOI: https://doi.org/10.1007/978-3-319-61581-3_36
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-61580-6
Online ISBN: 978-3-319-61581-3
eBook Packages: Computer ScienceComputer Science (R0)