How Reliable is the Truth Serum in Determining Guilt?

  • Thread starter Thread starter ballstix
  • Start date Start date
  • Tags Tags
    Probability
AI Thread Summary
The discussion focuses on the reliability of truth serum in determining guilt among inmates, with a scenario where 5% are guilty and 95% are innocent. When administered to guilty inmates, the serum has a 90% success rate, while it has a 99% success rate for innocent inmates. The user seeks to calculate the probability of an inmate being guilty if the serum indicates innocence, and vice versa. They confirm that the first probability calculation is correct at 0.005 divided by the total of 0.005 and 0.9405. The conversation highlights the complexities of interpreting truth serum results in a legal context.
ballstix
Messages
1
Reaction score
0
okay so there is a group of inmates: 5% are guilty and 95% are innocent

a truth serum is being used; when used on guilty inmates, it has a 90% chance of working (causing them to end up guilty) and a 10% chance of failure (causing them to end up innocent). when used on innocent inmates, it has a 99% chance of working (resulting in innocent) and a 1% chance of failure (resulting in guilty).

I need to find the probability of an inmate being guilty if the serum's result is innocent, as well as vice-versa, but that should be trivial once I figure out how to do the first one.

I drew a tree thing but it's not really helping me:
http://img27.imageshack.us/img27/7988/treefsy.jpg

is the first one (.005) / (.005 + .9405)?
 
Last edited by a moderator:
Physics news on Phys.org
Yes.
 
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...
Back
Top