Properties of Belief Propagation

Loading...

En provenance du cours de Stanford University

Probabilistic Graphical Models 2: Inference

309 notes

Explore Related Videos

At Coursera, you will find the best lectures in the world. Here are some of our personalized recommendations for you

Stanford University

Probabilistic Graphical Models 2: Inference

309 notes

Cours 2 sur 3 dans Specialization Probabilistic Graphical Models

Probabilistic graphical models (PGMs) are a rich framework for encoding probability distributions over complex domains: joint (multivariate) distributions over large numbers of random variables that interact with each other. These representations sit at the intersection of statistics and computer science, relying on concepts from probability theory, graph algorithms, machine learning, and more. They are the basis for the state-of-the-art methods in a wide variety of applications, such as medical diagnosis, image understanding, speech recognition, natural language processing, and many, many more. They are also a foundational tool in formulating many machine learning problems. This course is the second in a sequence of three. Following the first course, which focused on representation, this course addresses the question of probabilistic inference: how a PGM can be used to answer questions. Even though a PGM generally describes a very high dimensional distribution, its structure is designed so as to allow questions to be answered efficiently. The course presents both exact and approximate algorithms for different types of inference tasks, and discusses where each could best be applied. The (highly recommended) honors track contains two hands-on programming assignments, in which key routines of the most commonly used exact and approximate algorithms are implemented and applied to a real-world problem.

À partir de la leçon

Belief Propagation Algorithms

This module describes an alternative view of exact inference in graphical models: that of message passing between clusters each of which encodes a factor over a subset of variables. This framework provides a basis for a variety of exact and approximate inference algorithms. We focus here on the basic framework and on its instantiation in the exact case of clique tree propagation. An optional lesson describes the loopy belief propagation (LBP) algorithm and its properties.

Belief Propagation Algorithm21:21

Properties of Cluster Graphs15:00

Properties of Belief Propagation9:31

Rencontrer les enseignants

Daphne Koller
Professor
School of Engineering

So now, we're going to look more closely into the belief propagation algorithm and

understands some of the important properties that it has.

So here's our example, cluster graph with the four clusters over the loop.

And now, let's remind ourselves that the cluster beliefs are defined to be the

product of the clust, of the factors assigned to the to the clusters of psi

one up to psi four times the product of the messages that were incoming into the

clusters. So for example, the beliefs over cluster

one is psi one of a b times the message coming in from cluster four, whose scope

is a, and the message coming in from cluster two, whose scope is b.

Now a cluster graph is said to be calibrated.

If the clusters agree with each other, so specifically if in terms of their beliefs

beta I, if we were to ask cluster one what it thinks about say variable B, and

we were to ask cluster two what it thinks about the variable B, they would agree

with each other. Formally, this says that if we

marginalize out the belief that say cluster I and, marginalize out the

beliefs in cluster J and we ask them what they agree about their joint subset.

S I J, they would agree with each other in terms of the marginal beliefs.

Now, an important property of cluster graph belief propagation is that

convergence of the belief propagation algorithm implies calibration.

So, to understand why that's the case, let's go through a simple derivation.

So the convergence of belief propagation occurs when the message at the next time

step equals the message at the previous time step.

So now, let's see what the implications of that are.

So if this is the, message it's the next time step.

It's computed. As the product of the.

psi Is, which are the factors assigned to the cluster I times all of the messages

other, except for.

cluster J. And those are all multiplied together,

and marginalized out over the subset. So now let's remind ourselves of what the

beliefs would be at this point in the process if we were to compute them.

And that's derived from this expression over here.

So this is the same psi I that we had over here.

And this is the product of all messages. So if this is, if, if here we have the

product of psi I, and all messages except one and here we have psi I and all

messages we can equally well, rewrite it, in this form over here where we multiply

in all the messages, and the divide out, the one that wasn't included, delta JI.

So now, because of convergence we have the this is equal to this is equal to

delta IJ because of this equality over here.

And so if we rewrite that, we can see that we have that delta IJ times delta JI

