This article offers a brief glimpse of the history and basic concepts of machine learning. We will take a look at the first algorithmically described neural network and the gradient descent algorithm in context of adaptive linear neurons, which will not only introduce the principles of machine learning but also serve as the basis for modern multilayer neural networks in future articles.

Sections

Please note that the code examples in this article need to be executed sequentially. A Jupyter Notebook version of this article is available on GitHub.







Introduction

Machine learning is one of the hottest and most exciting fields in the modern age of technology. Thanks to machine learning, we enjoy robust email spam filters, convenient text and voice recognition, reliable web search engines, challenging chess players, and, hopefully soon, safe and efficient self-driving cars.

Without any doubt, machine learning has become a big and popular field, and sometimes it may be challenging to see the (random) forest for the (decision) trees. Thus, I thought that it might be worthwhile to explore different machine learning algorithms in more detail by not only discussing the theory but also by implementing them step by step.

To briefly summarize what machine learning is all about: “[Machine learning is the] field of study that gives computers the ability to learn without being explicitly programmed” (Arthur Samuel, 1959). Machine learning is about the development and use of algorithms that can recognize patterns in data in order to make decisions based on statistics, probability theory, combinatorics, and optimization.

The first article in this series will introduce perceptrons and the adaline (ADAptive LINear NEuron), which fall into the category of single-layer neural networks. The perceptron is not only the first algorithmically described learning algorithm [1], but it is also very intuitive, easy to implement, and a good entry point to the (re-discovered) modern state-of-the-art machine learning algorithms: Artificial neural networks (or “deep learning” if you like). As we will see later, the adaline is a consequent improvement of the perceptron algorithm and offers a good opportunity to learn about a popular optimization algorithm in machine learning: gradient descent.







Artificial Neurons and the McCulloch-Pitts Model

The initial idea of the perceptron dates back to the work of Warren McCulloch and Walter Pitts in 1943 [2], who drew an analogy between biological neurons and simple logic gates with binary outputs. In more intuitive terms, neurons can be understood as the subunits of a neural network in a biological brain. Here, the signals of variable magnitudes arrive at the dendrites. Those input signals are then accumulated in the cell body of the neuron, and if the accumulated signal exceeds a certain threshold, a output signal is generated that which will be passed on by the axon.







Frank Rosenblatt’s Perceptron

To continue with the story, a few years after McCulloch and Walter Pitt, Frank Rosenblatt published the first concept of the Perceptron learning rule [1]. The main idea was to define an algorithm in order to learn the values of the weights that are then multiplied with the input features in order to make a decision whether a neuron fires or not. In context of pattern classification, such an algorithm could be useful to determine if a sample belongs to one class or the other.

To put the perceptron algorithm into the broader context of machine learning: The perceptron belongs to the category of supervised learning algorithms, single-layer binary linear classifiers to be more specific. In brief, the task is to predict to which of two possible categories a certain data point belongs based on a set of input variables. In this article, I don’t want to discuss the concept of predictive modeling and classification in too much detail, but if you prefer more background information, please see my previous article “Introduction to supervised learning”.







The Unit Step Function

Before we dive deeper into the algorithm(s) for learning the weights of the artificial neuron, let us take a brief look at the basic notation. In the following sections, we will label the positive and negative class in our binary classification setting as “1” and “-1”, respectively. Next, we define an activation function that takes a linear combination of the input values and weights as input ( ), and if is greater than a defined threshold we predict 1 and -1 otherwise; in this case, this activation function is an alternative form of a simple “unit step function,” which is sometimes also called “Heaviside step function.”

(Please note that the unit step is classically defined as being equal to 0 if and 1 for ; nonetheless, we will refer to the following piece-wise linear function with -1 if and 1 for as unit step function for simplicity).

where

is the feature (weight) vector, and is an -dimensional sample from the training dataset:

In order to simplify the notation, we bring to the left side of the equation and define

so that

and







The Perceptron Learning Rule

