3.3 Reasoning from less precise information 基于非精准信息进行推断

Now let us try to apply this understanding to a more complicated problem. Suppose the robot learns that red will be found at least once in later draws, but not at which draw or draws this will occur. That is, the new information is, as a proposition of Boolean algebra,

现在让我们尝试将这种理解应用于更复杂的问题。假设机器人知道,在某次抽取或者几次抽取中不会抽到红球,但在之后的某些抽取中至少有一个红球。也就是说,作为布尔代数的命题,新信息是

. (3.49)

This information reduces the number of red available for the kth draw by at least one, but it is not obvious whether has exactly the same implications as does . To investigate this we appeal again to the symmetry of the product rule:

此信息使得第k次中可抽取到的红球数量至少减少了一个,但是具有相同的含义,这一点并不明显。为了说明这一点,我们需要再次应用乘法规则的对称性:

, (3.50)

which gives us

由此得到

 (3.51)

and all quantities on the right-hand side are easily calculated.

式子右侧的数值很容易计算.

Seeing (3.49), one might be tempted to reason as follows:

参考(3.49),有人可能试图做如下推断:

 (3.52)

but this is not correct because, unless M = 1, the events are not mutually exclusive, and, as we see from (2.82), many more terms would be needed. This method of calculation would be very tedious.

但这是错误的,因为除非M=1,否则事件之间不是互斥的,而且,正如从(2.82)看到的那样,计算中还需要包括更多的项。这种计算方法可能是非常繁琐的。

To organize the calculation better, note that the denial of is the statement that white occurs at all the later draws:

为了简化计算,注意的否定表述的是之后取出的都是白球:

 (3.53)

So is the probability for white at all the later draws, regardless of what happens at the earlier ones (i.e. when the robot does not know what happens at the earlier ones). By exchangeability this is the same as the probability for white at the first (n − k) draws, regardless of what happens at the later ones; from (3.13),

所以表示的是所有之后取出的都是白球的概率,无论之前发生了什么(相当于机器人不知道在之前都抽到了什么球)。通过可交换性可知,这与头(n-k)次都抽出了白球的概率相同,而不管之后抽到的是什么; 由(3.13),

 (3.54)

Likewise, is the same result for the case of (N−1) balls, (M−1) of which are red:

类似的,和(N-1)个球其中(M-1)为红球时的结果一样,

 (3.55)

Now (3.51) becomes

现在(3.51)变为

 . (3.56)

As a check, note that if n = k + 1, this reduces to (M − 1)/(N − 1), as it should.

可以验证,当n=k+1时,将归结为(M-1)/(N-1),正如我们期望的那样.

At the moment, however, our interest in (3.56) is not so much in the numerical values, but in understanding the logic of the result. So let us specialize it to the simplest case that is not entirely trivial. Suppose we draw n = 3 times from an urn containing N = 4 balls, M = 2 of which are white, and ask how knowledge that red occurs at least once on the second and third draws affects the probability for red at the first draw. This is given by (3.56) with N = 4, M = 2, n = 3, k = 1:

然而,目前我们对(3.56)的兴趣并不是数值,而是理解结果表达出来的逻辑。因此,让我们专注于最简单的非平凡的例子。假设盒子中有N=4个球,其中M=2个是白球,从中抽n=3次,问在第二次和第三次抽中红球至少出现一次的知识,是如何影响第一次抽中红球的概率。这由(3.56)给出,其中N=4,M=2,n=3,k=1:

 (3.57)

the last form corresponding to (3.51). Compare this to the previously calculated probabilities:

最后的形式对应了(3.51).

. (3.58)

What seems surprising is that

有点以外的是

. (3.59)

Most people guess at first that the inequality should go the other way; i.e. knowing that red occurs at least once on the later draws ought to decrease the chances of red at the first draw more than does the information . But in this case the numbers are so small that we can check the calculation (3.51) directly. To find by the extended sum rule (2.82) now requires only one extra term:

大多数人一开始觉得不等式应该反过来;即红色在之后的抽取中至少出现一次的信息,应该比信息,让第一次就抽中红球的机会变得更少。但在本例中,因为总数太小,我们可以直接检查(3.51)中的计算。用扩展加法法则(2.82)来得出,现在需要再多一个额外的项:


. (3.60)

We could equally well resolve into mutually exclusive propositions and calculate

我们同样可以将解析为彼此互斥的命题,并计算


   (3.61)

The denominator (1 − 1/6) in (3.57) has now been calculated in three different ways, with the same result. If the three results were not the same, we would have found an inconsistency in our rules, of the kind we sought to prevent by Cox’s functional equation arguments in Chapter 2. This is a good example of what ‘consistency’ means in practice, and it shows the trouble we would be in if our rules did not have it.

(3.57)中的分母(1-1/6)现在以三种不同的方式来计算,而结果相同。如果三个结果不一样,我们就会发现我们的规则中存在着不一致,而我们曾试图通过第2章中的讨论到的Cox函数方程来防止这种情况。这是“一致性”在实践中意味着什么的一个很好的例子,它显示如果我们的规则不满足一致性时我们会遇到的麻烦。

Likewise, we can check the numerator of (3.51) by an independent calculation:

类似的,通过独立计算来检验(3.51)中的分子


 , (3.62)

and the result (3.57) is confirmed. So we have no choice but to accept the inequality (3.59) and try to understand it intuitively. Let us reason as follows. The information reduces the number of red balls available for the first draw by one, and it reduces the number of balls in the urn available for the first draw by one, giving . The information reduces the ‘effective number of red balls’ available for the first draw by more than one, but it reduces the number of balls in the urn available for the first draw by two (because it assures the robot that there are two later draws in which two balls are removed). So let us try tentatively to interpret the result (3.57) as

结果(3.57)得到确认。所以我们别无选择,只能接受不等式(3.59),并尝试直观地理解它。让我们推理如下。信息使得第一次抽取到的红球数量减少一个,并且将第一次抽取的总可抽取球数减少了一个,得到。 信息使得第一次抽取可用的红球的数量减少了不止一个,但它让第一次抽取时可用的球的总数量减少了两个(因为它保证了机器人之后还有抽取两次,即排除了两个球)。因此,让我们临时试图将结果(3.57)解释为

, (3.63)

although we are not quite sure what this means. Given , it is certain that at least one red ball is removed, and the probability that two are removed is, by the product rule:

虽然我们不大确定这表示了什么.给定,可以确定至少有一个红球被去掉了,根据乘法规则而有两个被去掉的概率是:


 (3.64)

because implies ; i.e. a relation of Boolean algebra is . Intuitively, given there is probability 1/5 that two red balls are removed, so the effective number removed is 1 + (1/5) = 6/5. The ‘effective’ number remaining for draw one is 4/5. Indeed, (3.63) then becomes

因为蕴含了;例如,逻辑代数关系为.直觉上,给定则两个红球被去掉的概率是1/5,所以被去掉的有效值是1+(1/5)=6/5.再取出一个球后的"有效"值为4/5.事实上,(3.63)则变为

, (3.65)

in agreement with our better motivated, but less intuitive, calculation (3.57).

和我们最期望的(3.57)的计算一致,但不那么符合直觉.

results matching ""

    No results matching ""