Skip to main content
SpringerLink
Log in

Some Probabilistic Riddles and Some Logical Solutions

  • Chapter
  • First Online:
Logics and Type Systems in Theory and Practice

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 14560))

Abstract

Six riddles in probability theory are solved in a systematic manner. The solutions suggest ingredients for a future symbolic probabilistic logic.

B. Jacobs—Dedicated to my dear colleague Herman Geuvers, on the occasion of his 60th birthday.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 99.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 129.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    See briddles.com.

  2. 2.

    See www.briddles.com/2014/04/hard-conditional-probability-problem.html. Why this problem has ‘conditional probability’ in its name is unclear.

  3. 3.

    From: www.briddles.com/2011/07/probability-of-second-girl-child.html.

  4. 4.

    www.briddles.com/2013/08/tricky-probability-interview-puzzle.html. This is a literal copy, including typos.

  5. 5.

    See briddles.com/2011/06/life-or-death-3-june.html.

  6. 6.

    www.briddles.com/2011/10/paradox-probability-puzzle.html.

  7. 7.

    briddles.com/2014/08/tricky-problem-on-probability.html.

References

  1. Barenderegt, H., Geuvers, H.: Proof-assistants using dependent type systems. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, pp. 1149–1238. Elsevier Science Publishers (2001). https://doi.org/10.5555/778522.778527

  2. Cho, K., Jacobs, B.: The EfProb library for probabilistic calculations. In: Bonchi, F., König, B. (eds.) Conference on Algebra and Coalgebra in Computer Science (CALCO 2017), Volume 72 of LIPIcs. Schloss Dagstuhl (2017). https://doi.org/10.4230/LIPIcs.CALCO.2017.25

  3. Cho, K., Jacobs, B.: Disintegration and Bayesian inversion via string diagrams. Math. Struct. Comput. Sci. 29(7), 938–971 (2019). https://doi.org/10.1017/s0960129518000488

    Article  MathSciNet  Google Scholar 

  4. Fritz, T.: A synthetic approach to Markov kernels, conditional independence, and theorems on sufficient statistics. Adv. Math. 370, 107239 (2020). https://doi.org/10.1016/J.AIM.2020.107239

    Article  MathSciNet  Google Scholar 

  5. Geuvers, H.: Proof assistants: history, ideas and future. Sādhanā 34(1), 3–25 (2009). https://doi.org/10.1007/s12046-009-0001-5

    Article  MathSciNet  Google Scholar 

  6. Geuvers, J.H.: Logics and type systems. Ph.D. thesis, Univ. Nijmegen (1993)

    Google Scholar 

  7. Jacobs, B.: New directions in categorical logic, for classical, probabilistic and quantum logic. Log. Methods Comput. Sci. 11(3) (2015). https://doi.org/10.2168/lmcs-11(3:24)2015

  8. Jacobs, B.: The mathematics of changing one’s mind, via Jeffrey’s or via Pearl’s update rule. J. Artif. Intell. Res. 65, 783–806 (2019). https://doi.org/10.1613/jair.1.11349

    Article  MathSciNet  Google Scholar 

  9. Jacobs, B.: A channel-based perspective on conjugate priors. Math. Struct. Comput. Sci. 30(1), 44–61 (2020). https://doi.org/10.1017/S0960129519000082

    Article  MathSciNet  Google Scholar 

  10. Jacobs, B.: From multisets over distributions to distributions over multisets. In: Logic in Computer Science. IEEE, Computer Science Press (2021). https://doi.org/10.1109/lics52264.2021.9470678

  11. Jacobs, B.: Learning from what’s right and learning from what’s wrong. In: Sokolova, A. (ed.) Mathematical Foundations of Programming Semantics, Number 351 in Electronic Proceedings in Theoretical Computer Science, pp. 116–133 (2021). https://doi.org/10.4204/EPTCS.351.8

  12. Jacobs, B.: Partitions and Ewens distributions in element-free probability theory. In: Logic in Computer Science. IEEE, Computer Science Press (2022). Article No. 23. https://doi.org/10.1145/3531130.3532419

  13. Jacobs, B.: Urns & tubes. Compositionality 4(4) (2022). https://doi.org/10.32408/compositionality-4-4

  14. Jacobs, B.: A principled approach to Expectation Maximisation and Latent Dirichlet Allocation using Jeffrey’s update rule. In: Hansen, H., Scedrov, A., de Queiroz, R. (eds.) WoLLIC 2023. LNCS, vol. 13923, pp. 256–273. Springer, Cham (2023). https://doi.org/10.1007/978-3-031-39784-4_16

    Chapter  Google Scholar 

  15. Jacobs, B.: Structured probabilistic reasoning (2023). Forthcoming book. http://www.cs.ru.nl/B.Jacobs/PAPERS/ProbabilisticReasoning.pdf

  16. Jacobs, B., Zanasi, F.: The logical essentials of Bayesian reasoning. In: Barthe, G., Katoen, J.-P., Silva, A. (eds.) Foundations of Probabilistic Programming, pp. 295–331. Cambridge University Press (2021). https://doi.org/10.1017/9781108770750.010

  17. Nederpelt, R., Geuvers, H. (eds.): Type Theory and Formal Proof. Cambridge University Press, Cambridge (2014). https://doi.org/10.1017/CBO9781139567725

    Book  Google Scholar 

  18. Pearl, J.: Probabilistic semantics for nonmonotonic reasoning: a survey. In: Brachman, R., Levesque, H., Reiter, R. (eds.) First International Conference on Principles of Knowledge Representation and Reasoning, pp. 505–516. Morgan Kaufmann (1989)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. iHub, Radboud University, Nijmegen, The Netherlands

    Bart Jacobs

Authors
  1. Bart Jacobs
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Bart Jacobs .

Editor information

Editors and Affiliations

  1. University of Nottingham, Nottingham, UK

    Venanzio Capretta

  2. Radboud University Nijmegen, Nijmegen, The Netherlands

    Robbert Krebbers

  3. Radboud University Nijmegen, Nijmegen, The Netherlands

    Freek Wiedijk

Rights and permissions

Reprints and permissions

Copyright information

© 2024 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Jacobs, B. (2024). Some Probabilistic Riddles and Some Logical Solutions. In: Capretta, V., Krebbers, R., Wiedijk, F. (eds) Logics and Type Systems in Theory and Practice. Lecture Notes in Computer Science, vol 14560. Springer, Cham. https://doi.org/10.1007/978-3-031-61716-4_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-61716-4_9

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-61715-7

  • Online ISBN: 978-3-031-61716-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation