Machine Learning(1) —— Andrew Ng
Definition of Machine Learning
A computer program is said to learn from experience E with respect to some task T and some performance measure P if its performance on T, as measured by P, improves with experience E.
Supervised Learning
In supervised learning, we are given a data set and already know what our correct output should look like, having the idea that there is a relationship between the input and the output.
Supervised learning problems are categorized into "regression" and "classification" problems. In a regression problem, we are trying to predict results within a continuous output, meaning that we are trying to map input variables to some continuous function. In a classification problem, we are instead trying to predict results in a discrete output. In other words, we are trying to map input variables into discrete categories.
Unsupervised Learning
Unsupervised learning allows us to approach problems with little or no idea what our results should look like. We can derive structure from data where we don't necessarily know the effect of the variables.
We can derive this structure by clustering the data based on relationships among the variables in the data.
With unsupervised learning there is no feedback based on the prediction results.
Example:
Clustering: Take a collection of 1,000,000 different genes, and find a way to automatically group these genes into groups that are somehow similar or related by different variables, such as lifespan, location, roles, and so on.
Non-clustering: The "Cocktail Party Algorithm", allows you to find structure in a chaotic environment. (i.e. identifying individual voices and music from a mesh of sounds at a cocktail party).
Cocktail Party：两个人同时用两种语言从1数到10，用两个话筒录音。一个话筒录A的声音的同时也会录进另一个人B的声音，只不过B的声音较小。这样会得到两个有杂音的声音文件，对这两个声音文件使用非聚类可以把杂声剔除。
Model Representation
To describe the supervised learning problem slightly more formally, our goal is, given a training set, to learn a function h : X → Y so that h(x) is a “good” predictor for the corresponding value of y. For historical reasons, this function h is called a hypothesis. Seen pictorially, the process is therefore like this:
\(h_{\theta}(x)=\theta_0+\theta_1x\)
When the target variable that we’re trying to predict is continuous, such as in our housing example, we call the learning problem a regression problem. When y can take on only a small number of discrete values (such as if, given the living area, we wanted to predict if a dwelling is a house or an apartment, say), we call it a classification problem.
Cost Function
We can measure the accuracy of our hypothesis function by using a cost function. This takes an average difference (actually a fancier version of an average) of all the results of the hypothesis with inputs from x's and the actual output y's.
\(\displaystyle J(\theta_0,\theta_1)=\frac{1}{2m}\sum_{i=1}^m(\hat y_i-y_i)^2=\frac{1}{2m}\sum_{i=1}^m(h_{\theta}(x_i)-y_i)^2\)
This function is otherwise called the "Squared error function", or "Mean squared error". The mean is halved \(\frac{1}{2}\) as a convenience for the computation of the gradient descent, as the derivative term of the square function will cancel out the \(\frac{1}{2}\) term. The following image summarizes what the cost function does:
practice:
Cost Function - Intuition I
In this case, we set \(\theta_0=0\) just for simplification.
If we try to think of it in visual terms, our training data set is scattered on the x-y plane. We are trying to make a straight line(defined by \(h_{\theta}(x)\))which passes through these scattered data points.
Our objective is to get the best possible line. The best possible line will be such so that the average squared vertical distances of the scattered points from the line will be the least. Ideally, the line should pass through all the points of our training data set. In such a case, the value of \(J(\theta_0, \theta_1)\) will be 0. The following example shows the ideal situation where we have a cost function of 0.
When \(\theta_1=1\), we get a slope of 1 which goes through every single data point in our model. Conversely, when \(\theta_1=0.5\), we see the vertical distance from our fit to the data points increase.
This increases our cost function to 0.58. Plotting several other points yields to the following graph:
Thus as a goal, we should try to minimize the cost function. In this case, \(\theta_1=1\) is our global minimum.
Cost Function - Intuition II
In this case, we don't set \(\theta_0\) as 0, so our goal is as below:
The cost function \(J(\theta_0,\theta_1)\) is a 3D shape in this case:
为了画图方便，下面使用轮廓图来表示。
A contour plot is a graph that contains many contour lines. A contour line of a two variable function has a constant value at all points of the same line. An example of such a graph is the one to the right below.
Taking any color and going along the 'circle', one would expect to get the same value of the cost function. For example, the three green points found on the green line above have the same value for \(J(\theta_0,\theta_1)\) and as a result, they are found along the same line. The circled x displays the value of the cost function for the graph on the left when \(\theta_0=800\) and \(\theta_1=-0.15\). Taking another h(x) and plotting its contour plot, one gets the following graphs:
When \(\theta_0=360\) and \(\theta_1=0\), the value of \(J(\theta_0,\theta_1)\) in the contour plot gets closer to the center thus reducing the cost function error. Now giving our hypothesis function a slightly positive slope results in a better fit of the data.
The graph above minimizes the cost function as much as possible and consequently, the result of \(\theta_1\) and \(\theta_0\) tend to be around 0.12 and 250 respectively. Plotting those values on our graph to the right seems to put our point in the center of the inner most 'circle'.
下面介绍一种算法，能够自动地找出能使代价函数\(J\)最小化的参数\(\theta_0\)和\(\theta_1\)的值。
Gradient Descent
So we have our hypothesis function and we have a way of measuring how well it fits into the data. Now we need to estimate the parameters in the hypothesis function. That's where gradient descent comes in.
Imagine that we graph our hypothesis function based on its fields \(\theta_0\)(actually we are graphing the cost function as a function of the parameter estimates). We are not graphing x and y itself, but the parameter range of our hypothesis function and the cost resulting from selecting a particular set of parameters.
We put \(\theta_0\) on the x axis and \(\theta_1\) on the y axis, with the cost function on the vertical z axis. The points on our graph will be the result of the cost function using our hypothesis with those specific theta parameters. The graph below depicts such a setup.
We will know that we have succeeded when our cost function is at the very bottom of the pits in our graph, i.e. when its value is the minimum. The red arrows show the minimum points in the graph.
The way we do this is by taking the derivative (the tangential line to a function) of our cost function. The slope of the tangent is the derivative at that point and it will give us a direction to move towards. We make steps down the cost function in the direction with the steepest descent. The size of each step is determined by the parameter α, which is called the learning rate.
For example, the distance between each 'star' in the graph above represents a step determined by our parameter α. A smaller α would result in a smaller step and a larger α results in a larger step. The direction in which the step is taken is determined by the partial derivative of \(J(\theta_0,\theta_1)\). Depending on where one starts on the graph, one could end up at different points. The image above shows us two different starting points that end up in two different places.
The gradient descent algorithm is:
repeat until convergence:
\(\qquad \theta_j:=\theta_j-\alpha\frac{\partial}{\partial\theta_j}J(\theta_0,\theta_1)\)
where
j=0,1 represents the feature index number.
At each iteration j, one should simultaneously update the parameters \(\theta_1,\theta_2,...,\theta_n\). Updating a specific parameter prior to calculating another one on the \(j^{(th)}\) iteration would yield to a wrong implementation.
practice：
总结：
- 梯度下降法就像是你站在山上用小碎步下山，需要最快到达谷底。
- 站在不同的位置可能到达不同的谷底，即存在不同的局部最小值。
- 所有参数\(\theta\)必须同步更新。
Gradient Descent Intuition
In this video we explored the scenario where we used one parameter \(\theta_1\) and plotted its cost function to implement a gradient descent. Our formula for a single parameter was :
Repeat until convergence:
\(\qquad \theta_1:=\theta_1-\alpha\frac{\partial}{\partial\theta_1}J(\theta_1)\)
Regardless of the slope's sign for \(\frac{d}{d\theta_1} J(\theta_1),\theta_1\)
eventually converges to its minimum value. The following graph shows that when the slope is negative, the value of \(\theta_1\) increases and when it is positive, the value of \(\theta_1\) decreases.
On a side note, we should adjust our parameter \(\alpha\) to ensure that the gradient descent algorithm converges in a reasonable time. Failure to converge or too much time to obtain the minimum value imply that our step size is wrong.
How does gradient descent converge with a fixed step size \(\alpha\)?
The intuition behind the convergence is that \(\frac{d}{d\theta_1} J(\theta_1)\) approaches 0 as we approach the bottom of our convex function. At the minimum, the derivative will always be 0 and thus we get:
\(\qquad \theta_1:=\theta_1-\alpha*0\)
总结：
- 梯度为负时相当于在下山，\(\theta\)减去一个负值为正，会让\(\theta\)增大，往下山的方向走；
- 梯度为正时相当于在上山，\(\theta\)减去一个正值为负，会让\(\theta\)减小，往上山的反方向走，还是在下山；
- 要设置合适的\(\alpha\)值，过小会导致收敛慢，过大会导致不收敛甚至发散。
Gradient Descent For Linear Regression
When specifically applied to the case of linear regression, a new form of the gradient descent equation can be derived. We can substitute our actual cost function and our actual hypothesis function and modify the equation to :
\( \displaystyle \begin{aligned} \qquad repeat\ until\ conver&gence:\{\\ &\theta_0:=\theta_0-\alpha\frac{1}{m}\sum_{i=1}^m(h_{\theta}(x_i)-y_i)\\ &\theta_1:=\theta_1-\alpha\frac{1}{m}\sum_{i=1}^m((h_{\theta}(x_i)-y_i)x_i)\\ &\} \end{aligned} \)
where m is the size of the training set,\(\theta_0\) a constant that will be changing simultaneously with \(\theta_1\)and \(x_{i}, y_{i}\) are values of the given training set (data).
Note that we have separated out the two cases for \(\theta_j\) into separate equations for \(\theta_0\) and \(\theta_1\); and that for \(\theta_1\) we are multiplying \(x_{i}\) at the end due to the derivative. The following is a derivation of \(\frac{\partial}{\partial\theta_j}J(\theta)\) for a single example :
The point of all this is that if we start with a guess for our hypothesis and then repeatedly apply these gradient descent equations, our hypothesis will become more and more accurate.
So, this is simply gradient descent on the original cost function \(J\). This method looks at every example in the entire training set on every step, and is called batch gradient descent. Note that, while gradient descent can be susceptible to local minima in general, the optimization problem we have posed here for linear regression has only one global, and no other local, optima; thus gradient descent always converges (assuming the learning rate α is not too large) to the global minimum. Indeed, \(J\) is a convex quadratic function. Here is an example of gradient descent as it is run to minimize a quadratic function.
The ellipses shown above are the contours of a quadratic function. Also shown is the trajectory taken by gradient descent, which was initialized at (48,30). The x’s in the figure (joined by straight lines) mark the successive values of θ that gradient descent went through as it converged to its minimum.
总结：
- 一元线性回归的cost function是一个凸函数，不会有不同的局部最小值，即局部最小值就是全局最小值。因此不会出现上一节3D图所示的存在多个最小值的情况。
