[ Question ]

Jaynesian interpretation - How does “estimating probabilities” make sense?

by Haziq Muhammad1 min read21st Jul 202134 comments

2

ET JaynesMind Projection FallacyProbability & StatisticsProbabilistic ReasoningRationalityAI
Frontpage

In Professor Jaynes’ theory of probability, probability is the degree of plausibility about a thing given some knowledge and not an physical property of that thing.

However, I see people treating the probability of heads in a coin flip as a parameter that needs to be estimated. Even Professor Jaynes gives the impression that he is “estimating the probability” or looking for “the most plausible probability of heads” in page 164 of his book.

How does the idea of ”estimating a probability from data“ or finding the “most probable probability of heads in a coin flip given some data” make sense from this paradigm?

Thank you for your time

New Answer
Ask Related Question
New Comment

2 Answers

I don't know the theory itself, but from your description it seems likely that it is a simple ease of thinking thing. 'What should I believe is the likelihood that the result of a coinflip is heads?' isn't any different in meaning than 'estimating the probability of heads from data' or 'how plausible is heads?' as far as our actions go. We have formal ways of doing the middle of the three easily, so it is easier to think of that way, and we have built up intuitions about coinflips that require it.

Whether or not it is a physical property, it is easier to describe properties of individual things rather than of large combinations of things and actions. If his description of how the evidence should be weighed includes large parts of his theory, it could still be a valuable example.

That's my take as well.  "estimating the probability" really means "calculating the plausibility based on this knowledge".

1Haziq Muhammad2dI believe, mathematically, your claim can be expressed as: P(H|D)=argmaxθP(θ|D) whereθis the ”probability“ parameter of the Bernoulli distribution, H represents the the proposition that heads occurs, and D represents our data. The left side of this equation is the plausibility based on knowledge and the right side is Professor Jaynes’ ‘estimate of the probability’ . How can we prove this statement? Edit: Latex is being a nuisance as usual :) The right side of the equation is the argmax with respect to theta of P(theta | data)
2Jan Christian Refsgaard2dI think argmax is not the way to go as the beta distribution and binomial likelihood is only symmetric when the coin is fair, if you want a point estimate the mean of the distribution is better, which will always be closer to 50/50 than the mode, and thus more conservative, you are essentially ignoring all the uncertainty of theta and thus overestimating the probability.
1Haziq Muhammad2dWhat is the theoretical justification behind taking the mean? Argmax feels more intuitive for me because it is literally “the most plausible value of theta”. In either case, whether we use argmax or mean, can we prove that it is equal to P(H|D)?
1Jan Christian Refsgaard2dIf I have a distribution of 2 kids and a professional boxer, and a random one is going to hit me, then argmax tells me that I will always be hit by a kids, sure if you draw from the distribution only once then argmax will beat the mean in 2/3 of the cases, but its much worse at answering what will happen if I draw 9 hits (argmax=nothing, mean=3hits from a boxer) This distribution is skewed, like the beta distribution, and is therefore better summarized by the mean than the mode. In Bayesian statistics argmax on sigma will often lead to sigma=0, if you assume that sigma follows a exponential distribution, thus it will lead you to assume that there is no variance in your sample The variance is also lower around the mean than the mode if that counts as a theoretical justification :)

Disclaimer: Subjective Bayesian
 

Here is how we evil subjective Bayesian think about it

Prior:

Lets imagine two people, Janes and an Alien, Janes knows that most coins are fair and has a Beta(20, 20) prior, the alien does not know this, and puts the 'objective' Beta(1, 1) prior which is uniform for all frequencies.

Data:

The data comes up 12 heads and 8 tails

Posterior:

Janes has a narrow posterior Beta(32, 28) and the alien a broader Beta(13, 9), Janes posterior is also close to 50/50

if Janes does not have access to the data that formed his prior or cannot ... (read more)

