Lesson1Notes PDF
Lesson1Notes PDF
Lesson 1: Localization
Intro
In this course you will learn how to program self-driving cars! Specifically, in this unit, you will
learn how to program a localizer, which is a directional aid used to assist machines in making
informed navigation decisions.
Over the past decade computer scientists have developed methods using sensors, radars and
software to program vehicles with the ability to sense their own location, the locations of
other vehicles and navigate a charted course.
Stanford University Professor and director of the Stanford Artificial Intelligence Lab,
Sebastian Thrun's autonomous cars, Stanley and Junior illustrate the progress that has been
made in this field over the last decade. Additionally, the Google Driverless Car Project seeks to
further research and development to make driverless cars a viable option for people
everywhere. Driverless cars sound neat, huh? Want to program your own?
Let's get started!
Copyright2014Udacity,Inc.AllRightsReserved.
Imagine a robot resides in a one-dimensional world, so somewhere along a straight line, with no
idea where it is in this world. For an example of such a world, we can imagine a long, narrow
hallway where it is only possible to move forward or backwards; sideways motion is impossible.
Since our robot is completely clueless about its location, it believes that every point in this one
dimensional world is equally likely to be its current position. We can describe this
mathematically by saying that the robot's probability function is uniform (the same) over the
sample space (in this case, the robot's one-dimensional world).
If we were to draw a graph of this probability function with probability on the vertical axis and
location on the horizontal axis, we would draw a straight, level line. This line describes a
uniform
probability
function,
and
it
represents the state of
maximum confusion.
Assume there are three
landmarks, which are three
doors that all look alike and
we can distinguish a door
from a non-door area.
If the robot senses it is next to a door, how does this affect our belief or the probability that
the robot is near a door?
Copyright2014Udacity,Inc.AllRightsReserved.
The posterior function is the best representation of the robot's current belief, where each
bump represents the robot's evaluation of its position relative to a door.
However, the possibility of making a bad measurement constantly looms over robotics, and
over the course of this class we will see various ways to handle this problem.
Robot Movement
If the robot moves to the right a certain distance, we can shift the belief according to the
motion.
Notice that all of the bumps also shift to the right, as we would expect. What may come as a
surprise, however, is that these
bumps have not shifted perfectly.
They have also flattened. This
flattening is due to the uncertainty
in robot motion: since the robot
doesn't know exactly how far it has
moved, its knowledge has become
less precise and so the bumps have
become less sharp.
When we shift and flatten these
bumps, we are performing a
convolution. Convolution is a
mathematical operation that takes
two functions and measures their overlap. To be more specific, it measures the amount of
overlap as you slide one function over another. For example, if two functions have zero
overlap, the value of their convolution will be equal to zero.
If they overlap completely, their convolution will be equal to one. As we slide between these
two extreme cases, the convolution will take on values between zero and one. The animations
here and here should help clarify this concept.
In our convolution, the first function is the belief function (labeled "posterior" above), and the
second is the function which describes the distance moved, which we will address in more
depth later. The result of this convolution is the shifted and flattened belief function shown
below.
Now, assume that after the robot
moves it senses itself right next to a
door again so that the measurement is
the same as before. Just like after our
first measurement, the sensing of a
door will increase our probability
Copyright2014Udacity,Inc.AllRightsReserved.
function by a certain factor everywhere where there is a door. So, should we get the same
posterior belief that we had after our first measurement? No! Because unlike with our first
measurement, when we were in a state of maximum uncertainty, this time we have some idea
of our location prior to sensing. This prior information, together with the second sensing of a
door, combine to give us a new probability distribution, as shown in the bottom graph below.
Copyright2014Udacity,Inc.AllRightsReserved.
Congratulations! You now understand both probability and localization! The type of
localization that you have just learned is known as Monte Carlo localization, also called
histogram filters.
Exercises
Question 1 (Uniform Probability Quiz)
If a robot can be in one of five grid cells, labeled Xi ,for i=1...5, what is the probability for each Xi
such that p becomes a uniform distribution over five grid cells, expressed as a vector of five
probabilities. For example, the probability that the robot is in cell two, can be written as:
p[2]=0.2
and given that each cell has the same probability that the robot will be in there, you can also
write the probability that the robot is in cell five by writing:
p[5]=0.2
printp
Copyright2014Udacity,Inc.AllRightsReserved.
[0.2,0.2,0.2,0.2,0.2]
tohelpustoverifythatoursolutionmatchestheprevioussolutions.
foriinrange(n)
#Appendtothelist''n''elementseachofsizeoneover''n''.Remember
tousefloatingpointnumbers
p.append(1./n)
printp
If we forget to use floating point operations, python will interpret our division as integer
division. Since 1 divided by 5 is 0 with remainder 1, our incorrect result would be [0,0,0,0,0]
Now we are able to make p a uniform probability distribution regardless of the number of
available cells, specified by n.
Copyright2014Udacity,Inc.AllRightsReserved.
How will this affect the robot's belief in its location in the world?
Knowing that the robot senses itself in a red cell, let's update the belief vector such that we
are more likely to reside in a red cell and less likely to reside in a green cell.
To do so, come up with a simple rule to represent the probability that the robot is in a red or a
green cell, based on the robot's measurement of 'red':
redcells*0.6
greencells*0.2
For now, we have chosen these somewhat arbitrarily, but since 0.6 is three times larger than
0.2, this should increase the probability of being in a red cell by something like a factor of three.
Keep in mind that it is possible that our sensors are incorrect, so we do not want to multiply
the green cell probability by zero.
What is the probability that the robot is in a red cell and the probability that it's in a green cell?
Answer4
After Sense)
(Probability
Copyright2014Udacity,Inc.AllRightsReserved.
Copyright2014Udacity,Inc.AllRightsReserved.
We want to write a program that will multiply each entry by the appropriate factor: either pHit
or pMiss.
We can start off by not worrying about whether this distribution will sum to one (whether it is
normalized). As we showed in the last few questions, we can easily normalize later.
Copyright2014Udacity,Inc.AllRightsReserved.
Write a piece of code that outputs p after multiplying pHit and pMiss at the corresponding
places.
0.04000000000000004,
0.12,
0.040000000000000008
0.12,
0.040000000000000008
0.36
Copyright2014Udacity,Inc.AllRightsReserved.
Furthermore, let's say that the robot senses that it is in a red cell, so we define the
measurement Z to be red:
p=[0.2,0.2,0.2,0.2,0.2]
world=['green','red','red','green','green']
#definethemeasurement''Z''tobered
Z='red'
pHit=0.6
pMiss=0.2
Define a function to be the measurement update called sense, which takes as input the initial
distribution p and the measurement Z.
Enable the function to output the non-normalized distribution of q, in which q reflects the
non-normalized product of input probability (0.2) with pHit or pMiss in accordance with whether
the color in the corresponding world cell is red (hit) or green (miss).
p=[0.2,0.2,0.2,0.2,0.2]'''
world=['green','red','red','green','green']
Z='red'
pHit=0.6
pMiss=0.2
defsense(p,Z):
#Defineafunction'''sense'''
returnq
printsense(p,Z)
When you return q, you should expect to get the same vector answer as in question 6, but now
we will compute it using a function. This function should work for any possible Z (red or green)
and any valid p[]
Copyright2014Udacity,Inc.AllRightsReserved.
defsense(p,Z):
q=[]
foriinrange(len(p)):
hit=(Z==world[i])
q.append(p[i]*(hit*pHit+(1hit)*pMiss))
returnq
printsense(p,Z)
This code sets hit equal to one when the measurement is the same as the current entry in
world and 0 otherwise. The next line appends to the list q[ ] an entry that is equal to p[i]*pHit
when hit = 1 and p[i]*pMiss when hit = 0.
This gives us our non-normalized distribution. A "binary flag" refers to the following piece of
code: (hit * pHit + (1-hit) * pMiss). The name comes from the fact that when the term (hit) is 1,
the term (1-hit) is zero, and vice-versa.
#First,computethesumofvectorq,usingthesumfunction
s=sum(q)
foriinrange(len(p)):
#normalizebygoingthroughalltheelementsinqanddividebys
q[i]=q[i]/s
Copyright2014Udacity,Inc.AllRightsReserved.
returnq
printsense(p,Z)
[0.1,0.3,0.3,0.1,0.1]
s=sum(q)
foriinrange(len(p)):
q[i]=q[i]/s
returnq
printsense(p,Z)
[0.27,0.09,0.09,0.27,0.27]
This output looks good. Now the green cells all have higher probabilities than the red cells. The
"division by 44" referred to in the video comes from the normalization step where we divide by
the sum. The sum in this case was 0.44.
Copyright2014Udacity,Inc.AllRightsReserved.
Can you modify the code so that it updates the probability twice and gives you the posterior
distribution after both measurements are incorporated so that any sequence of measurement,
regardless of length, can be processed?
#Grabthekelement,applytothecurrentbelief,p,andupdate
beliefintoitself
p=sense(p,measurements[k])
printp
#runthistwiceandgetbacktheuniformdistribution:
This code defines the function sense and then calls that function once for each measurement
and updates the distribution.
[0.2,0.2,0.2,0.2,0.2]
Exact Motion
Suppose there is a distribution over the
cells such as:
91
1 1 1 1
3 3 9 9
Copyright2014Udacity,Inc.AllRightsReserved.
We know the robot moves to the right, and we will assume the world is cyclic. So, when the
robot reaches the right-most cell, it will circle around back to the first, leftmost cell.
Changing the probability for cell 2 from zero to one will allow us to see the effect of the
motion.
p=[0,1,0,0,0)
world=['green','red','red','green','green']
measurements=['red','green']
pHit=0.6
Copyright2014Udacity,Inc.AllRightsReserved.
pMiss=0.2
defsense(p,Z):
q=[]
foriinrange(len(p)):
hit=(Z==world[i])
q.append(p[i]*(hit*pHit+(1hit)*pMiss))
s=sum(q)
foriinrange(len(p)):
q[i]=q[i]/s
returnq
printsense(p,Z)
defmove(p,U):
#Enteryourcodehere
returnq
forkinrange(len(measurements)):
p=sense(p,measurements[k])
printmove(p,1)
forkinrange(len(measurements)):
p=sense(p,measurements[k])
printmove(p,1)
Copyright2014Udacity,Inc.AllRightsReserved.
Copyright2014Udacity,Inc.AllRightsReserved.
the uniform distribution. Since this problem starts with a state of maximum confusion
and then moves (which, remember, never increases our knowledge of the system), we
must remain in the maximally confused state.
defmove(p,U):
q=[]
foriinrange(len(p)):
q.append(p[(iU)%len(p)])
returnq
[0.0,0.1,0.8,0.1,0.0]
Copyright2014Udacity,Inc.AllRightsReserved.
Copyright2014Udacity,Inc.AllRightsReserved.
printp
[0.01,0.01,0.16,0.66,0.16]
The result is a vector where 0.66 is the largest value and not 0.8 anymore. This is expected: two
moves has flattened and broadened our distribution.
After 1000 moves, we have lost essentially all information about the robot's location. We need
to be continuously sensing if we want to know the robot's location.
Entropy and information entropy are both fascinating topics. Feel free to read more about
them!
Copyright2014Udacity,Inc.AllRightsReserved.
Compute the posterior distribution if the robot first senses red, then moves right by one, then
senses green, then moves right again. Start with a uniform prior distribution:
p=[0.2,0.2,0.2,0.2,0.2]
The robot likely starts in grid cell 3, which is the right-most of the two red cells.
Copyright2014Udacity,Inc.AllRightsReserved.
Keep in mind that step 2 always increases our knowledge and step 4 always decreases our
knowledge about our location.
Extra Information: You may be curious about how we can use individual cells to represent a
road. After all, a road isn't neatly divided into cells for us to jump between: mathematically, we
would say the road is not discrete but rather continuous. Initially, this seems like a problem.
Fortunately, whenever we have a situation where we don't need exact precisionand
remember that we only need 2-10 cm of precision for our carwe can chop a continuous
distribution into pieces and make those pieces as small as we need.
In the next unit we will discuss Kalman Filters, which use continuous probability distributions
to describe beliefs.
In both of these problems we used the fact that the sum of all probabilities must add to one.
Probability distributions must be normalized.
Bayes' Rule
Bayes' Rule is a tool for updating a probability distribution after making a measurement.
x = grid cell
Z = measurement
Copyright2014Udacity,Inc.AllRightsReserved.
P (x|Z) = P(Z|x)P(x)
P(Z)
The left hand side of this equation should be read as "The probability of X after observing Z."
In probability, we often want to update our probability distribution after making a
measurement. Sometimes, this isn't easy to do directly.
Bayes' Rule tells us that this probability (the left-hand side of the equation) is equal to another
probability (the right-hand side of the equation), which is often easier to calculate. In those
situations, we use Bayes' Rule to rephrase the problem in a way that is solvable.
To use Bayes' Rule, we first calculate the non-normalized probability distribution, which is
given by P(Z|X)P(X), and then divide that by the total probability of making measurement Z,
P(Z), which is called the normalizer.
This may seem a little confusing at first. If you are still a little unsure about Bayes Rule,
continue on to the next example to see how we put it into practice.
Suppose we have a test that is pretty good at identifying cancer in patients with the disease
(it does so with 0.8 probability), but occasionally (with probability 0.1) misdiagnoses cancer in a
healthy patient:
Copyright2014Udacity,Inc.AllRightsReserved.
Using this information, can you compute the probability of having cancer given that you
receive a positive test?
P(C|POS) = ?
Only 0.79 out of 100 who test positive have cancer, even though they have positive cancer test
results! (This math assumes there was no outside reason to test the individuals for cancer:
they were randomly selected to be tested.)
You can apply the same mechanics as before to get this result. The non-normalized result of
Bayes Rule is the product of the prior probability, P(C), multiplied by the probability of a
positive test, P(POS|C):
P(C|POS)=
Normalized (the sum of the the probability of having cancer after a positive test and not having
cancer after a positive test):
Dividing the non-normalized probability, 0.0008, by the normalized probability, 0.1007, gives us
the answer: 0.0079.
Copyright2014Udacity,Inc.AllRightsReserved.
Compute this by looking at all the grid cells the robot could have come from one time step
earlier (at time t-1), and index those cells with the letter j, which in our example ranges from 1
to 5. For each of those cells, look at the prior probability P(Xjt-1), and multiply it with the
probability of moving from cell Xj to cell Xi, P(Xi|Xj). This gives us the probability that we will be in
cell Xi at time t:
Copyright2014Udacity,Inc.AllRightsReserved.
You can see the correspondence of A as a place i of time t and all the different Bs as the
possible prior locations. This is often called the Theorem of Total Probability.
Copyright2014Udacity,Inc.AllRightsReserved.
The probability of throwing heads in step two, P(H2), depends upon having thrown heads in
step one, P(H1), which we can write as a condition, P(H2|H1)P(H1). Add the probability of throwing
heads in step two with the condition, p(H2|T1)P(T1), of throwing tails in step one, multiplied by
the probability of throwing tails in step one, P(T1). This can be written as
P(H2)=P(H2|H1)P(H1)+P(H2|T1P(T 1)
The last term of this equation, P(H2|T1P(T 1), is the product of the probability of heads given a
tail on the first throw with the probability of tails on the first throw. Since we are told that we
stop flipping when we get a tails on the first throw,P(H2|T1) = 0, and we can ignore this term.
Our equation becomes P(H2) = P(H2|H1)P(H1), which is 12 = 14 * 14 .
Note that the superscripts next to H and T in this problem indicate whether we are talking
about the first or second toss. They are not exponents.
We can also approach this problem as a probability tree, where the probability of moving down
any branch is 1/2. We can see that the only way to arrive at heads on the second toss is to
proceed down the heads path twice.
Copyright2014Udacity,Inc.AllRightsReserved.
There is a 50% chance of flipping either the fair or the loaded coin. If you throw heads, what is
the probability that the coin you flipped is fair?
P(F|H) = ?
Use Bayes' Rule because you are making observations. The non-normalized probability, which
we will represent with a lower case p, of getting the fair coin is:
The non-normalized probability of NOT getting the fair coin, but getting the loaded coin is:
Now, we divide our non-normalized probability by this sum to obtain our answer: 0.25
0.3 = 0.833.
Copyright2014Udacity,Inc.AllRightsReserved.
Conclusion (Conclusion)
This is what you've learned in this class:
Localization
Monte Carlo Localization
Probabilities
Bayes Rule
The Theorem of Total Probability
You are now able to make a robot localize, and you have an intuitive understanding of
probabilistic methods called Filters.Next class we will learn about:
Kalman Filters
Copyright2014Udacity,Inc.AllRightsReserved.