It might sound like extreme case of a reductionist approach, but the idea behind this “thresholded” perceptron was to mimic how a single neuron in the brain works: It either “fires” or not. To summarize the main points from the previous section: A perceptron receives multiple input signals, and if the sum of the input signals exceed a certain threshold it either returns a signal or remains “silent” otherwise. What made this a “machine learning” algorithm was Frank Rosenblatt’s idea of the perceptron learning rule: The perceptron algorithm is about learning the weights for the input signals in order to draw linear decision boundary that allows us to discriminate between the two linearly separable classes +1 and -1.

Rosenblatt’s initial perceptron rule is fairly simple and can be summarized by the following steps:

Initialize the weights to 0 or small random numbers. For each training sample : Calculate the output value. Update the weights.

The output value is the class label predicted by the unit step function that we defined earlier (output ) and the weight update can be written more formally as .

The value for updating the weights at each increment is calculated by the learning rule

where is the learning rate (a constant between 0.0 and 1.0), “target” is the true class label, and the “output” is the predicted class label.

It is important to note that all weights in the weight vector are being updated simultaneously. Concretely, for a 2-dimensional dataset, we would write the update as:







Before we implement the perceptron rule in Python, let us make a simple thought experiment to illustrate how beautifully simple this learning rule really is. In the two scenarios where the perceptron predicts the class label correctly, the weights remain unchanged:





However, in case of a wrong prediction, the weights are being “pushed” towards the direction of the positive or negative target class, respectively:





It is important to note that the convergence of the perceptron is only guaranteed if the two classes are linearly separable. If the two classes can’t be separated by a linear decision boundary, we can set a maximum number of passes over the training dataset (“epochs”) and/or a threshold for the number of tolerated misclassifications.







Implementing the Perceptron Rule in Python

In this section, we will implement the simple perceptron learning rule in Python to classify flowers in the Iris dataset. Please note that I omitted some “safety checks” for clarity, for a more “robust” version please see the following code on GitHub.

import numpy as np class Perceptron ( object ): def __init__ ( self , eta = 0.01 , epochs = 50 ): self . eta = eta self . epochs = epochs def train ( self , X , y ): self . w_ = np . zeros ( 1 + X . shape [ 1 ]) self . errors_ = [] for _ in range ( self . epochs ): errors = 0 for xi , target in zip ( X , y ): update = self . eta * ( target - self . predict ( xi )) self . w_ [ 1 :] += update * xi self . w_ [ 0 ] += update errors += int ( update != 0.0 ) self . errors_ . append ( errors ) return self def net_input ( self , X ): return np . dot ( X , self . w_ [ 1 :]) + self . w_ [ 0 ] def predict ( self , X ): return np . where ( self . net_input ( X ) >= 0.0 , 1 , - 1 )

For the following example, we will load the Iris data set from the UCI Machine Learning Repository and only focus on the two flower species Setosa and Versicolor. Furthermore, we will only use the two features sepal length and petal length for visualization purposes.

import pandas as pd df = pd . read_csv ( 'https://archive.ics.uci.edu/ml/machine-learning-databases/iris/iris.data' , header = None ) # setosa and versicolor y = df . iloc [ 0 : 100 , 4 ] . values y = np . where ( y == 'Iris-setosa' , - 1 , 1 ) # sepal length and petal length X = df . iloc [ 0 : 100 , [ 0 , 2 ]] . values

% matplotlib inline import matplotlib.pyplot as plt from mlxtend.plotting import plot_decision_regions ppn = Perceptron ( epochs = 10 , eta = 0.1 ) ppn . train ( X , y ) print ( 'Weights: % s' % ppn . w_ ) plot_decision_regions ( X , y , clf = ppn ) plt . title ( 'Perceptron' ) plt . xlabel ( 'sepal length [cm]' ) plt . ylabel ( 'petal length [cm]' ) plt . show () plt . plot ( range ( 1 , len ( ppn . errors_ ) + 1 ), ppn . errors_ , marker = 'o' ) plt . xlabel ( 'Iterations' ) plt . ylabel ( 'Misclassifications' ) plt . show ()

Weights: [-0.4 -0.68 1.82]

As we can see, the perceptron converges after the 6th iteration and separates the two flower classes perfectly.







Problems with Perceptrons