2Haziq Muhammad2dI am very grateful for your answer but I have a few contentions from my paradigm of objective Bayesianism 1. You have replaced probability with a physical property: “frequency“. I have also seen other people use terms like bias-weighting, fairness, center of mass, etc. which are all properties of the coin, to sidestep this question. I have nothing against theta being a physical property such that P(heads|theta=alpha) = alpha. In fact, it would make a ton of sense to me if this actually were the case. But the issue is when people say that theta is a probability and treat it as if it was a physical property. I presume you don’t view probabilities to be physical properties. Even subjective Bayesians are not that evil... 2. “if Janes does not have access to the data that formed his prior or cannot explain it well, then what he believes about the coin and what the alien believes about the coin are both 'rational', as it is the posterior from their personal priors and the shared data.” If Professor Jaynes did not have access to the data that formed his prior, his prior would have been the same as the alien’s and they would have ended up with the same posterior. There is no such thing as a “personal prior”. I invite you to the light side: read Professor Jaynes’ book; it is absolutely brilliant
2Jan Christian Refsgaard2dI may be to bad at philosophy to give a satisfying answer, and it may turn out that I actually do not know and am simply to dumb to realize that I should be confused about this :) 1. There is a frequency of the coin in the real world, let's say it hasθ=0.5 1. Because I am not omniscient there is a distribution overθit's parameterized by some prior which we ignore (let's not fight about that :)) and some data x, thus In my head there exists a probability distributionp(θ∣x) 2. The probability distribution on my head is a distribution not a scaler, I don't know whatθis but I may be 95% certain that it's between 0.4 and 0.6 2. I think there are problems with objective priors, but I am honored to have meet an objective Bayesian in the wild, so I would love to try to understand you, I am Jan Christian Refsgaard on the University of Bayes and Bayesian conspiracy discord servers. My main critique is the 'in-variance' of some priors under some transformations, but that is a very weak critique and my epistemology is very underdeveloped, also I just bought Jaynes book :) and will read when I find a study group, so who knows maybe I will be an objective Bayesian a year from now :)
2Haziq Muhammad2dResponse to point one: I do find that to be satisfactory from a philosophical perspective but only because theta refers to a real-world property called frequency and not the probability of heads. My question to you is this: if you have a point estimate of theta or if you find the exact real world-value of theta (perhaps by measuring it with an ACME frequency-o-meter), what does it tell you about the probability of heads? Response to point two: The honour is mine :) If you ever create a study group or discord server for the book, then please count me in
2Jan Christian Refsgaard1dIn Bayesian statistics there are two distributions which I think we are conflating here because they happen to have the same value The posteriorp(θ∣y)describes our uncertainty ofθ, given data (and prior information), so it's how sure we are of the frequency of the coin The posterior predictive is our prediction for new coin flips~ygiven old coin flipsy p(~y|y)=∫Θp(~y∣θ,y)p(θ∣y)dθFor the simple Bernoulli distribution coin example, the following issue arise: the parameterθ, the posterior predictive and the posterior all have the same value, but they are different things. Here is an example were they are different: Hereθwas not a coin but the logistic intercept of some binary outcome with predictor variable x, let's imagine an evil Nazi scientist poisoning people, then we could make a logistic model of y (alive/dead) such asy=invlogit(ax+logit (θ)), Let's imagine that x is how much poison you ate above/below the average poison level, and that we haveθ=0.5, so on average half died Now we have: the value if we were omniscient θ=0.5The posterior ofθbecause we are not omniscient there is error p(θ|y)=0.5+ϵPredictions for two different y with uncertainty: p(~ylots of poison∣y)=p(~y∣y,~x=2)=0.99±ϵ≈0.99p(~yaverage poison∣y)=p(~y∣y,~x=0) =0.5±ϵ≈0.5Does this help? I will PM you when we start reading Jaynes, we are currently reading Regression and other stories, but in about 20 weeks (done if we do 1 chapter per week) there is a good chance we will do Jaynes
1Haziq Muhammad1dTo calculate the posterior predictive you need to calculate the posterior and to the calculate posterior you need to calculate the likelihood (in most problems). For the coin flipping example, what is the probability of heads and what is the probability of tails given that the frequency is equal to some value theta? You might accuse me of being completely devoid of intuition for asking this question but please bear with me... Sounds good. I thought nobody was interested in reading Professor Jaynes’ book anymore. It’s a shame more people don’t know about him
2Jan Christian Refsgaard17hGiven 1. your model and 2 the magical no uncertainty in theta, then it's theta, the posterior predictive allows us to jump from infrence about parameters to infence about new data, it's a distribution of y (coin flip outcomes) not theta (which describes the frequency)
1Haziq Muhammad15hThink I have finally got it. I would like to thank you once again for all your help; I really appreciate it. This is what I think “estimating the probability” means: We define theta to be a real-world, objective, physical parameter/quantity s.t. P(H|theta=alpha) = alpha & P(T|theta=alpha) = 1 - alpha. We do not talk about the nature of this quantity theta because we do not care what it is. I don’t think it is appropriate to say that theta is “frequency” for this reason: 1. “frequency” is not a well-defined physical quantity. You can’t measure “frequency” like you measure temperature. But we do not need to dispute about this as theta being “frequency” is unnecessary. Using the above definitions, we can compute the likelihood and then the posterior and then the posterior predictive which is represents the probability of heads given data from previous flips. Is the above accurate? So Bayesians who say that theta is the probability of heads and compute a point estimate of the parameter theta and say that they have “estimated the probability” are just frequentists in disguise?
2Jan Christian Refsgaard17hRegarding reading Jaynes, my understanding is its good for intuition but bad for applied statistics because it does not teach you modern bayesian stuff such as WAIC and HMC, so you should first do one of the applied books. I also think Janes has nothing about causality.
1Haziq Muhammad15hI‘m afraid I have to disagree. I do sometimes regret not focusing more on applied Bayesian inference. (In fact, I have no idea what WAIC or HMC is.) But in my defence, I am an amateur philosopher & logician and I couldn’t help finding more non-sequiturs in statistics textbooks than plot-holes in Tolkien novels. Perhaps if had been more naive and less critical (no offence to anyone) when I read those books, I would have “progressed” faster. I had lost hope in understanding statistics before I read Professor Jaynes’ book; that’s why I respect the man so much. Now I have the intuition but I am still trying to reconcile it with what I read in the applied literature. I also sometimes find it frustrating that I am worrying about philosophical nuances and intricacies while others are applying their (perhaps less coherent) understanding of statistics to solve problems but I guess it is worth it :)

