Stanford Encyclopedia of Philosophy

Supplement to Inductive Logic

Immediate Consequences of the Independent Evidence Conditions

When neither independence condition holds, we at least have:

P[en|hj·b·cn] = P[en|hj·b·cn·en−1] · P[en−1|hj·b·cn]
=
=
n
Π
k = 1
P[ek|hj·b·cn·ek−1]

When condition-independence holds we have:

P[en|hj·b·cn] = P[en|hj·b·cn·(cn−1·en−1)]·P[en−1|hj·b·cn·cn−1]
= P[en|hj·b·cn·(cn−1·en−1)]·P[en−1|hj·b·cn−1]
=
=
n
Π
k = 1
P[ek|hj·b·ck·(ck−1·ek−1)]

If we add result-independence to condition-independence, the occurrences of ‘(ck−1·ek−1)’ may be removed from the previous formula, giving:

P[en|hj·b·cn] = n
Π
k = 1
P[ek|hj·b·ck]

[Back to Text]