Abstract
In this paper we consider the probability logic over Łukasiewicz logic with rational truth-constants, denoted FP(RPL), and we explore a possible approach to reason from inconsistent FP(RPL) theories in a non-trivial way. It basically consists of suitably weakening the formulas in an inconsistent theory T, depending on the degree of inconsistency of T. We show that such a logical approach is in accordance with other proposals in the literature based on distance-based and violation-based inconsistency measures.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
Although we are using the same symbols \(\wedge , \lnot , \vee , \rightarrow \) as in Łukasiewicz logic to denote the conjunction, negation, disjunction and implication, the context will help in avoiding any confusion. In particular classical logic connectives will appear only under the scope of the operator P, see below.
- 2.
An equivalent formulation of (FP3) is \(P(\varphi \vee \psi ) \equiv P\varphi \oplus (P\psi \ominus P(\varphi \wedge \psi ))\).
References
Baldi, P., Cintula, P., Noguera, C.: Classical and fuzzy two-layered modal logics for uncertainty: translations and proof-theory. Int. J. Comput. Intell. Syst. 13(1), 988–1001 (2020)
Bertossi, L., Hunter, A., Schaub, T. (eds.): Inconsistency Tolerance. Lecture Notes in Computer Science, vol. 3300. Springer, Heidelberg (2005). https://doi.org/10.1007/b104925
Bueno-Soler, J., Carnielli, W.: Paraconsistent Probabilities: consistency, contradictions and Bayes’ theorem. Entropy 18(9), 325 (2016)
Carnielli, W., Coniglio, M.E., Marcos, J.: Logics of formal inconsistency. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic. Handbook of Philosophical Logic, vol. 14, pp. 1–93. Springer, Dordrecht (2007). https://doi.org/10.1007/978-1-4020-6324-4_1
Cignoli, R., D’Ottaviano, I.M.L., Mundici, D.: Algebraic Foundations of Many-valued Reasoning. Kluwer, Dordrecht (2000)
Cintula, P., Hájek, P., Noguera, C., Fermüller, C. (eds.): Handbook of Mathematical Fuzzy Logic - volumes 1, 2 and 3. Studies in Logic, Mathematical Logic and Foundations, vol. 37, 38, 58. College Publications, London (2011, 2016)
Cintula, P., Noguera, C.: Modal logics of uncertainty with two-layer syntax: a general completeness theorem. In: Kohlenbach, U., Barceló, P., de Queiroz, R. (eds.) WoLLIC 2014. LNCS, vol. 8652, pp. 124–136. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-662-44145-9_9
De Bona, G., Finger, M.: Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation. Artif. Intell. 227, 140–164 (2015)
De Bona, G., Finger, M., Potyka, N., Thimm, M.: Inconsistency measurement in probabilistic logic. In: Grant, J., Martinez, M.V. (eds.) Measuring Inconsistency in Information. Studies in Logic, vol. 73, pp. 235–269. College Publications (2018)
Flaminio, T., Godo, L.: A logic for reasoning about the probability of fuzzy events. Fuzzy Sets Syst. 158(6), 625–638 (2007)
Flaminio, T., Godo, L., Marchioni, E.: Reasoning about uncertainty of fuzzy events: an overview. In: Cintula, P. et al. (eds.) Understanding Vagueness - Logical, Philosophical, and Linguistic Perspectives, pp. 367–400. College Publications (2011)
Godo, L., Marchioni, E.: Coherent conditional probability in a fuzzy logic setting. Log. J. IGPL 14(3), 457–481 (2006)
Grant, J., Martinez, M.V. (eds.): Measuring Inconsistency in Information. Studies in Logic, vol. 73. College Publications (2018)
Hájek, P.: Metamathematics of Fuzzy Logic. Kluwer Academy Publishers (1998)
Hájek, P., Godo, L., Esteva, F.: Fuzzy logic and probability. In: Proceedings of the 11th Conference on Uncertainty in Artificial Intelligence (UAI 1995), pp. 237–244 (1995)
Muiño, D.P.: Measuring and repairing inconsistency in probabilistic knowledge bases. Int. J. Approx. Reason. 52(6), 828–840 (2011)
Mundici, D.: Advanced Łukasiewicz Calculus and MV-Algebras. Springer, Dordrecht (2011). https://doi.org/10.1007/978-94-007-0840-2
Potyka, N.: Linear programs for measuring inconsistency in probabilistic logics. In: Proceedings of KR 2014, pp. 568–577 (2014)
Potyka, N., Thimm, M.: Consolidation of probabilistic knowledge bases by inconsistency minimization. In: Proceedings of ECAI 2014, pp. 729–734 (2014)
Potyka, N., Thimm, M.: Probabilistic reasoning with inconsistent beliefs using inconsistency measures. In: Proceedings of IJCAI 2015, pp. 3156–3163 (2015)
Potyka, N., Thimm, M.: Inconsistency-tolerant reasoning over linear probabilistic knowledge bases. Int. J. Approx. Reason. 88, 209–236 (2017)
Thimm, M.: Measuring inconsistency in probabilistic knowledge bases. In: Proceedings of UAI 2009, pp. 530–537. AUAI Press (2009)
Thimm, M.: Inconsistency measures for probabilistic logics. Artif. Intell. 197, 1–24 (2013)
Acknowledgments
The authors are grateful to the anonymous reviewers for their helpful comments. The authors also acknowledge partial support by the MOSAIC project (EU H2020- MSCA-RISE-2020 Project 101007627). Flaminio and Godo also acknowledge support by the Spanish project ISINC (PID2019-111544GB-C21) funded by MCIN/AEI/10.13039/501100011033, while Ugolini also acknowledges the Marie Sklodowska-Curie grant agreement No. 890616 (H2020-MSCA-IF-2019).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Flaminio, T., Godo, L., Ugolini, S. (2022). An Approach to Inconsistency-Tolerant Reasoning About Probability Based on Łukasiewicz Logic. In: Dupin de Saint-Cyr, F., Öztürk-Escoffier, M., Potyka, N. (eds) Scalable Uncertainty Management. SUM 2022. Lecture Notes in Computer Science(), vol 13562. Springer, Cham. https://doi.org/10.1007/978-3-031-18843-5_9
Download citation
DOI: https://doi.org/10.1007/978-3-031-18843-5_9
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-18842-8
Online ISBN: 978-3-031-18843-5
eBook Packages: Computer ScienceComputer Science (R0)