In this post, we will build intuitions behind Bayes theory via an interactive visualization and then realize certain properties of such a probabilistic formulation of Machine Learning. It turns of that most advanced approaches in fact run on top of these very simple foundational concepts and help us model problems quite beautifully.
Probability theory is ubiquitous in Machine Learning and perhaps will be the most important tools for future breakthroughs. By the end of this post, the hope is that you will have gained just enough insight into the Bayesian world-view.
This post has an accompanying Bayesian Learning Demo. See here!
In itself, the idea of "learning" is not well defined. But like any physical system, we have a mathematical model around how "learning" should be quantified. As you might already imagine, there cannot possibly exist a deterministic view of "learning" given the subjective nature of matter. In light of this uncertainty, it is quite obvious that we turn to probability theory to seek answers to our questions.
In learning theory, a "concept" is something that we wish to learn given some data. "Concept" is not concretely realizable and instead we wish to learn something from a big collection of concepts called a "concept" class. For instance, imagine I provide you a list of numbers and ask you what "concept" do these numbers represent. You'd make educated guesses from a certain list of concepts you had in mind, for instance even/odd numbers, multiples of 3 or more complicated ones like odd powers of 2. The possibilities are endless which actually makes the realization of every concept pretty much impossible. Instead, we work around this complication and arrive at a mutually agreed upon set of "concepts" to form the "Hypothesis" set. While the size of this set may be infinite as well, ideally its nature tends to be more approachable and computationally tractable.
For the more mathematically inclined, it is fruitful to view hypotheses as just any other function which when fed with data provides meaningful inference. For instance, to distinguish cats and dogs, let us say you chose to build an SVM classifier. In essence, you have implicitly arrived at a choice of your hypothesis set - The set of all hyperplanes that separate the data under (relaxed) margin constraints.
Our hope is that this hypothesis set is a "close" enough representation of the true concept class so as to minimize the "generalization error" on unseen data. The true nature of "close" and "generalization error" is out of scope for this post. But to make things concrete, I would like to present a very simple yet powerful result in learning theory
In plain words, the probability that "true risk" will be within the limits of a fixed positive constant with a confidence of at least . Risk in simple words measures how inaccurate was your learning with respect to new unseen data.
The above equation is dense with knowledge and has various other forms under relaxed constraints. But, for the sake of brevity I will defer that discussion, perhaps for another day. The takeaway here is that we do have a concrete quantification of both the risk and the uncertainty in that risk.
In hindsight, Bayes rule (discussed later) fits quite naturally when modelling human cognition. To motivate the intuition, imagine how a child's "concept" of classifying objects based on earlier observations gets strengthened every time the objects are observed.
I will put it out right away that like all modelled physical systems, theory doesn't always lead to tractable solutions and only under reasonable assumptions do we solve the learning problem. Nevertheless, the bayesian approach is theoretically well-motivated. More importantly, it works!
Let us take a look at the Bayes equation which I'm sure is nothing new. In machine learning, this factorization is a boon for the theorists and occasionally a bane for the practitioners.
I will defer the explanation and instead invite you to play the number game.
The game is very simple. I will give you a set of numbers and a universe of concepts where these numbers could be coming from. Your job is to guess which concept do these numbers belong to. We also have our "Bayesian" friend playing this game along with us.
For the sake of this game, I will limit all numbers between 1 and 100 and the universe of concepts consists of the following
In total, you have just 32 concepts in this universe of numbers. I call this .
I give you . Well, you'd tell me that this could be anything, an even number, a perfect square, a number ending in 6 and so on. And you are right, our Bayesian friend would be just as confused as you are. This is quantified by the fact that when that friend tells us the predictions for each class, it turns out the uncertainty is quite high given that many hypotheses tend to have high probabilities.
In this trial, we will quantify the "likelihood" that a dataset comes from a given hypothesis as
We read this as the "likelihood" of the dataset given hypothesis . This quantifies the conditional dependency of having generated the dataset given a hypothesis.
To keep things simple, I've defined is as the probability of picking a number from the complete set of numbers uniform. For instance,
is the likelihood of picking up a single number from the set of 50 even numbers between 1 and 100 (our universe of numbers defined earlier). Extending this to a dataset of even numbers, since each choice is independent of the other, we simply have
Let us compare this to say the likelihood of being from a power of four set,
This equation tells us that the likelihood of 16 being from a the set of powers of 4 is considerably larger than it being from a set of even numbers. If we augment the dataset as , it leads to a likelihood choice between and . Those odds escalated quickly!
This is in fact attributed to a principle known as the Occam's Razor which can be paraphrased as - given everything else same, a simpler (in this case the smaller) explanation is often the better one.
Coming back to our original data, we were confused among different competing hypothesis. How do we solve this? Prior knowledge is the key. You prior experience with numbers would tell you that it is more often that you've seen even numbers than numbers as specific as powers of 4. However, somebody else might have had an opposite experience so far and would have different "priors".
To accommodate those experiences, we use a product of the "likelihood" and the "prior" to form the "posterior".
In this context,
The probability that the concept is "given" that we have seen data is proportional to the likelihood of the data conditional on belonging to that hypothesis scaled by a prior factor. The proportionality is removed by a normalization constant composing of the "evidence".
Let us say the prior for even numbers is and , our posterior probabilities would now be reported as and . I guess I'd be better off choosing the power of 4 set as my concept that the set of even numbers. It should be easy to see that changing the values of the prior would lead me to different results.
The subjective nature of the distribution of likelihoods and priors is in fact where we encode our underlying assumptions about the concept. To play with different data and probability configurations, head over to the Interactive Bayesian Learning Demo. Note how adding more data makes our "Bayesian" friend more confident about the concept just like you would be.
Having set our intuition right, it is time we delve into certain equations and realize some properties of the Bayesian approach. We will complete our Bayes rule for this problem
where . is an indicator function which is if there exists some number in not satisfied by and otherwise. The remaining term is the same as the discussed earlier. This comes from a fairly natural intuition that if a number in the dataset does not satisfy the hypothesis , then the likelihood of the data coming from that hypothesis should be zero.
For the priors , I've chosen the standard odd/even numbers to have a high prior, sets of multiples and ending numbers a moderate prior and the more "unnatural" sets in the end to have a very low prior. This again is a natural choice under the knowledge of the problem setup.
Note that the choice of these likelihoods and priors are what will affect the solution which is why I invite you to try out different custom/preset distributions at the demo page.
It turns out that with "sufficient" amount of data (the term has relevant definitions which I defer to another discussion), the posterior tends to peak at one single hypothesis which is called the "maximum a posteriori" or "MAP estimate" and tends to push down all other probabilities to zero. It is compactly written in literature using the Dirac Measure which is a binary valued function parametrized over a set. In this case it gives 1 when and 0 otherwise.
The MAP estimate is written in a more familiar form as
It is more convenient to write this as the "Log-likelihood"
Given that the prior stays constant, with enough data, the likelihood term starts dominating. The MAP estimate then starts converging towards maximum likelihood estimate or "MLE".
The takeaway here is that data overwhelms the prior. In retrospect, this is quite intuitive. To observe, in the experiment trial above, put and see how suddenly the MAP estimate peaks at just a single hypothesis. Theoretically, we claim that the "truth is recoverable in the limit of infinite data". This in fact forms the foundations of most machine learning solutions.
Now finally, to make our predictions on a new test data point , we run it via the Posterior Predictive Distribution. In this problem we get
which is just a simple Bayes Model Averaging to predict whether the new number belongs to the learned concept or not.
Whatever we've learned so far stays at the core of any probabilistic model. But there are a handful of further concerns we still have not addressed. I note down a few without going into further details yet.
Modelling our assumptions into the likelihood and prior distributions are crucial. One concern arises when distributions are based on "frequency counts". Beta distributions tend to take a nice form in such situations to make sure previously unseen classes (priors amounting to zero) don't always get nullified.
In a variety of high dimensional scenarios, problem generally tends to be intractable. This is where factorization into conditionally independent factors becomes imperative. (Factor graphs)
It might happen that MAP/MLE objective cannot be expressed in a closed form. This is where a variety of solutions from convex optimization literature are invoked like the stochastic gradient descent.
Most data in practice tends to allude to some inherent structure. Bayesian Modelling is a fairly powerful approach to model those relationships via a paradigm of approaches known as Probabilistic Graphical Models. We've barely scratched the surface here but this opens up avenues to understand a variety of fairly popular methods like Hidden Markov Models (HMMs) and Conditional Random Fields (CRFs). The references are highly recommended.
As an interesting side note, Bayesians have a strong tendency to reason anything and everything from the lens of Bayes theorem. It shouldn't be surprising now to model perhaps everything within reasonable limits of this model and is an interesting line of thought to consider.