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·e k−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·c n·(cn−1·en−1)] · P[en−1 | hj·b·cn−1]
  =  

  =  
 n
Π      P[ek | hj·b·ck·(ck−1·ek−1)]
k=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]