I The Sleeping Beauty Problem: Any halfers here?

[Dale]

How are you defining the event "A"? If "A" means "Sleeping beauty is awakened"

Awaken and interviewed, yes.

then P(A|H) = P(A|T) = 1

I never calculate either P(A|H) or P(A|T), but they are certainly not equal.

It is correct that Sleeping Beauty is awakened on 2 days if the coin lands tails and one day if the coin lands heads. As you know, numbers of outcomes alone don't define probabilities ...

To change from frequencies to probabilities does require a normalization constant, but that constant factors out in the ratio. So relative frequencies do define the ratio of probabilities (or Bayes factor). This is a common technique.

All of the rest of the complications you add are unnecessary. I never calculate the actual probabilities.

 

[Stephen Tashi]

They are mutually exclusive events from the point of view of an awake Beauty. And this is the entire point of the problem.

You need to define what probability space you are using in your reasoning and what events that space contains.

Correct. Each has a probability of 1/2 in the prior - that is, from Beauty's frame of reference on Sunday or Wednesday. And A2 belongs in that prior. To define things "as they are defined in the experiment," you must include A2.

The term "frame of reference" has a meaning in physics, but it doesn't have a specific meaning in the theory of probability You seem to be talking about conditional probabilities. If so, it would be clearer just to speak in terms conditional probabilities and the sets of events that define the conditions.

I also realize that this is an unprovable assertion of how perspective applies. All I ask, is that you recognize that your counterpart assertion, that A2 is not required, is equally unprovable. So, it is only if we can derive an answer that is not based in either perspective, that we can try to address which perspective applies. I think I have done that, and you are avoiding it by trying to discuss perspective first.

It's difficult to interpret you remarks. I can interpret them to be in agreement with my last reply to Daryl. That reply says there are are (at least) two distinct probability models for a process satisfying the phrase "Sleeping Beauty is awakened (in some situation)".

One model is the probability space is the set of events S = {A1,A2,B,C} with each event having probabilitiy 1/4. Using that space, the probability space for selecting Beauty's situation is the set of events {A1,B,C} with corresponding probabilities $P(A1| (A1\cup B \cup C)),\ P(B| (A1\cup B \cup C)),\ P(C| (A1\cup B\cup C))$ where the conditional probabilities are computed using the probability distribution define on S.

A different model is the probability space T consisting of the set of events {A1,B,C} with corresponding probabilites {1/2, 1/4, 1/4}. That model uses the concept that the experiment is run and Beauty's situation is selected only from those situations where Beauty was awake in the particular run of the experiment.

You also need to include A2, since from Beauty's frame of reference on Sunday or Wednesday, or the lab tech's who is administering the drugs and asking the question, A2 is a possibility.

Which model to use is a subjective judgment. The "thirder model" It is a reasonable opinion, but it can't be proven that the information given in the problem implies that it is the only model for the process "Sleeping Beauty is awakened in some situation".

 

[Stephen Tashi]

I never calculate either P(A|H) or P(A|T), but they are certainly not equal.

That can't be proven from the information given in the problem.

You have not precisely defined the event denoted by "A". If "A" refers to the union of all events of the form ( coin state = any, day = any, Beauty state = awake) then the given information about the experiment says that P( A | H) = 1 because the set A includes the event (heads, Monday, awake) which always occurs when the coin lands heads.

I think you wish "A" to be an event defined in a probability space where (heads, Monday, awake) and (heads, Tuesday, asleep) are mutually exclusive events. The information in the problem does not assign any probability measure on such a space.

 

[Stephen Tashi]

Asking about selection processes seems contrary to the statement of the problem. What happens to Sleeping Beauty is explicitly specified. You're asking her what she knows, and if she doesn't know, can she give a numerical level of confidence in the various possibilities.

I agree that those things are done. However, the focus of controversy is whether there is a correct answer that Beauty should give if she is "rational". An objectively correct answer would be the numerical value of the probability that the situation that occurs when beauty is awakened is a situation where the coin landed heads. I am using terminology that a situation is "selected". when Beauty is awakened. That seems reasonable terminology for a probability model of what happens. "Beauty is awakened" implicitly says she is awakened in some particular situation. One particular situation is "realized" or "occurs" or "is selected". The choice of verb is a matter of taste.

 

[Dale]

That can't be proven from the information given in the problem.

Yes, it can. Their ratio is 1/2 so they cannot be equal.

You have tied yourself in mental knots here. This is far simpler than you are making it out to be. A happens twice as frequently given T as it does given H, therefore P(A|H)/P(A|T)=1/2. It is not necessary to calculate either probability individually to know their ratio.

 

[Stephen Tashi]

Yes, it can. Their ratio is 1/2 so they cannot be equal.

You are asserting the ratio is 1 to 2 without precisely defining the event A or showing any calculations that derive the result from given information.

You have tied yourself in mental knots here. This is far simpler than you are making it out to be.

If that were true, the problem would no longer be controversial among academics.

A happens twice as frequently given T as it does given H

To demonstrate that, you must define what you mean by "A" and say what probability space you are using.

 

[Dale]

precisely defining the event A

"Awakened and interviewed" as defined in the problem statement.

or showing any calculations that derive the result from given information

The frequency is 2 given T or 1 given H. I don't know how to derive that 1/2=1/2.

 

[Stephen Tashi]

"Awakened and interviewed" as defined in the problem statement.

That is not a specific definition of "A".

Are you saying that (your) "A" is the union of the events:
(my) A = The coin lands heads. Sleeping Beauty is awakened and interviewed on Monday
B = The coin lands tails. Sleeping Beauty is awakened and interviewed on Monday
C = The coin lands tails. Sleeping Beauty is awakened and interviewed on Tuesday

If so, P(your A | the coin lands heads) = 1. That is information given about the experiment.

It seems to me that you wish A to be the union of events like:
a = The coin landed heads. Today is Monday. Today, Sleeping beauty is awakened and interviewed.
b = The coin landed tails. Today is Monday. Today, Sleeping beauty is awakened and interviewed.
c = The coin landed tails. Today is Tuesday. Today, Sleeping beauty is awakened and interviewed.

The description of the experiment gives no information about how the situation "today" is selected.

I agree that one plausible model for selecting the situation "today" is that a situation is selected from 4 possible situations giving each situation an equal probability. Then if the situation selected has Sleeping Beauty alseep, that choice is discarded and we select a different situation at random until we have picked a situation where Sleeping Beauty is awake.

The "halfer" model for selecting the situation "today" is that the situation "today" is selected by first running the experiment. Then the situation "today" is selected at random from the situations that occurred in the experiment , giving each situation an equal probability of being selected. If the situation selected has Sleeping Beauty asleep, that choice is discarded and another situation is selected until a situation where Sleeping Beauty is awake has been chosen.

 

