Abstract
In this paper we show that the probability of conjunctions and disjunctions of conditionals in a recently introduced framework of Boolean algebras of conditionals are in full agreement with the corresponding operations of conditionals as defined in the approach developed by two of the authors to conditionals as three-valued objects, with betting-based semantics, and specified as suitable random quantities. We do this by first proving that the canonical extension of a full conditional probability on a finite algebra of events to the corresponding algebra of conditionals is compatible with taking subalgebras of events.
A. Gilio—Retired.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Adams, E.W.: The Logic of Conditionals. Reidel, Dordrecht (1975)
Beierle, C., Eichhorn, C., Kern-Isberner, G., Kutsch, S.: Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem. Ann. Math. Artif. Intell. 83(3), 247–275 (2018). https://doi.org/10.1007/s10472-017-9571-9
Benferhat, S., Dubois, D., Prade, H.: Nonmonotonic reasoning, conditional objects and possibility theory. Artif. Intell. 92, 259–276 (1997)
Calabrese, P.: An algebraic synthesis of the foundations of logic and probability. Inf. Sci. 42(3), 187–237 (1987). https://doi.org/10.1016/0020-0255(87)90023-5
Ciucci, D., Dubois, D.: A map of dependencies among three-valued logics. Inf. Sci. 250, 162–177 (2013)
Coletti, G., Scozzafava, R.: Probabilistic Logic in a Coherent Setting. Kluwer, Dordrecht (2002)
Coletti, G., Petturiti, D., Vantaggi, B.: Dutch book rationality conditions for conditional preferences under ambiguity. Ann. Oper. Res. 279(1-2), 115–150 (2019)
Dubois, D., Prade, H.: Conditional objects as nonmonotonic consequence relationships. IEEE Trans. Syst. Man Cybern. 24(12), 1724–1740 (1994)
Flaminio, T., Godo, L., Hosni, H.: Boolean algebras of conditionals, probability and logic. Artif. Intell. 286, 103347 (2020)
Freund, M., Lehmann, D., Morris, P.: Rationality, transitivity, and contraposition. Artif. Intell. 52(2), 191–203 (1991)
Gilio, A.: Probabilistic reasoning under coherence in System P. Ann. Math. Artif. Intell. 34, 5–34 (2002)
Gilio, A., Pfeifer, N., Sanfilippo, G.: Probabilistic entailment and iterated conditionals. In: Elqayam, S., Douven, I., Evans, J.S.B.T., Cruz, N. (eds.) Logic and Uncertainty in the Human Mind: A Tribute to David E. Over, pp. 71–101. Routledge, Oxon (2020). https://doi.org/10.4324/9781315111902-6
Gilio, A., Sanfilippo, G.: Conjunction, disjunction and iterated conditioning of conditional events. In: Synergies of Soft Computing and Statistics for Intelligent Data Analysis, AISC, vol. 190, pp. 399–407. Springer, Berlin (2013). https://doi.org/10.1007/978-3-642-33042-1_43
Gilio, A., Sanfilippo, G.: Conditional random quantities and compounds of conditionals. Stud. Logica. 102(4), 709–729 (2014)
Gilio, A., Sanfilippo, G.: Generalized logical operations among conditional events. Appl. Intell. 49(1), 79–102 (2018). https://doi.org/10.1007/s10489-018-1229-8
Gilio, A., Sanfilippo, G.: Algebraic aspects and coherence conditions for conjoined and disjoined conditionals. Int. J. Approx. Reason. 126, 98–123 (2020)
Gilio, A., Sanfilippo, G.: On compound and iterated conditionals. Argumenta 6(2), 241–266 (2021)
Gilio, A., Sanfilippo, G.: Compound conditionals, Fréchet-Hoeffding bounds, and Frank t-norms. Int. J. Approx. Reason. 136, 168–200 (2021)
Gilio, A., Sanfilippo, G.: Iterated conditionals and characterization of p-entailment. In: Vejnarová, J., Wilson, N. (eds.) ECSQARU 2021. LNCS (LNAI), vol. 12897, pp. 629–643. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-86772-0_45
Hailperin, T.: Sentential Probability Logic. Origins, Development, Current Status, and Technical Applications. Lehigh University Press, Bethlehem (1996)
Kaufmann, S.: Conditionals right and left: probabilities for the whole family. J. Philosophical Logic 38, 1–53 (2009)
Kern-Isberner, G.: Conditionals in Nonmonotonic Reasoning and Belief Revision - Considering Conditionals as Agents, vol. 2087. Springer, LNAI (2001)
Kraus, S., Lehmann, D., Magidor, M.: Nonmonotonic reasoning, preferential models and cumulative logics. Artif. Intell. 44, 167–207 (1990)
Lehmann, D., Magidor, M.: What does a conditional knowledge base entail? Artif. Intell. 55(1), 1–60 (1992). https://doi.org/10.1016/0004-3702(92)90041-U
McGee, V.: Conditional probabilities and compounds of conditionals. Philosophical Rev. 98(4), 485–541 (1989)
Milne, P.: Bruno de Finetti and the logic of conditional events. British J. Philosophy Sci. 48(2), 195–232 (1997)
Over, D., Cruz, N.: Suppositional theory of conditionals and rationality. In: Knauff, M., Spohn, W. (eds.) Handbook of Rationality, pp. 395–404. MIT press (2021)
Pfeifer, N., Tulkki, L.: Conditionals, counterfactuals, and rational reasoning: an experimental study on basic principles. Minds Mach. 27(1), 119–165 (2017)
Sanfilippo, G., Gilio, A., Over, D., Pfeifer, N.: Probabilities of conditionals and previsions of iterated conditionals. Int. J. Approx. Reason. 121, 150–173 (2020)
Acknowledgments
The authors thank the anonymous referees for their comments. Flaminio and Godo acknowledge partial support by the MOSAIC project (EU H2020-MSCA-RISE-2020 Project 101007627) and also by the Spanish project PID2019-111544GB-C21 funded by MCIN/AEI/10.13039/501100011033. Sanfilippo acknowledges support by the FFR2020-FFR2021 projects of University of Palermo, Italy.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 Springer Nature Switzerland AG
About this paper
Cite this paper
Flaminio, T., Gilio, A., Godo, L., Sanfilippo, G. (2022). Canonical Extensions of Conditional Probabilities and Compound Conditionals. In: Ciucci, D., et al. Information Processing and Management of Uncertainty in Knowledge-Based Systems. IPMU 2022. Communications in Computer and Information Science, vol 1602. Springer, Cham. https://doi.org/10.1007/978-3-031-08974-9_47
Download citation
DOI: https://doi.org/10.1007/978-3-031-08974-9_47
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-08973-2
Online ISBN: 978-3-031-08974-9
eBook Packages: Computer ScienceComputer Science (R0)