Although the perceptron classified the two Iris flower classes perfectly, convergence is one of the biggest problems of the perceptron. Frank Rosenblatt proofed mathematically that the perceptron learning rule converges if the two classes can be separated by linear hyperplane, but problems arise if the classes cannot be separated perfectly by a linear classifier. To demonstrate this issue, we will use two different classes and features from the Iris dataset.

# versicolor and virginica y2 = df . iloc [ 50 : 150 , 4 ] . values y2 = np . where ( y2 == 'Iris-virginica' , - 1 , 1 ) # sepal width and petal width X2 = df . iloc [ 50 : 150 , [ 1 , 3 ]] . values ppn = Perceptron ( epochs = 25 , eta = 0.01 ) ppn . train ( X2 , y2 ) plot_decision_regions ( X2 , y2 , clf = ppn ) plt . show () plt . plot ( range ( 1 , len ( ppn . errors_ ) + 1 ), ppn . errors_ , marker = 'o' ) plt . xlabel ( 'Iterations' ) plt . ylabel ( 'Misclassifications' ) plt . show ()

print ( 'Total number of misclassifications: % d of 100' % ( y2 != ppn . predict ( X2 )) . sum ())

Total number of misclassifications: 43 of 100

Even at a lower training rate, the perceptron failed to find a good decision boundary since one or more samples will always be misclassified in every epoch so that the learning rule never stops updating the weights.

It may seem paradoxical in this context that another shortcoming of the perceptron algorithm is that it stops updating the weights as soon as all samples are classified correctly. Our intuition tells us that a decision boundary with a large margin between the classes (as indicated by the dashed line in the figure below) likely has a better generalization error than the decision boundary of the perceptron. But large-margin classifiers such as Support Vector Machines are a topic for another time.







Adaptive Linear Neurons and the Delta Rule

The perceptron surely was very popular at the time of its discovery, however, it only took a few years until Bernard Widrow and his doctoral student Tedd Hoff proposed the idea of the Adaptive Linear Neuron (adaline) [3].

In contrast to the perceptron rule, the delta rule of the adaline (also known as Widrow-Hoff” rule or Adaline rule) updates the weights based on a linear activation function rather than a unit step function; here, this linear activation function is just the identity function of the net input . In the next section, we will see why this linear activation is an improvement over the perceptron update and where the name “delta rule” comes from.







Gradient Descent

Being a continuous function, one of the biggest advantages of the linear activation function over the unit step function is that it is differentiable. This property allows us to define a cost function that we can minimize in order to update our weights. In the case of the linear activation function, we can define the cost function as the sum of squared errors (SSE), which is similar to the cost function that is minimized in ordinary least squares (OLS) linear regression.

(The fraction is just used for convenience to derive the gradient as we will see in the next paragraphs.)

In order to minimize the SSE cost function, we will use gradient descent, a simple yet useful optimization algorithm that is often used in machine learning to find the local minimum of linear systems.

Before we get to the fun part (calculus), let us consider a convex cost function for one single weight. As illustrated in the figure below, we can describe the principle behind gradient descent as “climbing down a hill” until a local or global minimum is reached. At each step, we take a step into the opposite direction of the gradient, and the step size is determined by the value of the learning rate as well as the slope of the gradient.

Now, as promised, onto the fun part – deriving the Adaline learning rule. As mentioned above, each update is updated by taking a step into the opposite direction of the gradient , thus, we have to compute the partial derivative of the cost function for each weight in the weight vector: .

The partial derivative of the SSE cost function for a particular weight can be calculated as follows:

(t = target, o = output)

And if we plug the results back into the learning rule, we get

,

Eventually, we can apply a simultaneous weight update similar to the perceptron rule:

.

Although, the learning rule above looks identical to the perceptron rule, we shall note the two main differences:

Here, the output “o” is a real number and not a class label as in the perceptron learning rule. The weight update is calculated based on all samples in the training set (instead of updating the weights incrementally after each sample), which is why this approach is also called “batch” gradient descent.







The Gradient Descent Rule in Action

Now, it’s time to implement the gradient descent rule in Python.