[Dale]

That is not a specific definition of "A".

In the context of this problem it is exactly specific. The problem says "awakened and interviewed" happens twice if "tails" and once if "heads". So "A", "H", and "T" are just shorthand for actual statements in the description.

Are you saying that (your) "A" is the union of the events

I am not saying anything about your definitions and I am not even attempting to map my definitions to yours. The problem statement says that "awakened and interviewed" happens one or more times during the experiment, and I prefer to type "A" rather than "awakened and interviewed". This has nothing to do with your notation or events.

The description of the experiment gives no information about how the situation "today" is selected.

Which is why I chose a form of Bayes rule that does not require that information.

 

[stevendaryl]

"if the coin comes up heads, Beauty will be awakened and interviewed on Monday only. If the coin comes up tails, she will be awakened and interviewed on Monday and Tuesday." So P(A|H)/P(A|T)=1/2. The comments about the day of the week are irrelevant. All that matters is that she is awakened twice as often if tails than if heads.

To me, that's a deduction from the facts, and is not obviously equivalent to what is said. We're told:

• If the coin flip was Heads, and today is Monday, then Sleeping Beauty is awake.
• If the coin flip was Heads, and today is Tuesday, then Sleeping Beauty is asleep.

To conclude that "If the coin flip was Heads, then there is for Sleeping Beauty a 50% chance of being awake" seems to me to require some kind of deduction. I would argue that:

P(Awake | Heads) = P(Awake | Heads & Monday) P(Monday | Heads) + P(Awake | Heads & Tuesday) P(Tuesday | Heads) = 1 * P(Monday | Heads) + 0 * P(Tuesday | Heads)

Saying P(Awake | Heads) = 1/2 is equivalent to me to saying P(Monday | Heads) = P(Tuesday | Heads) = 1/2.

Of course, you could do away with the Monday versus Tuesday, and simply consider a single day, where the probability of being awakened is dependent on the coin toss:

• If the coin toss was Heads, then awaken her with 50% probability
• If the coin toss was Tails, then awaken her with 100% probability

With this variant, there is only a single day involved, and you can ask the probability of heads given that she is awake, and your analysis is pretty straight-forward.

 

[Stephen Tashi]

In the context of this problem it is exactly specific. The problem says "awakened and interviewed" happens twice if "tails" and once if "heads". So "A", "H", and "T" are just shorthand for actual statements in the description.

That still doesn't define the event "A" or the probability space that contains it.

The problem statement says that "awakened and interviewed" happens one or more times during the experiment, and I prefer to type "A".

The problem does say that when the coin lands heads there is one situation where SB is awake and when the coin lands tails there are 2 situations where she is awake. But the problem says nothing about how to pick a single situation from the 4 possible situations that can arise in a series of experiments or how to pick one situation from the two possible situations that do arise in one particular experiment.

