nshepperd comments on Inherited Improbabilities: Transferring the Burden of Proof - Less Wrong

30 Post author: komponisto 24 November 2010 03:40AM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (58)

You are viewing a single comment's thread. Show more comments above.

Comment author: nshepperd 11 December 2010 01:29:33AM *  2 points [-]

It isn't!

In general it is not true that P(A|B) = P(B|A). P(A|Guilt) depends on the prior probabilities of A and Guilt, as well as P(Guilt|A). For example, say we have four possible proofs A, B, C, D, and P(Guilt|A or B or C) = 1, and P(Guilt|D) = 0. Our prior is all four are equally likely: P(A) = P(B) = P(C) = P(D) = 0.25. P(Guilt) is then 0.75 = P(Guilt|A)P(A) + P(Guilt|B)P(B)...

Given this, we have:

P(A|Guilt) isn't 1. But it's 33%, which is still higher than the prior %25: that is, Guilt is evidence for A.

By the way I think it might help if you avoid talking in proofs and implication and 100% certainty. In hypothetical examples it's useful to set things to P(X) = 1, but in the real world evidence is always probabilistic; nothing's ever 100%.

Comment author: handoflixue 16 December 2010 09:00:45PM 0 points [-]

Ahhh, that helps clear things up. For some reason I'd been understanding you as saying that, given P(Guilt|A) = 1, P(A|Guilt) was also 1. It looks like what you meant was just that Guilt is evidence for, but not necessarily 100% proof of, A. Am I getting that all correct?

Comment author: nshepperd 17 December 2010 12:50:53AM 1 point [-]

Yes.

P(Guilt|A) = P(A|Guilt) only when P(A) = P(Guilt). In which case it would be 100% proof. But that is a rare situation.

Comment author: Psy-Kosh 17 December 2010 12:59:18AM 1 point [-]

Nitpick: the two conditionals also be equal if A and Guilt were mutually exclusive. (in that case, of course, the two conditionals would be both zero)