import numpy as np class AdalineGD ( object ): def __init__ ( self , eta = 0.01 , epochs = 50 ): self . eta = eta self . epochs = epochs def train ( self , X , y ): self . w_ = np . zeros ( 1 + X . shape [ 1 ]) self . cost_ = [] for i in range ( self . epochs ): output = self . net_input ( X ) errors = ( y - output ) self . w_ [ 1 :] += self . eta * X . T . dot ( errors ) self . w_ [ 0 ] += self . eta * errors . sum () cost = ( errors ** 2 ) . sum () / 2.0 self . cost_ . append ( cost ) return self def net_input ( self , X ): return np . dot ( X , self . w_ [ 1 :]) + self . w_ [ 0 ] def activation ( self , X ): return self . net_input ( X ) def predict ( self , X ): return np . where ( self . activation ( X ) >= 0.0 , 1 , - 1 )

In practice, it often requires some experimentation to find a good learning rate for optimal convergence, thus, we will start by plotting the cost for two different learning rates.

ada = AdalineGD ( epochs = 10 , eta = 0.01 ) . train ( X , y ) plt . plot ( range ( 1 , len ( ada . cost_ ) + 1 ), np . log10 ( ada . cost_ ), marker = 'o' ) plt . xlabel ( 'Iterations' ) plt . ylabel ( 'log(Sum-squared-error)' ) plt . title ( 'Adaline - Learning rate 0.01' ) plt . show () ada = AdalineGD ( epochs = 10 , eta = 0.0001 ) . train ( X , y ) plt . plot ( range ( 1 , len ( ada . cost_ ) + 1 ), ada . cost_ , marker = 'o' ) plt . xlabel ( 'Iterations' ) plt . ylabel ( 'Sum-squared-error' ) plt . title ( 'Adaline - Learning rate 0.0001' ) plt . show ()

The two plots above nicely emphasize the importance of plotting learning curves by illustrating two most common problems with gradient descent:

If the learning rate is too large, gradient descent will overshoot the minima and diverge. If the learning rate is too small, the algorithm will require too many epochs to converge and can become trapped in local minima more easily.

Gradient descent is also a good example why feature scaling is important for many machine learning algorithms. It is not only easier to find an appropriate learning rate if the features are on the same scale, but it also often leads to faster convergence and can prevent the weights from becoming too small (numerical stability).

A common way of feature scaling is standardization

where is the sample mean of the feature and the standard deviation, respectively. After standardization, the features will have unit variance and are centered around mean zero.

# standardize features X_std = np . copy ( X ) X_std [:, 0 ] = ( X [:, 0 ] - X [:, 0 ] . mean ()) / X [:, 0 ] . std () X_std [:, 1 ] = ( X [:, 1 ] - X [:, 1 ] . mean ()) / X [:, 1 ] . std ()

% matplotlib inline import matplotlib.pyplot as plt from mlxtend.plotting import plot_decision_regions ada = AdalineGD ( epochs = 15 , eta = 0.01 ) ada . train ( X_std , y ) plot_decision_regions ( X_std , y , clf = ada ) plt . title ( 'Adaline - Gradient Descent' ) plt . xlabel ( 'sepal length [standardized]' ) plt . ylabel ( 'petal length [standardized]' ) plt . show () plt . plot ( range ( 1 , len ( ada . cost_ ) + 1 ), ada . cost_ , marker = 'o' ) plt . xlabel ( 'Iterations' ) plt . ylabel ( 'Sum-squared-error' ) plt . show ()







Online Learning via Stochastic Gradient Descent

The previous section was all about “batch” gradient descent learning. The “batch” updates refers to the fact that the cost function is minimized based on the complete training data set. If we think back to the perceptron rule, we remember that it performed the weight update incrementally after each individual training sample. This approach is also called “online” learning, and in fact, this is also how Adaline was first described by Bernard Widrow et al. [3]