Are you using "A" to represent the event that "the situation on a particular day is one where SB is awakened and interviewed"? Assigning that event a probability implies a single situation is selected (or "happens" or "is realized) from the possible situations. The problem does not say how to make such a selection.

 

[Stephen Tashi]

One way to see that the Sleeping Beauty problem is ill-posed to imagine conducting an empirical test to see whether the "thirder" or "halfer" or some other viewpoint is correct.

Conduct the Sleeping Beauty experiment N times and record the results of each run of the experiment.

Now implement the process that determines "The situation when Sleeping Beauty is awakened".

How to implement that process is not specified by the problem.

The "thirder method": From all situations in the records of all the experiments pick a situation at random giving each situation the same probability of being selected.

The "halfer" method: From all the experiments in the records, pick an experiment at random giving each experiment the same probability of being selected. Then, from the records of the selected experiment, pick one of the situations in the experiment at random, giving each situation the same probability of being selected.

The bewildering aspect of the Sleeping Beauty problem is that these two "random looking" methods imply different answers for the conditional probability of the event "The situation is one where the coin landed heads given that it is a situation is one where Sleeping Beauty is awake".

For example, the probability of that event by the "halfer" method is: (1/2)(1) + (1/2)(0) because if we select an experiment where the the coin lands heads, the condition "it is a situation Sleeping Beauty is awake" requires that we select 1 event from the single choice (coin landed heads, Today is Monday, Today, Sleeping Beauty is awakened and interviewed).

The probability of the event in question by the "thirder" method is 1/3 -as has been demonstrated in several posts in this thread that tacitly assume the "thirder" method is the one used to determine the situation when Sleeping Beauty awakes.

 

[kith]

The blog post by Allen Downey which is cited in the OP contains an interesting dialogue. It is about a different bet than the ones considered in #67 and #372 and it highlights the role of forgetting.

Experimenter: Ok, SB, it’s Sunday night. After you go to sleep, we’re going to flip this fair coin. What do you believe is the probability that it will come up heads, P(H)?

Sleeping Beauty: I think P(H) is ½.

Ex: Ok. In that case, I wonder if you would be interested in a wager. If you bet on heads and win, I’ll pay 3:2, so if you bet $100, you will either win $150 or lose $100. Since you think P(H) is ½, this bet is in your favor. Do you want to accept it?

SB: Sure, why not?

Ex: Ok, on Wednesday I’ll tell you the outcome of the flip and we’ll settle the bet. Good night.

SB: Zzzzz.

Ex: Good morning!

SB: Hello. Is it Wednesday yet?

Ex: No, it’s not Wednesday, but that’s all I can tell you. At this point, what do you think is the probability that I flipped heads?

SB: Well, my prior was P(H) = ½. I’ve just observed an event (D = waking up before Wednesday) that is twice as likely under the tails scenario, so I’ll update my beliefs and conclude that P(H|D) = ⅓.

Ex: Interesting. Well, if the probability of heads is only ⅓, the bet we made Sunday night is no longer in your favor. Would you like to call it off?

SB: No, thanks.

Ex: But wait, doesn’t that mean that you are being inconsistent? You believe that the probability of heads is ⅓, but you are betting as if it were ½.

SB: On the contrary, my betting is consistent with my beliefs. The bet won’t be settled until Wednesday, so my current beliefs are not important. What matters is what I will believe when the bet is settled.

Ex: I suppose that makes sense. But do you mean to say that you know what you will believe on Wednesday?

SB: Normally I wouldn’t, but this scenario seems to be an unusual case. Not only do I know that I will get more information tomorrow; I even know what it will be.

Ex: How’s that?

SB: When you give me the amnesia drug, I will forget about the update I just made and revert to my prior. Then when I wake up on Wednesday, I will observe an event (E = waking up on Wednesday) that is equally likely under the heads and tails scenarios, so my posterior will equal my prior, I will believe that P(H|E) is ½, and I will conclude that the bet is in my favor.

Ex: So just before I tell you the outcome of the bet, you will believe that the probability of heads is ½?

SB: Right.

Ex: Well, if you know what information is coming in the future, why don’t you do the update now, and start believing that the probability of heads is ½?

SB: Well, I can compute P(H|E) now if you want. It’s ½ -- always has been and always will be. But that’s not what I should believe now, because I have only seen D, and not E yet.

Ex: So right now, do you think you are going to win the bet?

SB: Probably not. If I’m losing, you’ll ask me that question twice. But if I’m winning, you’ll only ask once. So ⅔ of the time you ask that question, I’m losing.

Ex: So you think you are probably losing, but you still want to keep the bet? That seems crazy.

SB: Maybe, but even so, my beliefs are based on the correct analysis of my situation, and my decision is consistent with my beliefs.

Ex: I’ll need to think about that. Well, good night.

SB: Zzzzz.

 

[Dale]

To me, that's a deduction from the facts, and is not obviously equivalent to what is said

Hmm, I am not sure why that is not obvious. If I count warts on my head and warts on my tail and I consistently find twice as many warts on my tail then I can certainly say that the probability of getting a wart on my tail is twice the probability of getting a wart on my head. I can do so without ever determining the probability of getting a wart on my tail.

To conclude that "If the coin flip was Heads, then there is for Sleeping Beauty a 50% chance of being awake" seems to me to require some kind of deduction.

I don't make that conclusion.

Saying P(Awake | Heads) = 1/2 is equivalent to me to saying P(Monday | Heads) = P(Tuesday | Heads) = 1/2

I never say that. I have no idea what P(A|H) is.

 

[Dale]

The problem does say that when the coin lands heads there is one situation where SB is awake and when the coin lands tails there are 2 situations where she is awake.

Hence P(A|H)/P(A|T)=1/2.

But the problem says nothing about how to pick a single situation from the 4 possible situations

Nor does it need to.

Assigning that event a probability implies a single situation is selected (or "happens" or "is realized) from the possible situations.

I never assign that event a probability.

 

[stevendaryl]

Hmm, I am not sure why that is not obvious. If I count warts on my head and warts on my tail and I consistently find twice as many warts on my tail then I can certainly say that the probability of getting a wart on my tail is twice the probability of getting a wart on my head. I can do so without ever determining the probability of getting a wart on my tail.

It is certainly not obvious to me. Why is the ratio of number of days awake the same as the probability of being awake? That seems to assume equal likelihood for the days, which is P(Monday) = P(Tuesday) = 1/2.

I don't make that conclusion.

Well, that's what I don't understand. What you said seems mathematically equivalent to what you're denying.

You said you're assuming P(A|H)/P(A|T) = 1/2. That sounds plausible, but I think it requires proof. But however you derive it, or assume it, it's equivalent to the claim P(A|H) = 1/2, because P(A|T) = 1. (If the coin toss is tails, then she's going to be awake every morning).

To me, the most direct way to the conclusion is this:

There are three possible situations consistent with Sleeping Beauty being awake:

1. Heads & Monday
2. Tails & Monday
3. Tails & Tuesday

To me, it seems that we can reason:

• If the coin toss is tails, then there is nothing observably different about Monday and Tuesday for Sleeping Beauty. So P(Tails & Monday) = P(Tails & Tuesday)
• If the day is Monday, then there is nothing observably different between heads and tails (because the difference only shows up on Tuesday). So P(Tails & Monday) = P(Heads & Monday)

The above assumptions imply that all three are equally likely.

 

[stevendaryl]

You said you're assuming P(A|H)/P(A|T) = 1/2. That sounds plausible, but I think it requires proof. But however you derive it, or assume it, it's equivalent to the claim P(A|H) = 1/2, because P(A|T) = 1. (If the coin toss is tails, then she's going to be awake every morning).

I should clarify that when I talk about being awake, I mean awake during some specified time set aside for conducting interviews. Whether she is awake at other times is not relevant. So P(A|T) = 1.

 

[Stephen Tashi]

But however you derive it, or assume it, it's equivalent to the claim P(A|H) = 1/2, because P(A|T) = 1. (If the coin toss is tails, then she's going to be awake every morning).

It's interesting that both the "halfer" and "thirder" methods described in post #412 agree that P(A|H) = 1/2 and P(A|T) = 1. However, they get different answers for P(H|A). So the assumption that P(A|H)/P(A|T) = 1/2 isn't sufficient to determine P(H|A).

 

[bahamagreen]

I'm in the halfer camp. It looks to me like before Beauty is put to sleep Sunday night, she knows:

- a coin will be tossed p(H)=.5
- H=Monday interview, T=Monday and Tuesday interviews, two possibilities
- a Monday awakening is twice as likely as a Tuesday awakening, irrelevant to p(heads)
- all interviews will be identically empty in that she won't know the day nor gain new information
- all interviews will conclude with the drug so she won't retain any potential new information
- the drug will be administered after each interview, so she will not know upon being awakened on Wednesday what day it is until she is informed or realizes she is not to be interviewed

- there are not three possibilities, only two:
1) (heads) Monday awakening
2) (tails) Monday and Tuesday awakening
- she will be unable to tell which of these two possibilities is the case within any interview

- the idea of three possibilities is incorrect:
Monday awakening (heads)
Monday awakening (tails)
Tuesday second awakening (tails)

This would be splitting Monday and Tuesday interviews for tails into two possibilities, but they are connected by experimental protocol as one. Tails implies and entails both Monday's and Tuesday's interviews. She will know that in the case of tails she would not experience either of these interviews as one of two separate events. She knows both interviews will be experienced as identically and indistinguishably uninformative, then subsequently forgotten, both necessary to comprise the results of tails.

 

[stevendaryl]

I'm in the halfer camp. It looks to me like before Beauty is put to sleep Sunday night, she knows:

- there are not three possibilities, only two:
1) (heads) Monday awakening
2) (tails) Monday and Tuesday awakening
- she will be unable to tell which of these two possibilities is the case within any interview

The fact that she can't tell the difference between Monday, Tails and Tuesday, Tails doesn't mean that they aren't distinct situations. Sleeping Beauty herself, having understood the rules, would say when asked whether today is Monday or Tuesday, would answer: "I don't know". There are two possibilities and she doesn't know which one is correct. It's just like whether the coin is heads or tails; she doesn't know which it is, but she understands that they are different.

 

[Dale]

Why is the ratio of number of days awake the same as the probability of being awake?

It isn't. The ratio of the number of days awake is the same as the ratio of the probabilities of being awake.

You said you're assuming P(A|H)/P(A|T) = 1/2. That sounds plausible, but I think it requires proof.

It is given in the problem!

