Abstract
A decision procedure (PrSAT) for classical (Kolmogorov) probability calculus is presented. This decision procedure is based on an existing decision procedure for the theory of real closed fields, which has recently been implemented inMathematica. AMathematicaimplementation of PrSAT is also described, along with several applications to various non-trivial problems in the probability calculus.
Publisher
Cambridge University Press (CUP)
Subject
Logic,Philosophy,Mathematics (miscellaneous)
Reference27 articles.
1. Fitelson B . (2001b). Studies in Bayesian confirmation theory. PhD Thesis, University of Wisconsin – Madison (Philosophy). Available online from: http://fitelson.org/thesis.pdf.
2. The Plurality of Bayesian Measures of Confirmation and the Problem of Measure Sensitivity
3. On the combinatorial and algebraic complexity of quantifier elimination
4. Huntington G. (to appear). Decision procedures for the pure existential fragment of the theory of real-closed fields. PhD Dissertation, Group in Logic and the Methodology of Science, UC – Berkeley.
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献