Appreciate your reply. I think the source of my confusion is there being uncertainty in the degree of plausibility that we assign given our knowledge or there being uncertainty in our degree of belief given our knowledge. This feels a bit unnatural to me because this quantity is not an external/physical and unknown quantity but one that we assign given our knowledge. If we were to think of probabilities as physical properties that are unknown, then it makes sense to me that there can uncertainty in its value. How would you reconcile this?

2Jan Christian Refsgaard2dThe probability is an external/physical thing because your brain is physical, but I take your point. I think the we/our distinction arises because we have different priors
2TAG2dThat's a very misleading way of looking at it.
2Haziq Muhammad2dThese subjective Bayesians... :) I feel the same way about that statement. Could you please elaborate?
1Jan Christian Refsgaard2dUncertainty is a statement about my brain not the real world, if you replicate the initial conditions then it will always land either Head or Tails, so even if the coin is "fair"p(H∣θ)=0.5, then maybep(H∣θ,very good at physics)=0.95. the uncertainty comes form be being stupid and thus being unable to predict the next coin toss. Also there are two things we are uncertain about, we are uncertain aboutθ(the coins frequency) and we are uncertain aboutp(H∣θ), the next coin toss
1Haziq Muhammad2dSo you are saying that “we” are uncertain about the degree of belief/plausibility that what our brain is going to assign? Then who are “we” exactly? Apologies for being glib but I really don’t understand Also, it is a crime to have different priors given the same information according to us objective Bayesians so that can’t be the issue

Jaynes has a wonderful section in the same book where he discusses coin-flipping in depth. He flips a pickle jar lid in his kitchen in different ways to demonstrate how the method of flipping is critical - I love this whole section - and ends by saying that it’s a “problem of mechanics, highly complicated”. Section 10.3 (p317), How to cheat at coin and die tossing.

I’d thought he talked about this kind of “probability of a probability” kind of thing in the Chapter on the A_p distribution, and page 560 does have that phrase (though later on the page he says “The term ‘probability of a probability’ misses the point”…), but reading it again now it seems like I didn’t really understand this section. But give pages 560-563 a shot anyway.

Thank you so much for telling me about A_p distribution! This is exactly what I have been looking for.

“Pending a better understanding of what that means, let us adopt a cautious notation that will avoid giving possibly wrong impressions. We are not claiming that P(Ap|E) is a ‘real probability’ in the sense that we have been using that term; it is only a number which is to obey the mathematical rules of probability theory. Perhaps its proper conceptual meaning will be clearer after getting a little experience using it. So let us refrain from using the prefi... (read more)