is equal to this summation over here. Because we can multiply delta JI on the

right-hand side by delta IJ on the left-hand side.

So we have shown that delta JI times Delta IJ is,

is effectively the marginal over the beliefs at that point in the process.

But we can equally well, using the identical argument, show that Delta JI

times Delta IJ is also the marginal over the beliefs for cluster J.

So if is the beliefs for cluster I, this is the beliefs for cluster j, and so and

that we've shown that in both cases. The marginals are equal to the same

expression, which is the product of the messages on both sides of the link.

And so, because both expressions are equal to the same thing, they must be

equal to each other. And this is exactly the calibration

property that we were trying to prove. So we've shown the convergence of the

belief propagation algorithm implies calibration.

This expression, which corresponds to the, subset beliefs.

because it's the marginal over the cluster beliefs, is called u I j, and

it's an expression that we'll use, a little bit later.

In particular, one of the important properties that we get by putting these

pieces together is another property called reparameterization.

Now, that's a bit of a mouthful. So, let's first do the derivation.

And then understand what the word means. so remember that, as we run belief

propagation. At the end of it, we have these, beliefs

over the clusters. Which are defined in this expression.

So specifically, for example, we have for cluster one we would have psi one times

delta four one times delta two one. And similarly for the other clusters.

We've also just now defined these clusters, these subset beliefs.

Which are, which we've just shown are a product of two messages on the two

different dir going in each direction. So, specifically here we would have for

example that mu of one two is equal to delta one two times delta two one.

Now if we look at this graph with all these all these little factors attached

to the clusters and the subsets. We see that there's a lot of repetition

here. So delta four one appears for example,

here, but it also appears there. And in fact, if we look at it, we see

that each of these expressions appears, each of these message expressions appears

exactly twice. So delta four one appears here and here.

And for example, delta one two appears here and and here.

And, so, if we write all of these together in in a different form.

We can see that we, can, if we multiply all of the beliefs, and divide by all of

the subsets. We would end up with multiplying in delta

four one for example on the on the belief side but then canceling it out when we

divide by mu 1,4. S, and, similarly, delta one two would be

multiplied in, on. In terms of theta two but then cancelling

out in the denominator in U one two. So if we, want to drade this in a little

bit of a broader, setting, so if we have a product of the beliefs over here,

multiplied, and then divide by a product of all of the sub sets, we can, see that

this, numerator is equal to the product over I, of, psi I, times the product of

all thee, incoming messages into cleek I. The denominator is simply equal, to, the

product of all, of, the messages on, each direction.

And we can see that here we're just counting the same message in two

different ways. and so each message appears once in the

numerator and once in the denominator, which means that they all cancel with

each other. And so what we end up with is the product

of all of the initial potentials of psi I.

And that product is simply the unnormalized measure.

and so. The implication of this is that this

expression over here. This ratio is simply a different set of

parameters that captures the original un-normalized measure that defined our

distribution. And so we haven't lost information.

No information loss as, as a result of the belief propagation algorithm.

The representation of the un-normalized measure is still there, just using a

different set of parameters. Specifically the cluster subsets, the

cluster beliefs and the subset beliefs. So to summarize, we see the add

convergence of belief propagation, the cluster graph beliefs all agree with each

other on the variables that are shared among them.

And, as a consequence of that, the cluster graphs beliefs are simply an

alternative parameterization of the original un normalized density, but one

that has this nice calibration property which allows us to ready off information

about a variable from any clique in which it appears.

And so, we have reparameterized the original distribution into a more

convenient and easily usable form.

Explorer notre catalogue

Rejoignez-nous gratuitement et obtenez des recommendations, des mises à jour et des offres personnalisées.

Coursera propose un accès universel à la meilleure formation au monde, en partenariat avec des universités et des organisations du plus haut niveau, pour proposer des cours en ligne.

© 2019 Coursera Inc. Tous droits réservés.

Télécharger dans l'App Store

Disponible sur Google Play