because P(A|T) = 1. (If the coin toss is tails, then she's going to be awake every morning).

That depends on the sample space you are considering. If the "now" in "what is your credence now" is taken to be a day then yes the frequency is 2 out of 2 days for probability 1. If "now" is one hour then the frequency is 2 out of 48 hours for probability 1/24. If "now" is one minute then the frequency is 2 out of 48*60 ...

In all of those cases, to actually calculate P(A|T) requires assuming information that is not given in the problem. But the ratio P(A|H)/P(A|T) is the same in all those cases and is what is directly given in the problem.

 

[JeffJo]

If the question said "The experiment is run. From those days on which Sleeping Beauty is awakened, a day is picked at random..." this would favor the "halfer" viewpoint.

I disagree that you should include "was awakened."

Say that, on Sunday night, Beauty takes an imaginary coin out of her purse. Please note that this is consistent with the OP, since Beauty is free to imagine anything she wants to.

This imaginary coin says "Monday" on one side, and "Tuesday" on the other. She imaginary-flips it, and sets it on her nightstand, thereby picking a random day. She can't see what side is face up because, after all, it is just an imaginary coin. But nobody can move it, or change it, for the same reason.

On any of the two days, at 8AM (when I'll assume Beauty is to be wakened), there is a 1/4 chance that the coin landed heads, and the face-up side of the imaginary coin correctly names the current day. There is a 1/4 chance that the coin landed heads, and the face-up side of the imaginary coin does not correctly name the current day. And there are two similar outcomes, and probabilities, for Tails. These probabilities apply whether or not Beauty is actually wakened, so they are prior probabilities.

But if Beauty is actually wakened, one of the first two possibilities is eliminated. It doesn't matter if Beauty knows which, since they are symmetric. This constitutes "new information" that allows an update, and the posterior probability of the set {(H,Correct),(H,Incorrect)} is 1/3.

Now, it shouldn't be necessary to resort to the ploy of using the imaginary coin, because the selection of a random day is not dependent Beauty's ability to observe that day. Tuesday still happens after heads. Tuesday happens in conjunction with Heads with the same probability it happens in conjunction with Tails, and that Monday happens in conjunction with either single result.

You need to define what probability space you are using in your reasoning and what events that space contains.

I have. You just refuse to recognize the outcomes for what they are, because you confuse an occurrence with Beauty's ability to observe it when it happens.

At 8AM, the sample space is {(H,Mon),(H,Tue),(T,Mon),(T,Tue)}. This is different from the sample space on Sunday, since it refers to one day and Sunday's refers to two. Each has a prior probability of 1/4. Waking Beauty is a method of sampling from this space, and it eliminates (H,Tue).

The term "frame of reference" has a meaning in physics, but it doesn't have a specific meaning in the theory of probability.

Neither does "outcome," unless you apply a frame of reference. By that I mean that the only definition "outcome" has is "a possible result of your experiment." Your frame of reference defines how you quantify the random variables, and there is no definition of how one should do that. But it is not the same thing as observing a result.

A different model is the probability space T consisting of the set of events {A1,B,C} with corresponding probabilites {1/2, 1/4, 1/4}.

In what warped world is the prior probability of waking up on Monday, after Heads, twice as likely as waking up on Monday, after tails? If you identify a day in your probability space, the set of possibilities has to be all that can occur. Again, if you want to debate this, address the problem where she is wakened on (H,Tue) but taken to Disneyworld instead of being interviewed. Then, her confidence of Heads, in an interview, is clearly 1/3. But you do need to use my probability space.

That model uses the concept that the experiment is run and Beauty's situation is selected only from those situations where Beauty was awake in the particular run of the experiment.

Since I have [proven that this model gets the wrong answer, without having to resort to either of these debated models, we can conclude that this one is incorrect. Whether or not you agree with the models I described above, or even we we used them, I have shown that the answer is 1/3.

The "thirder model" It is a reasonable opinion, but it can't be proven that the information given in the problem implies that it is the only model for the process "Sleeping Beauty is awakened in some situation".

There is no single correct model, so this is a non sequitur. But the correct answer can be, and has been, proven. And there can only be one correct answer.

 

[stevendaryl]

It isn't. The ratio of the number of days awake is the same as the ratio of the probabilities of being awake.

That's what I meant.

It is given in the problem!

No, it isn't. The probabilities in the problem can be summarized as:

P(H) = P(T) = 1/2 (it's a fair coin)
P(Awake|H & Monday) = 1 (She's awake Monday regardless of the coin toss)
P(Awake|H & Tuesday) = 0 (She's asleep Tuesday if the coin toss was heads)
P(Awake|T) = 1 (She's awake if the coin toss is heads, regardless of the day)
P(Monday) + P(Tuesday) = 1 (We're only considering those two possible days)

The claim that P(Awake | H)/P(Awake | T) = 1/2 may or may not be derivable from those facts, but it certainly was not stated explicitly.

 

[Dale]

So the assumption that P(A|H)/P(A|T) = 1/2 isn't sufficient to determine P(H|A).

The only additional thing you need is that the coin is fair, which is also given.

 

[stevendaryl]

No, it isn't. The probabilities in the problem can be summarized as:

P(H) = P(T) = 1/2 (it's a fair coin)
P(Awake|H & Monday) = 1 (She's awake Monday regardless of the coin toss)
P(Awake|H & Tuesday) = 0 (She's asleep Tuesday if the coin toss was heads)
P(Awake|T) = 1 (She's awake if the coin toss is heads, regardless of the day)
P(Monday) + P(Tuesday) = 1 (We're only considering those two possible days)

The claim that P(Awake | H)/P(Awake | T) = 1/2 may or may not be derivable from those facts, but it certainly was not stated explicitly.

It's clear that the claim P(Awake|H)/P(Awake|T) = 1/2 is not derivable from the five probabilities above. So that means that if it's implicit in the problem statement, it must be an additional assumption. But what is the nature of that assumption? What is left out from the 5 claims above, and what general principle is being invoked?

I think what's left out is the fact that Monday inevitably is followed by Tuesday, and Tuesday is inevitably preceded by Monday. This implies that the relative frequencies of Monday and Tuesday are equal, and if we assume relative frequency is the same as subjective probability, then

P(Monday)= P(Tuesday) = 1/2

This would allow us to derive Dale's claim. From that and the fair coin assumption, we can uniquely determine all the probabilities:

• Let x = P(H & Monday)
• Let y = P(H & Tuesday)
• Let z = P(T & Monday)
• Let w = P(T & Tuesday)

Awake is definable in terms of the day and the coin result: Awake = Monday or T.

Constraints:

1. P(H) = 1/2, so x+y = 1/2
2. P(Monday) = 1/2, so x+z = 1/2
3. P(T) = 1/2, so z+w = 1/2
4. P(Tuesday) = 1/2, so z+w = 1/2

These 4 constraints uniquely determine that x = y = z = w = 1/4.

From this, it follows that P(Awake) = P(Monday & H) + P(Monday & T) + P(Tuesday & T) = 3/4
P(H | Awake) = P(H & Awake)/P(Awake) = P(H & Monday)/P(Awake) = (1/4)/(3/4) = 1/3

 

[Stephen Tashi]

The only additional thing you need is that the coin is fair, which is also given.

If that were true the "halfer" method for selecting which situation applies today (described in post #412) wouldn't give the answer P(H|A) = 1/2.

 

[Dale]

If that were true the "halfer" method for selecting which situation applies today (described in post #412) wouldn't give the answer P(H|A) = 1/2.

A wrong method gives a wrong answer. If the prior odds are 1:1 and the Bayes factor is 1/2, then the posterior probability is 1/3. A method that gives a different answer is flat out wrong.

 

[Stephen Tashi]

This would allow us to derive Dale's claim. From that and the fair coin assumption, we can uniquely determine all the probabilities.

A method that gives a different answer is flat out wrong.

"Thirders" consider the Sleeping Beauty problem to be completely analogous to a particular "balls-in-urns" problem. (I think this is why many "thirders" are absolutely positive that they have obtained the correct answer using only information in the problem.) Urn H contains two balls, one amber and one sienna. Urn T contains two balls, both amber. A fair coin is flipped and if lands heads, urn H is selected. If it lands tails then urn T is selected. A ball is drawn at random from the selected urn. Given the color of the ball is amber, what is the probability that urn H was selected.? The answer 1/3 is not controversial.

The distinction between the Sleeping Beauty problem and the above balls-in-urns problem is that the information that "a ball is drawn from the selected urn" tells us that this is the first time a ball is drawn from the selected urn. In the Sleeping Beauty "Sleeping Beauty awakens" does not tell us that this is the first time she has awakened. One may take the philosophical view that since we don't know whether she has awakened before, we may assume the awakening is the first time she has awakened, but this is not given in the problem.

A version of the balls-in-urns problem analogous to the Sleeping Beauty Problem would say that after the urn is selected, both balls are drawn from the urn. If one of the balls is amber, what is the probability that urn H was selected? The information "one of the balls is amber" doesn't tell us anything because one of the balls is always amber.

I'd like to see those "thirders" who can solve the first balls-in-urns problem try their hand at solving the second one. Or perhaps they can pose a different balls-in-urns version of the Sleeping Beauty Problem that is more to their liking.

 

[Dale]

I'd like to see those "thirders" who can solve the first balls-in-urns problem try their hand at solving the second one.

I would like to see people stick to the problem at hand.

This is a straightforward Bayesian probability problem. You have prior odds and a Bayes factor, both of which we agree on according your previous posts. So the posterior odds are given by their product. Anything else is wrong, regardless of urns or any other irrelevant distraction.

 

[Stephen Tashi]

I would like to see people stick to the problem at hand.

I'd like to see people define the problem at hand to match the statement of the Sleeping Beauty Problem.

 

[Dale]

I'd like to see people define the problem at hand to match the statement of the Sleeping Beauty Problem.

Done. See above.

The problem is that you want the specification to include lots of other things that are not given and that are not necessary. With those two pieces of information (prior odds and Bayes factor) the answer is determined. You want all sorts of other things specified that don't matter and are not given.

 

[Stephen Tashi]

Done. See above.

The problem is that you want the specification to include lots of other things that are not given and that are not necessary. With those two pieces of information (prior odds and Bayes factor) the answer is determined. You want all sorts of other things specified that don't matter and are not given.

You are solving your own interpretation of the Sleeping Beauty problem and I agree that your solution to your own interpretation is correct. However, your interpretation of the Sleeping Beauty Problem is controversial - it's controversial among academics who are familiar with Bayesian analysis. If you could demonstrate that your interpretation of the problem is the only correct interpretation, you would have a publishable result.

 

[Dale]

However, your interpretation of the Sleeping Beauty Problem is controversial

Whether or not the Earth is flat is also controversial. The mere fact of a controversy doesn't mean much.

What does not seem controversial between you and me is the prior odds and the Bayes factor. Given agreement on those two pieces, then the posterior probability is unambiguously 1/3 by Bayes rule.

 

[JeffJo]

I think what's left out is the fact that Monday inevitably is followed by Tuesday, and Tuesday is inevitably preceded by Monday.

And I think (make that "know") that this ignores the facts that Monday is still a different day than Tuesday, Tuesday is still a different day than Monday, and Beauty's probability space for the question she is asked can only deal with one day.

Each time Beauty is awake, she is concerned with only one day - "today." The probability space she needs is not the same as the one she may have formed on Sunday, that includes both days as a single outcome. To her, "today" is the only thing that matters.

"Thirders" consider the Sleeping Beauty problem to be completely analogous to a particular "balls-in-urns" problem.

And I believe I have shown, in three different ways, that it is:

Four Beauties: Each is undergoing an experiment that is either identical to, or functionally equivalent to, the OP. But now, each can consider the card of the missing Beauty (reading (H,Mon), (H,Tue), (T,Mon), or (T,Tue)) to be the ball from the urn. There is a 1/3 chance that is has the same coin result as her card. Always.

Taken to Disneyworld: the bogus point (that it matters how, or if, she would know it is (H,Tue) when she has positive evidence that it isn't) that Beauty cannot observe (H,Tue) is removed. Please, PLEASE, PLEASE note that I am not asking for her confidence that (H,Tue) will/did happen. Just that it isn't happening now. You are confusing these two very different occurrences.

Imaginary coin (or you could use a real one): The extra coin identifies one day as a "match" and one as a "mismatch." Without caring which comes first. Whan you also consider the OP coin, this makes for an exact analogy to four balls from an urn.

A version of the balls-in-urns problem analogous to the Sleeping Beauty Problem would say that after the urn is selected, both balls are drawn from the urn. If one of the balls is amber, what is the probability that urn H was selected?

No, this isn't analogous.

To see why, imagine (well, this is equivalent to the "imaginary coins" version) that there are two different lab techs running the experiment. Maude works on Mondays, and Tony works on Tuesdays. Both remain hidden from Beauty during the experiment, so she can't deduce the day. Neither knows the result of the coin flip until arriving at work. Your version here is equivalent to an absurd scenario where the calendar miraculously changes from saying "Tuesday" to saying "Monday" if Tony looks at the coin and sees "Heads."

Tuesday still happens, whether the coin lands on Heads or Tails.

The analogous version would still look at only the one ball, and not ask the question if the ball is sienna. How this "not asking " is accomplished - Beauty isn't wakened, or the interview is skipped - is completely irrelevant.

 

[PeterDonis]

To me, it seems that we can reason:

• If the coin toss is tails, then there is nothing observably different about Monday and Tuesday for Sleeping Beauty. So P(Tails & Monday) = P(Tails & Tuesday)
• If the day is Monday, then there is nothing observably different between heads and tails (because the difference only shows up on Tuesday). So P(Tails & Monday) = P(Heads & Monday)

The above assumptions imply that all three are equally likely.

A similar argument appeared in the Wikipedia article linked to in the OP (IIRC), and I responded to it many, many posts ago, but I'll briefly recap my response.

To me, the first bullet of yours above is an argument for P(Monday|Tails) = P(Tuesday|Tails). Note that these are conditional probabilities, not probabilities of conjunctions. I don't think the premise of the bullet justifies a claim about conjunctions, only about conditionals.

Similarly, the second bullet of yours is an argument for P(Tails|Monday) = P(Heads|Monday); once again, conditionals, not conjunctions.

But if all we have is the above conditionals, we can't get to the conclusion, because that would require P(Monday|Tails) = P(Tails|Monday), and we don't have an argument for that. The only argument I can see for it would be to numerically evaluate the conditionals; since we are assuming them to be mutually exclusive and exhaustive in each case, we have P(Monday|Tails) = P(Tuesday|Tails) = 1/2, and P(Tails|Monday) = P(Heads|Monday) = 1/2. But the argument purports to show that we have P(Heads & Monday) = 1/3. So something appears to be wrong with this argument.

 

[Stephen Tashi]

Whether or not the Earth is flat is also controversial. The mere fact of a controversy doesn't mean much.

There is a distinction between the events "a controversy" and "a controversy given it is a controversy among many experts".

What does not seem controversial between you and me is the prior odds and the Bayes factor. Given agreement on those two pieces, then the posterior probability is unambiguously 1/3 by Bayes rule.

That's essentially correct.

I infer that the events in your prior probability space are the 4 situations that can arise in the experiment and that you assign each a probability 1/4.

I don't agree that your prior probability space is derived from information in the problem. I do agree that it is a plausible Bayesian prior. The simplest way to justify that prior probability space is to assume the Principle of Indifference as applied to those 4 events.

I definitely agree with your answer P(H|A) = 1/3 if we assume your prior probability space and if we assume the question in the Sleeping Beauty Problem is asking for P(H|A) as those events are defined in you prior probability space.

Controversies about the problem, which you may not care to entertain, involve the question of whether there can be other plausible prior probability spaces and whether the event "H|A" in your prior probability space is the only possible interpretation of what the Sleeping Beauty Problem is asking for.

 

[Dale]

I infer that the events in your prior probability space are the 4 situations that can arise in the experiment and that you assign each a probability 1/4.

I explicitly and repeatedly do not assign probabilities to your 4 situations. You keep going back to your misstatements of my position and your demands to specify things that do not need to be specified. You are setting up a strawman to knock down, and regardless of how many times you set it up and knock it down I am not going to accept any ownership of the strawman. I do not assign probabilities to any of your 4 situations, and I do not apply the principle of indifference to anything. Please read my actual analysis and not your strawman.

I don't agree that your prior probability space is derived from information in the problem.

The prior is that P(H) = 1/2 which is explicitly given in the problem when they state that the coin is fair. This is the ONLY probability that I assign.

Controversies about the problem, which you may not care to entertain,

I am happy to entertain arguments, but the mere fact of a controversy is uninformative.

 

[Stephen Tashi]

And I believe I have shown, in three different ways, that it is:

Four Beauties:

If you want your examples to be taken seriously as mathematical arguments, you'll have to explain exactly how the events in the problems you make up correspond to the events in the Sleeping Beauty Problem. I don't mind working such details out for myself in examples like the balls-in-urns problem where it's simple to map events like "amber" and "Awake". But when you create problems that involve multiple Beauties, cards, additional coins etc. you're need to explain how events in probabilty space for your problem correspond to events in the probability space for Sleeping Beauty Problem. (That would imply that the probability space for the Sleeping Beauty problem is well defined in the first place.)

If you make up N problems and do bother to show they are equivalent to the Sleeping Beauty Problem and all give the same answer, then we must ask if you used The Principle of Indifference in solving any of those N problems. If you did use such assumptions then your N examples show that with certain assumptions, we can get the same answer to the Sleeping Beauty Problem. This does not show that the Sleeping Beauty Problem has one and only one correct answer.

One theoretical question raised by the Sleeping Beauty Problem is whether Bayesian analysis is consistent. If a person is allowed free choice of picking sets of "indistinguishable" events and assigning them equal probability then do people always get the same answer to problems by using Bayesian analysis?

No, this isn't analogous.

To see why, imagine (well, this is equivalent to the "imaginary coins" version) that there are two different lab techs running the experiment.

Again, you leave it to the reader to make a correspondence between the events in your problem and events in whatever probability space your are using for the Sleeping Beauty Problem.

 

[Stephen Tashi]

I explicitly and repeatedly do not assign probabilities to your 4 situations. You keep going back to your misstatements of my position and your demands to specify things that do not need to be specified. You are setting up a strawman to knock down,

I apologize, but I think my strawman is more convincing that your assertion that P(A|H)/P(A|T) = 1/2 based soley on the number of events in A|H and A|T. You seem to be assuming each event in those sets has the same probability - otherwise it makes no sense to compute a probability as a ratio of numbers of events.

 

[stevendaryl]

A similar argument appeared in the Wikipedia article linked to in the OP (IIRC), and I responded to it many, many posts ago, but I'll briefly recap my response.

To me, the first bullet of yours above is an argument for P(Monday|Tails) = P(Tuesday|Tails). Note that these are conditional probabilities, not probabilities of conjunctions. I don't think the premise of the bullet justifies a claim about conjunctions, only about conditionals.

Well, the rules of conditional logic say that P(Monday & Tails) = P(Monday | Tails) P(Tails) and P(Tuesday & Tails) = P(Tuesday|Tails) P(Tails). So the conjunctions would have to have equal probability, as well, right?

Similarly, the second bullet of yours is an argument for P(Tails|Monday) = P(Heads|Monday); once again, conditionals, not conjunctions.

Once again, the laws of conditional logic imply that the conjunctions have to have equal probability.

But if all we have is the above conditionals, we can't get to the conclusion, because that would require P(Monday|Tails) = P(Tails|Monday), and we don't have an argument for that.

Maybe I'm not understanding your objection--it seems that if you grant the two premises:

P(Monday | Tails) = P(Tuesday | Tails)

and

P(Heads | Monday) = P(Tails | Monday)

Then it immediately follows that:

P(Monday & Tails) = P(Tuesday & Tails) = P(Heads & Monday)

 

[Dale]

I debated with myself whether or not to post this. I want to make it clear from the beginning that this is NOT what I am claiming. I am explicitly NOT calculating any of the probabilities below. The purpose of this post is to show why the problem specification does indeed give P(A|H)/P(A|T)=1/2 without calculating P(A|H) or P(A|T).

P(Awake|H & Monday) = 1 (She's awake Monday regardless of the coin toss)
P(Awake|H & Tuesday) = 0 (She's asleep Tuesday if the coin toss was heads)
P(Awake|T) = 1 (She's awake if the coin toss is heads, regardless of the day)

If you take your sample space for P(A) to mean "awakened and interviewed sometime during a given day" then this is correct.

However, suppose (consistent with the problem description) that you assume that an awaken-and-interview lasts for about 14 min, so that there are 100 of them in a day, and suppose that you take P(A) to mean "awakened and interviewed in a particular 14 min slot", then P(A|H&Mon) = 1/100, not 1. Meaning that she is asleep for 0.99 of the day and only awake and interviewed for 0.01 of the day. So, in this case there are 200 possible 14 min slots over the two days so P(A|H) = 1/200 and P(A|T) = 2/200. The ratio P(A|H)/P(A|T)=1/2. The same thing holds for any length that you might choose.

Now, suppose that the probabilities change from day to day (i.e. principle of indifference does not apply). Specifically, say that the staff is hung over on Monday so they are slower, and it takes them twice as long to do an awake-and-interview as normal. Now there are only 50 slots on Monday and 100 on Tuesday. So then P(A|H) = 1/150 and P(A|T) = 2/150. The ratio P(A|H)/P(A|T)=1/2.

You can even change the probability of different slots, so say that the staff only wakes subjects between 8:00 am and noon, and you can even make it a continuous probability distribution (I leave the demonstration to the interested reader). It doesn't matter, regardless of how you partition the space and assign probabilities, regardless of the actual value of P(A|H), what the problem actually gives us is P(A|H)/P(A|T)=1/2. The details of the partitioning always come down to a factor (the factor of 2 or 200 or 150 above) which gets divided out in the ratio.

This is why I explicitly and repeatedly insist that I do not know and do not need to know P(A|H) or any other specific similar probability. They are not given by the problem, and they are not necessary to calculate in the problem whereas the ratio P(A|H)/P(A|T)=1/2 is given and is necessary.

 

[Stephen Tashi]

• If the coin toss is tails, then there is nothing observably different about Monday and Tuesday for Sleeping Beauty. So P(Tails & Monday) = P(Tails & Tuesday)

Those interested in complexities of interpreting the Sleeping Beauty problem can consider whether there is anything observably different about Monday and Tuesday for Sleeping Beauty if the coin lands heads.

If the coin lands head, Sleeping Beauty doesn't know that. Sleeping Beauty can reason "if the coin landed heads, today is not Tuesday". In what sense does an if...then statement count as an observable difference when the if... part of the statement cannot be observed?

 

[JeffJo]

If you want your examples to be taken seriously as mathematical arguments, you'll have to explain exactly how the events in the problems you make up correspond to the events in the Sleeping Beauty Problem.

?

I have. Several times. Here it is again:

Four Beauties: Each Beauty is participating in an experiment where she will be woken once, and maybe twice, depending on the result of a coin flip.Drugs will be used to prevent her from remembering any possible wakings in the past. When awake, she is asked for her confidence in the proposition that the coin result was the one where she was to be only woken once. With the exception of naming the sleep day, and what that coin result is, this is the OP. Whatever probability space can be called correct in the OP can be used for each of these four women, by simply re-arranging the names on the outcomes. That is, switching "Heads" and "Tails" everywhere they occur, and/or switching "Monday" and "Tuesday" everywhere they occur.

But by using four Beauties, one with each possible combination, it is possible to treat it as a ball-in-urn problem, with the (strong) PoI applying to which combination belongs to the sleeping Beauty. This probability space is not ambiguous, as you feel the OP's is. I'm not claiming that it is the same probability space that you can use in the OP, only that it is the same problem. So if there is a correct answer to either, it is the correct answer for both. And this one has an unambiguous answer.

Taken to Disneyworld: Any probability space is the same as that in the OP, with the event "asleep" replaced with "taken to Disneyworld." You seem to think that Beauty's ability to observe the event changes the probability space that contains the event. Why? Beauty's information corresponds exactly to "that other outcome is not the current outcome" regardless of what happens in it. What if Beauty has a subconscious that is aware of everything when she is asleep, but she can't recall it when she is awake?

Imaginary Coin: This occurs in the OP itself. She just picks a random day somehow, and it doesn't matter if she knows what it is, or tells anybody what it is. Any probability space that applies to the OP is merely augmented by adding this selection to it. So, let C be the event where the chosen day correctly names today, and W the state where it is wrong. When the lab tech determines whether she is to be wakened or not on either morning (see note below), a probability space is {(C,H),(C,T),(W,H),(W,T)} and the strong PoI applies.When she finds herself awake, either (C,H) or (W,H) is eliminated, and it doesn't matter which since her confidence in H is 1/3 either way. Note that I don't have to prove that this is the same as the OP, because it is happening in the OP.

Note: This is really the point. "Monday will happen" is not a random occurrence, it is a certainty. It cannot be part of a valid probability space, which is why you find it ambiguous to try to include it. But when the lab tech comes to either wake beauty up, or extend her sleep, "Today" can be either "Monday" or "Tuesday," and that is a random occurrence to Beauty since she is prevented from knowing what day it is.

I don't mind working such details out for myself in examples like the balls-in-urns problem where it's simple to map events like "amber" and "Awake".

Itr is equally simple to map "Today".

But when you create problems that involve multiple Beauties, cards, additional coins etc. you're need to explain how events in probability space for your problem correspond to events in the probability space for Sleeping Beauty Problem. (That would imply that the probability space for the Sleeping Beauty problem is well defined in the first place.)

There is a well-defined one, you just aren't using it. It can't be defined on Sunday, since it requires the random variable TODAY to take on the values Monday, or Tuesday.

The prior probability space, before the information-attaining act of waking Beauty up occurs, is that (COIN,TODAY) is in the set {(H,Mon),(H,Tue),(T,Mon),(T,Tue)}. Unlike your ambiguous, determined-on-Sunday probability space, the strong PoI applies to this one. Given that Beauty is woken and interviewed instead of [left asleep, taken to Disneyworld, subconscience, whatever], she knows she can eliminate (H,Tue) from this non-ambiguous probability space. So the conditional probability that Heads was flipped is 1/3.

+++++

One last variation:

1) It doesn't matter if Beauty sleeps after Heads, or Tails, as long as we ask her for her confidence in that result. Agreed?
2) It can't matter if Beauty sleeps through Monday, or Tuesday, since she does not know the day. Agreed?

So, flip three coins on Sunday: a quarter, a dime, and a nickel. Call them Q, D, and N. Replace "Heads" in the OP, and any valid probability space, with Q=D. Replace the Monday/Tuesday mechanic by flipping the nickel over after Monday's activities. Wake Beauty on either day, unless Q=D=N on that day.

Using Halfer logic, there is a new, correct probability space that applies to this new problem. In the prior, the PoI applies to the eight possible combinations of (Q,D,N). When Beauty is awake, she knows that two are eliminated, leaving six. Of those six, two have Q=D. And since symmetry exists, this solution applies when you invert N.

 

[stevendaryl]

I debated with myself whether or not to post this. I want to make it clear from the beginning that this is NOT what I am claiming. I am explicitly NOT calculating any of the probabilities below.

I know that you're not. I'm saying that without something like the following, I consider your claim that P(A|H)/P(A|T) = 1/2 is not derived, but simply asserted. On what basis?

However, suppose (consistent with the problem description) that you assume that an awaken-and-interview lasts for about 14 min, so that there are 100 of them in a day, and suppose that you take P(A) to mean "awakened and interviewed in a particular 14 min slot", then P(A|H&Mon) = 1/100, not 1.

Okay, that's fine. But the memory happens once per day, not 100 times per day, so she knows that this is the first interview, right? So we can define A to be "Sleeping Beauty is interviewed during the first 14 minutes". Then P(A | H & Monday) = 1.

Meaning that she is asleep for 0.99 of the day and only awake and interviewed for 0.01 of the day. So, in this case there are 200 possible 14 min slots over the two days so P(A|H) = 1/200 and P(A|T) = 2/200. The ratio P(A|H)/P(A|T)=1/2. The same thing holds for any length that you might choose.

I don't understand how that logic is any different from saying that the subjective a priori probability of each time slot is equal. That's what I don't understand. You're assuming something that is equivalent to something that you're denying assuming. To use a counting argument as an estimate for probability is mathematically equivalent to assuming equal prior likelihood for different time slots. Whether the number of time slots is 2 (Monday or Tuesday) or 200 (divide each day into 14 minute chunks) doesn't make any difference.

 

[Stephen Tashi]

If you take your sample space for P(A) to mean "awakened and interviewed sometime during a given day" then this is correct.

You (I think) assume a prior distribution for selecting a time from a uniform distribution defined over some time intervals.

That transforms the question of how to slect the situation "Sleeping Beauty is awakened" to the question of how to select the time interval containing "Sleeping Beauty is awakened right now".

Being a sticker, I'll point out that there is no information about selecting time intervals given in the problem. In fact, the problem doesn't exclude the real life possibility that interviews vary in duration, even within one run of the experiment.

Considering time points out that the Sleeping Beauty problem is ill-posed as probability problem. (It's status as a problem about "credence" may be a different story.) The statement of the problem does not rule out the case that interviews have varying lengths and does not define any particular distribution for the time selected to be the time that Sleeping Beauty is interviewed. Problems in mathematical probability don't have a tacit rule that says "Two things whose difference is not mentioned may be assumed to be equal". If two things are not explicity given as equiprobable, the additional assumption that they are equiprobable needs to be stated by the problem solver.

One advantage of your method is that it avoids assigning any probability to the event (heads, Tuesday, asleep). In glancing at other treatments of the Sleeping Beauty problem on the web, it appears to me that many people shy away from talking about the probability of that event. A flaming Bayesian has no qualms about hypothesizing a prior distrbution over all 4 situations, including (heads, Tuesday, asleep). However, one can ask what (heads,Tuesday,asleep) has to do with modeling the situation when Sleeping Beauty is awake.

 

[stevendaryl]

If you want your examples to be taken seriously as mathematical arguments, you'll have to explain exactly how the events in the problems you make up correspond to the events in the Sleeping Beauty Problem.

The point of @JeffJo's variant is that in his twist on the story, the situation for Sleeping Beauty herself is the same as in original problem, but in the new variant, there is an additional symmetry so that symmetry arguments can allow Sleeping Beauty to uniquely determine her probability.

 

[Stephen Tashi]

The point of @JeffJo's variant is that in his twist on the story, the situation for Sleeping Beauty herself is the same as in original problem, but in the new variant, there is an additional symmetry so that symmetry arguments can allow Sleeping Beauty to uniquely determine her probability.

Which variant ? - of the many variants!

What, if anything, is the distinction between a "symmetry argument" and the Principle of Indifference?

If the Principle of Indifference is use in solving a mathematical probability problem, it is considered an assumption added to the information given in the problem.

Perhaps among those whose discuss problems in "credence" there is a ground rule that says one is always permitted to apply The Principle Of Indifference. (And perhaps a discussion of "credence" is more on-topic in this thread that a discussion of mathematical probability, but at the moment, I am only discussing whether the Sleeping Beauty problem is well-posed as a problem in mathematical probability. )

 

[Dale]

So we can define A to be "Sleeping Beauty is interviewed during the first 14 minutes"

Yes, you certainly can, but you don't have to, and the problem specification doesn't tell you that.

The point is that the problem specification does not give P(A|H&Mon)=1. By choosing a different sample space for A you could have P(A|H&Mon)=0.01

I don't understand how that logic is any different from saying that the subjective a priori probability of each time slot is equal.

It is not different. That was the next paragraph.

 

[stevendaryl]

Which variant ? - of the many variants!

Here's a quick recap, leaving out a bunch of details: Suppose we have four test subjects. We randomly pick two to be "one-wakers" (only awakened on one day) and two to be "two-wakers" (awakened both days). Of the one-wakers, we wake each on a different day.

Now, on each day, we explain to the subjects the situation, and we ask of each of those who are awake: What is the likelihood that you are a one-waker?

They can see that there are three people awake, and they know from the rules that exactly one of them is a one-waker. It's equally likely that it's any of the three. So each should conclude that the probability she is the one one-waker among those who are awake is 1/3.

The similarities and differences with the original Sleeping Beauty problem are that:

1. In both cases, she is randomly (50/50 chance) assigned to be a one-waker or a two-waker. In the original, it's decided by a coin flip.
2. In both cases, if she's a two-waker, then she is awakened on both days.
   
3. In both cases, if she's a one-waker, then she is awakened one of the two days. In the original, that day is Monday.

Maybe you would argue that it makes a difference that she's awakened on Monday, rather than Tuesday?

 

[JeffJo]

If the Principle of Indifference is use in solving a mathematical probability problem, it is considered an assumption added to the information given in the problem.

If no probability value is given in a mathematical probability problem, the PoI is the only way to supply one. For example, you are applying it when you say the probability that the coin will land with heads showing is 50%.

Kolmogorov didn't tell us how to assign values to probabilities, he just laid out the properties the values need to have.