Reasoning about conditional probabilities in a higher-order-logic theorem prover
From MaRDI portal
Publication:545151
DOI10.1016/j.jal.2011.01.001zbMath1216.68234MaRDI QIDQ545151
Publication date: 22 June 2011
Published in: Journal of Applied Logic (Search for Journal in Brave)
Full work available at URL: https://spectrum.library.concordia.ca/974505/1/reasoning_about_conditional_probabilities.pdf
probabilistic analysis; formal methods; Bayes theorem; binary channel; HOL theorem prover; total probability law
68T37: Reasoning under uncertainty in the context of artificial intelligence
Uses Software