2Maxwell Peterson2dI don't think so. Like you, I don't really understand thisApstuff philisophically. But the step where you drop the priorP(Ap|I)to obtainP(Ap|D,I)∝ P(D|Ap,I)is, I think, not warranted. Dropping the prior term outright like that... I don't think there are many cases where that's acceptable. Doing so does not reflect a state of low knowledge, but instead a state of pretty strong knowledge. To give intuition on what I mean: Contrast with the prior that reflects the state of knowledge "All I know is that H is possible and T is possible". This is closer to Jaynes' example about whether there's life on Mars. The prior that reflects that state of knowledge is Beta(1,1), which after two heads come up, becomes Beta(3, 1). The mean of Beta(3, 1) is 3/4 = 0.75. This is much less than the 1.0 you arrive at. A prior that gives 1.0 after the data H,H might be something like: "This coin is very unfair in a well-known, specific way: It either always gives heads, always gives tails, or gives heads and tails alternating: 'H,T,H,T...'." Under that prior, the data HH would give you a probability of near-1 that H is next. But that's a prior that reflects definite, strong knowledge of the coin. Maybe this argument changes given the nature ofAp, which again I don't really understand. But whatever it is, I don't think it's valid to assume the prior away.
2Maxwell Peterson2dAh, wait, I misunderstood. You're interested in the mode, huh - that's why you're taking the argmax. In my Beta(3,1) example, the mode is also 1. So no problem there. I was focused on the mean in my previous comment. I still think dropping the prior is bad but now I'm not sure how to argue the point...
1Haziq Muhammad2dI dropped the prior for two reason: 1. I assumed the background information to be indifferent to the A_p’s 2. We do not explicitly talk about the nature of the A_p’s. Prof. Jaynes defines it as a proposition such that P(A|A_p, E) = p. In my example A_p is defined as a proposition such that P(H|A_p, I) = p. No matter what prior information we have, it is going to be indifferent to the A_p’s by virtue of the fact that we don’t know what A_p represents Is this justification valid?
2Maxwell Peterson2dIsn’t A_p the distribution over how often the coin will come up heads, or the probability of life on Mars? If so… there’s no way those things could be indifferent to the background information. A core tenet of the philosophy outlined in this book is that when you ignore prior information without good cause, things get wacky and fall apart. This is part of desiderata iii from chapter 2: “The robot always takes into account all of the evidence it has relevant to a question. It does not arbitrarily ignore some of the information, basing its conclusions only on what remains.” (Then Jaynes ignores information in later chapters because it doesn’t change the result… so this desideratum is easier said than done… but yeah)
1Haziq Muhammad2d“[…] A_p the distribution over how often the coin will come up heads […]” - I understood A_p to be a sort of distribution over models; we do not know/talk about the model itself but we know that if a model A_p is true, then the probability of heads is equal to p by definition of A_p. Perhaps the model A_p is the proposition “the centre of mass of the coin is at p” or “the bias-weighting of the coin is p” but we do not care as long the resulting probability of heads is p. So how can the prior not be indifferent when we do not know the nature of each proposition A_p in a set of mutually exclusive and exhaustive propositions?
2Maxwell Peterson1dI can’t see anything wrong in what you’ve said there, but I still have to insist without good argument that dropping P(A_p|I) is incorrect. In my vague defense, consider the two A_p distributions drawn on p558, for the penny and for Mars. Those distributions are as different as they are because of the different prior information. If it was correct to drop the prior term a priori, I think those distributions would look the same?
1Haziq Muhammad1dYou are right; dropping priors in the A_p distribution is probably not a general rule. Perhaps the propositions don’t always need to interpretable for us to be able impose priors? For example, people impose priors over the parameter space of a neural network which is certainly not interpretable. But the topic of Bayesian neural networks is beyond me
2Maxwell Peterson18hIt seems like in practice, when there’s a lot of data, people like Jaynes and Gelman are happy to assign low-information (or “uninformative”) priors, knowing that with a lot of data the prior ends up getting washed away anyway. So just slapping a uniform prior down might be OK in a lot of real-world situations. This is I think pretty different than just dropping the prior completely, but gets the same job done.
2Maxwell Peterson18hNow I’m doubting myself >_> is it pretty different?? Anyone lurking reading this who knows whether uniform prior is very different than just dropping the prior term?
1Haziq Muhammad16hI believe it is the same thing. A uniform prior means your prior is constant function i.e. P(A_p|I) = x where x is a real number with the usual caveats. So if you have a uniform prior, you can drop it (from a safe height of course). But perhaps the more seasoned Bayesians disagree? (where are they when you need them)