Annals of Pure and Applied Logic ( IF 0.8 ) Pub Date : 2021-01-19 , DOI: 10.1016/j.apal.2021.102945 Daniele Mundici
Suppose elements of a boolean algebra A are assigned probabilities . Boole asked to determine the possible probabilities of some other element , given the assignment . De Finetti's solution of Boole's problem yields a closed interval such that the set of possible probabilities of a coincides with . is nonempty iff the assignment is consistent in de Finetti's sense. Now suppose the probability of undergoes a small perturbation . We study the resulting modification of . For instance, we prove that the one-sided derivatives always have a rational, (generally non-integer) value. In the particular case when each probability is rational and A is presented as a Lindenbaum algebra, all these derivatives are Turing computable. Their existence domain is decidable by the Tarski-Seidenberg algorithm for polynomial equations and inequalities in real closed fields. Our results build on de Finetti's consistency notion and his solution of Boole's problem, and extend Hailperin's polyhedral methods for combining bounds on probabilities.
中文翻译:
概率蕴涵的差异
假设元素 布尔代数A的概率被分配了。布尔要求确定其他要素的可能概率给定任务 。De Finetti对布尔问题的解决方案产生了一个封闭的区间使得所述一组可能的概率的一个与一致。 如果赋值在de Finetti的意义上是一致的,则为非空。现在假设 受到一点微扰 。我们研究了对。例如,我们证明了单边导数总是具有一个合理的(通常是非整数)值。在特定情况下,当每个概率是有理的,A表示为Lindenbaum代数,所有这些导数都是图灵可计算的。它们的存在域可通过Tarski-Seidenberg算法确定多项式方程组和实数封闭域中的不等式。我们的结果建立在de Finetti的一致性概念及其对Boole问题的解决方案的基础上,并扩展了Hailperin的多面体方法以结合概率边界。