The process of incrementally updating the weights is also called “stochastic” gradient descent since it approximates the minimization of the cost function. Although the stochastic gradient descent approach might sound inferior to gradient descent due its “stochastic” nature and the “approximated” direction (gradient), it can have certain advantages in practice. Often, stochastic gradient descent converges much faster than gradient descent since the updates are applied immediately after each training sample; stochastic gradient descent is computationally more efficient, especially for very large datasets. Another advantage of online learning is that the classifier can be immediately updated as new training data arrives, e.g., in web applications, and old training data can be discarded if storage is an issue. In large-scale machine learning systems, it is also common practice to use so-called “mini-batches”, a compromise with smoother convergence than stochastic gradient descent.

In the interests of completeness let us also implement the stochastic gradient descent Adaline and confirm that it converges on the linearly separable iris dataset.

import numpy as np class AdalineSGD ( object ): def __init__ ( self , eta = 0.01 , epochs = 50 ): self . eta = eta self . epochs = epochs def train ( self , X , y , reinitialize_weights = True ): if reinitialize_weights : self . w_ = np . zeros ( 1 + X . shape [ 1 ]) self . cost_ = [] for i in range ( self . epochs ): for xi , target in zip ( X , y ): output = self . net_input ( xi ) error = ( target - output ) self . w_ [ 1 :] += self . eta * xi . dot ( error ) self . w_ [ 0 ] += self . eta * error cost = (( y - self . activation ( X )) ** 2 ) . sum () / 2.0 self . cost_ . append ( cost ) return self def net_input ( self , X ): return np . dot ( X , self . w_ [ 1 :]) + self . w_ [ 0 ] def activation ( self , X ): return self . net_input ( X ) def predict ( self , X ): return np . where ( self . activation ( X ) >= 0.0 , 1 , - 1 )

One more advice before we let the adaline learn via stochastic gradient descent is to shuffle the training dataset to iterate over the training samples in random order.

We shall note that the “standard” stochastic gradient descent algorithm uses sampling “with replacement,” which means that at each iteration, a training sample is chosen randomly from the entire training set. In contrast, sampling “without replacement,” which means that each training sample is evaluated exactly once in every epoch, is not only easier to implement but also shows a better performance in empirical comparisons. A more detailed discussion about this topic can be found in Benjamin Recht and Christopher Re’s paper Beneath the valley of the noncommutative arithmetic-geometric mean inequality: conjectures, case-studies, and consequences [4].

ada = AdalineSGD ( epochs = 15 , eta = 0.01 ) # shuffle data np . random . seed ( 123 ) idx = np . random . permutation ( len ( y )) X_shuffled , y_shuffled = X_std [ idx ], y [ idx ] # train and adaline and plot decision regions ada . train ( X_shuffled , y_shuffled ) plot_decision_regions ( X_shuffled , y_shuffled , clf = ada ) plt . title ( 'Adaline - Gradient Descent' ) plt . xlabel ( 'sepal length [standardized]' ) plt . ylabel ( 'petal length [standardized]' ) plt . show () plt . plot ( range ( 1 , len ( ada . cost_ ) + 1 ), ada . cost_ , marker = 'o' ) plt . xlabel ( 'Iterations' ) plt . ylabel ( 'Sum-squared-error' ) plt . show ()







What’s Next?

Although we covered many different topics during this article, we just scratched the surface of artificial neurons.

In later articles, we will take a look at different approaches to dynamically adjust the learning rate, the concepts of “One-vs-All” and “One-vs-One” for multi-class classification, regularization to overcome overfitting by introducing additional information, dealing with nonlinear problems and multilayer neural networks, different activation functions for artificial neurons, and related concepts such as logistic regression and support vector machines.







References

[1] F. Rosenblatt. The perceptron, a perceiving and recognizing automaton Project Para. Cornell Aeronautical Laboratory, 1957.

[2] W. S. McCulloch and W. Pitts. A logical calculus of the ideas immanent in nervous activity. The bulletin of mathematical biophysics, 5(4):115–133, 1943.

[3] B. Widrow et al. Adaptive ”Adaline” neuron using chemical ”memistors”. Number Technical Report 1553-2. Stanford Electron. Labs., Stanford, CA, October 1960.

[4] B. Recht and C. R ́e. Beneath the valley of the noncommutative arithmetic-geometric mean inequality: conjectures, case-studies, and consequences. arXiv preprint arXiv:1202.4184, 2012.