View source for Supervised learning

{{Short description|Machine learning task}}
{{Machine learning|Supervised learning}}

'''Supervised learning (SL)''' is the [[Machine learning|machine learning]] task of learning a function that [[Map (mathematics)|maps]] an input to an output based on example input-output pairs.<ref>Stuart J. Russell, Peter Norvig (2010) ''[[Artificial Intelligence: A Modern Approach| A Modern Approach]], Third Edition'', Prentice Hall {{ISBN|9780136042594}}.</ref> It infers a function from ''{{vanchor|labeled training data|LABELLED_DATA}}'' consisting of a set of ''training examples''.<ref>[[Biography:Mehryar Mohri|Mehryar Mohri]], Afshin Rostamizadeh, Ameet Talwalkar (2012) ''Foundations of Machine Learning'', The MIT Press {{ISBN|9780262018258}}.</ref> In supervised learning, each example is a ''pair'' consisting of an input object (typically a vector) and a desired output value (also called the ''supervisory signal''). A supervised learning algorithm analyzes the training data and produces an inferred function, which can be used for mapping new examples. An optimal scenario will allow for the algorithm to correctly determine the class labels for unseen instances. This requires the learning algorithm to generalize from the training data to unseen situations in a "reasonable" way (see [[Inductive bias|inductive bias]]). This statistical quality of an algorithm is measured through the so-called [[Generalization error|generalization error]].

== Steps to follow ==

To solve a given problem of supervised learning, one has to perform the following steps:

# Determine the type of training examples. Before doing anything else, the user should decide what kind of data is to be used as a training set. In the case of handwriting analysis, for example, this might be a single handwritten character, an entire handwritten word, an entire sentence of handwriting or perhaps a full paragraph of handwriting.
# Gather a training set. The training set needs to be representative of the real-world use of the function. Thus, a set of input objects is gathered and corresponding outputs are also gathered, either from human experts or from measurements.
# Determine the input feature representation of the learned function. The accuracy of the learned function depends strongly on how the input object is represented. Typically, the input object is transformed into a feature vector, which contains a number of features that are descriptive of the object. The number of features should not be too large, because of the [[Curse of dimensionality|curse of dimensionality]]; but should contain enough information to accurately predict the output.
# Determine the structure of the learned function and corresponding learning algorithm. For example, the engineer may choose to use [[Support-vector machine|support-vector machine]]s or [[Decision tree learning|decision tree]]s.
# Complete the design. Run the learning algorithm on the gathered training set. Some supervised learning algorithms require the user to determine certain control parameters. These parameters may be adjusted by optimizing performance on a subset (called a ''validation'' set) of the training set, or via [[Cross-validation (statistics)|cross-validation]].
# Evaluate the accuracy of the learned function. After parameter adjustment and learning, the performance of the resulting function should be measured on a test set that is separate from the training set.

==Algorithm choice==

A wide range of supervised learning algorithms are available, each with its strengths and weaknesses. There is no single learning algorithm that works best on all supervised learning problems (see the [[No free lunch in search and optimization|No free lunch theorem]]).

There are four major issues to consider in supervised learning:

=== Bias-variance tradeoff ===

A first issue is the tradeoff between ''bias'' and ''variance''.<ref>S. Geman, E. Bienenstock, and R. Doursat (1992). [http://delta-apache-vm.cs.tau.ac.il/~nin/Courses/NC06/VarbiasBiasGeman.pdf Neural networks and the bias/variance dilemma]. Neural Computation 4, 1–58.</ref> Imagine that we have available several different, but equally good, training data sets. A learning algorithm is biased for a particular input <math>x</math> if, when trained on each of these data sets, it is systematically incorrect when predicting the correct output for <math>x</math>. A learning algorithm has high variance for a particular input <math>x</math> if it predicts different output values when trained on different training sets. The prediction error of a learned classifier is related to the sum of the bias and the variance of the learning algorithm.<ref>G. James (2003) Variance and Bias for General Loss Functions, Machine Learning 51, 115-135. (http://www-bcf.usc.edu/~gareth/research/bv.pdf)</ref> Generally, there is a tradeoff between bias and variance. A learning algorithm with low bias must be "flexible" so that it can fit the data well. But if the learning algorithm is too flexible, it will fit each training data set differently, and hence have high variance. A key aspect of many supervised learning methods is that they are able to adjust this tradeoff between bias and variance (either automatically or by providing a bias/variance parameter that the user can adjust).

===Function complexity and amount of training data===

The second issue is of the amount of training data available relative to the complexity of the "true" function (classifier or regression function). If the true function is simple, then an "inflexible" learning algorithm with high bias and low variance will be able to learn it from a small amount of data. But if the true function is highly complex (e.g., because it involves complex interactions among many different input features and behaves differently in different parts of the input space), then the function will only be able to learn with a large amount of training data paired with a "flexible" learning algorithm with low bias and high variance.

===Dimensionality of the input space===

A third issue is the dimensionality of the input space. If the input feature vectors have large dimensions, learning the function can be difficult even if the true function only depends on a small number of those features. This is because the many "extra" dimensions can confuse the learning algorithm and cause it to have high variance. Hence, input data of large dimensions typically requires tuning the classifier to have low variance and high bias. In practice, if the engineer can manually remove irrelevant features from the input data, it will likely improve the accuracy of the learned function. In addition, there are many algorithms for [[Feature selection|feature selection]] that seek to identify the relevant features and discard the irrelevant ones. This is an instance of the more general strategy of [[Dimensionality reduction|dimensionality reduction]], which seeks to map the input data into a lower-dimensional space prior to running the supervised learning algorithm.

===Noise in the output values===

A fourth issue is the degree of noise in the desired output values (the supervisory target variables). If the desired output values are often incorrect (because of human error or sensor errors), then the learning algorithm should not attempt to find a function that exactly matches the training examples. Attempting to fit the data too carefully leads to [[Overfitting|overfitting]]. You can overfit even when there are no measurement errors (stochastic noise) if the function you are trying to learn is too complex for your learning model. In such a situation, the part of the target function that cannot be modeled "corrupts" your training data - this phenomenon has been called [[Deterministic noise|deterministic noise]]. When either type of noise is present, it is better to go with a higher bias, lower variance estimator.

In practice, there are several approaches to alleviate noise in the output values such as [[Early stopping|early stopping]] to prevent [[Overfitting|overfitting]] as well as [[Anomaly detection|detecting]] and removing the noisy training examples prior to training the supervised learning algorithm. There are several algorithms that identify noisy training examples and removing the suspected noisy training examples prior to training has decreased [[Generalization error|generalization error]] with [[Statistical significance|statistical significance]].<ref>C.E. Brodely and M.A. Friedl (1999). Identifying and Eliminating Mislabeled Training Instances,  Journal of Artificial Intelligence Research 11, 131-167. (http://jair.org/media/606/live-606-1803-jair.pdf)</ref><ref>{{cite conference |author=M.R. Smith and T. Martinez |title=Improving Classification Accuracy by Identifying and Removing Instances that Should Be Misclassified |book-title=Proceedings of International Joint Conference on Neural Networks (IJCNN 2011) |pages=2690–2697 |year=2011 |doi=10.1109/IJCNN.2011.6033571 |citeseerx=10.1.1.221.1371 }}</ref>

===Other factors to consider===

Other factors to consider when choosing and applying a learning algorithm include the following:

* Heterogeneity of the data. If the feature vectors include features of many different kinds (discrete, discrete ordered, counts, continuous values), some algorithms are easier to apply than others. Many algorithms, including support-vector machines, [[Linear regression|linear regression]], [[Logistic regression|logistic regression]], [[Artificial neural network|neural networks]], and nearest neighbor methods, require that the input features be numerical and scaled to similar ranges (e.g., to the [-1,1] interval). Methods that employ a distance function, such as nearest neighbor methods and support-vector machines with Gaussian kernels, are particularly sensitive to this. An advantage of [[Decision tree learning|decision trees]] is that they easily handle heterogeneous data.
* Redundancy in the data. If the input features contain redundant information (e.g., highly correlated features), some learning algorithms (e.g., [[Linear regression|linear regression]], [[Logistic regression|logistic regression]], and distance based methods) will perform poorly because of numerical instabilities. These problems can often be solved by imposing some form of [[Regularization (mathematics)|regularization]].
* Presence of interactions and non-linearities. If each of the features makes an independent contribution to the output, then algorithms based on linear functions (e.g., [[Linear regression|linear regression]], [[Logistic regression|logistic regression]], [[Support-vector machine|support-vector machine]]s, [[Naive Bayes classifier|naive Bayes]]) and distance functions (e.g., nearest neighbor methods, support-vector machines with Gaussian kernels) generally perform well. However, if there are complex interactions among features, then algorithms such as [[Decision tree learning|decision trees]] and [[Artificial neural network|neural networks]] work better, because they are specifically designed to discover these interactions. Linear methods can also be applied, but the engineer must manually specify the interactions when using them.

When considering a new application, the engineer can compare multiple learning algorithms and experimentally determine which one works best on the problem at hand (see [[Cross-validation (statistics)|cross validation]]). Tuning the performance of a learning algorithm can be very time-consuming. Given fixed resources, it is often better to spend more time collecting additional training data and more informative features than it is to spend extra time tuning the learning algorithms.

===Algorithms===

The most widely used learning algorithms are: 
*[[Support-vector machine]]s
*[[Linear regression]]
*[[Logistic regression]]
*[[Naive Bayes classifier|Naive Bayes]]
*[[Linear discriminant analysis]]
*[[Decision tree learning|Decision trees]]
*K-nearest neighbor algorithm
*[[Artificial neural network|Neural networks]] ([[Multilayer perceptron]])
*[[Similarity learning]]

==How supervised learning algorithms work==

Given a set of <math>N</math> training examples of the form <math>\{(x_1, y_1), ..., (x_N,\; y_N)\}</math> such that <math>x_i</math> is the feature vector of the <math>i</math>-th example and <math>y_i</math> is its label (i.e., class), a learning algorithm seeks a function <math>g: X \to Y</math>, where <math>X</math> is the input space and <math>Y</math> is the output space. The function <math>g</math> is an element of some space of possible functions <math>G</math>, usually called the ''hypothesis space''. It is sometimes convenient to represent <math>g</math> using a scoring function <math>f: X \times Y \to \mathbb{R}</math> such that <math>g</math> is defined as returning the <math>y</math> value that gives the highest score: <math>g(x) = \underset{y}{\arg\max} \; f(x,y)</math>. Let <math>F</math> denote the space of scoring functions.

Although <math>G</math> and <math>F</math> can be any space of functions, many learning algorithms are probabilistic models where <math>g</math> takes the form of a [[Conditional probability|conditional probability]] model <math>g(x) =
P(y|x)</math>, or <math>f</math> takes the form of a joint probability model <math>f(x,y) = P(x,y)</math>. For example, [[Naive Bayes classifier|naive Bayes]] and [[Linear discriminant analysis|linear discriminant analysis]] are joint probability models, whereas [[Logistic regression|logistic regression]] is a conditional probability model.

There are two basic approaches to choosing <math>f</math> or <math>g</math>: [[Empirical risk minimization|empirical risk minimization]] and [[Structural risk minimization|structural risk minimization]].<ref>Vapnik, V. N. [https://books.google.com/books?id=EqgACAAAQBAJ&printsec=frontcover#v=snippet&q=%22empirical%20risk%20minimization%22%20OR%20%22structural%20risk%20minimization%22&f=false The Nature of Statistical Learning Theory] (2nd Ed.), Springer Verlag, 2000.</ref> Empirical risk minimization seeks the function that best fits the training data. Structural risk minimization includes a ''penalty function'' that controls the bias/variance tradeoff.

In both cases, it is assumed that the training set consists of a sample of independent and identically distributed pairs, <math>(x_i, \;y_i)</math>. In order to measure how well a function fits the training data, a [[Loss function|loss function]] <math>L: Y \times Y \to
\mathbb{R}^{\ge 0}</math> is defined. For training example <math>(x_i,\;y_i)</math>, the loss of predicting the value <math>\hat{y}</math> is <math>L(y_i,\hat{y})</math>.

The ''risk'' <math>R(g)</math> of function <math>g</math> is defined as the expected loss of <math>g</math>. This can be estimated from the training data as

:<math>R_{emp}(g) = \frac{1}{N} \sum_i L(y_i, g(x_i))</math>.

===Empirical risk minimization===
{{main|Empirical risk minimization}}

In empirical risk minimization, the supervised learning algorithm seeks the function <math>g</math> that minimizes <math>R(g)</math>. Hence, a supervised learning algorithm can be constructed by applying an optimization algorithm to find <math>g</math>.

When <math>g</math> is a conditional probability distribution <math>P(y|x)</math> and the loss function is the negative log likelihood: <math>L(y, \hat{y}) = -\log P(y | x)</math>, then empirical risk minimization is equivalent to maximum likelihood estimation.

When <math>G</math> contains many candidate functions or the training set is not sufficiently large, empirical risk minimization leads to high variance and poor generalization. The learning algorithm is able to memorize the training examples without generalizing well. This is called [[Overfitting|overfitting]].

===Structural risk minimization===

[[Structural risk minimization]] seeks to prevent overfitting by incorporating a [[Regularization (mathematics)|regularization penalty]] into the optimization. The regularization penalty can be viewed as implementing a form of [[Occam's razor]] that prefers simpler functions over more complex ones.

A wide variety of penalties have been employed that correspond to different definitions of complexity. For example, consider the case where the function <math>g</math> is a linear function of the form

:<math> g(x) = \sum_{j=1}^d \beta_j x_j</math>.

A popular regularization penalty is <math>\sum_j \beta_j^2</math>, which is the squared Euclidean norm of the weights, also known as the <math>L_2</math> norm. Other norms include the <math>L_1</math> norm, <math>\sum_j |\beta_j|</math>, and the <math>L_0</math> [[Norm (mathematics)#Hamming distance of a vector from zero|"norm"]], which is the number of non-zero <math>\beta_j</math>s. The penalty will be denoted by <math>C(g)</math>.

The supervised learning optimization problem is to find the function <math>g</math> that minimizes

:<math> J(g) = R_{emp}(g) + \lambda C(g).</math>

The parameter <math>\lambda</math> controls the bias-variance tradeoff. When <math>\lambda = 0</math>, this gives empirical risk minimization with low bias and high variance. When <math>\lambda</math> is large, the learning algorithm will have high bias and low variance. The value of <math>\lambda</math> can be chosen empirically via [[Cross-validation (statistics)|cross validation]].

The complexity penalty has a Bayesian interpretation as the negative log prior probability of <math>g</math>, <math>-\log P(g)</math>, in which case <math>J(g)</math> is the [[Posterior probability|posterior probability]] of <math>g</math>.

==Generative training==

The training methods described above are ''discriminative training'' methods, because they seek to find a function <math>g</math> that discriminates well between the different output values (see [[Discriminative model|discriminative model]]). For the special case where <math>f(x,y) = P(x,y)</math> is a [[Joint probability distribution|joint probability distribution]] and the loss function is the negative log likelihood <math>- \sum_i \log P(x_i, y_i),</math> a risk minimization algorithm is said to perform ''generative training'', because <math>f</math> can be regarded as a [[Generative model|generative model]] that explains how the data were generated. Generative training algorithms are often simpler and more computationally efficient than discriminative training algorithms. In some cases, the solution can be computed in closed form as in [[Naive Bayes classifier|naive Bayes]] and [[Linear discriminant analysis|linear discriminant analysis]].

==Generalizations==

There are several ways in which the standard supervised learning problem can be generalized:
* [[Semi-supervised learning]]: In this setting, the desired output values are provided only for a subset of the training data. The remaining data is unlabeled.
*[[Weak supervision]]: In this setting, noisy, limited, or imprecise sources are used to provide supervision signal for labeling training data.
* [[Active learning (machine learning)|Active learning]]: Instead of assuming that all of the training examples are given at the start, active learning algorithms interactively collect new examples, typically by making queries to a human user. Often, the queries are based on unlabeled data, which is a scenario that combines semi-supervised learning with active learning.
* [[Structured prediction]]: When the desired output value is a complex object, such as a parse tree or a labeled graph, then standard methods must be extended.
* [[Learning to rank]]: When the input is a set of objects and the desired output is a ranking of those objects, then again the standard methods must be extended.

== Approaches and algorithms ==

* Analytical learning
* [[Artificial neural network]]
* [[Backpropagation]]
* Boosting (meta-algorithm)
* [[Bayesian statistics]]
* [[Case-based reasoning]]
* [[Decision tree learning]]
* [[Inductive logic programming]]
* Gaussian process regression
* [[Genetic programming]]
* [[Group method of data handling]]
* [[Variable kernel density estimation#Use for statistical classification|Kernel estimators]]
* [[Learning automaton|Learning automata]]
* [[Learning classifier system]]s
* [[Learning vector quantization]]
* [[Minimum message length]] ([[Decision tree|decision tree]]s, decision graphs, etc.)
* [[Multilinear subspace learning]]
* [[Naive Bayes classifier]]
* Maximum entropy classifier
* [[Conditional random field]]
* Nearest neighbor algorithm
* [[Probably approximately correct learning]] (PAC) learning
* Ripple down rules, a knowledge acquisition methodology
* Symbolic machine learning algorithms
* Subsymbolic machine learning algorithms
* [[Support-vector machine]]s
* Minimum complexity machines (MCM)
* [[Random forest]]s
* Ensembles of classifiers
* Ordinal classification
* [[Data pre-processing]]
* Handling imbalanced datasets
* [[Statistical relational learning]]
* [[Proaftn]], a multicriteria classification algorithm

== Applications ==
* [[Biology:Bioinformatics|Bioinformatics]]
* [[Chemistry:Cheminformatics|Cheminformatics]]
**[[Chemistry:Quantitative structure–activity relationship|Quantitative structure–activity relationship]]
* [[Finance:Database marketing|Database marketing]]
* [[Software:Handwriting recognition|Handwriting recognition]]
* [[Information retrieval]]
** [[Learning to rank]]
* [[Information extraction]]
* Object recognition in [[Computer vision|computer vision]]
* [[Optical character recognition]]
* [[Spamming|Spam detection]]
* [[Pattern recognition]]
* [[Speech recognition]]
* Supervised learning is a special case of [[Philosophy:Downward causation|downward causation]] in biological systems
* Landform classification using [[Astronomy:Satellite imagery|satellite imagery]]<ref>{{cite arXiv |author=A. Maity |title=Supervised Classification of RADARSAT-2 Polarimetric Data for Different Land Features|year=2016|eprint=1608.00501|class=cs.CV}}</ref>
* Spend classification in [[Social:Procurement|procurement]] processes<ref>{{Cite web |date=2020-10-09 |title=Key Technologies for Agile Procurement {{!}} SIPMM Publications |url=https://publication.sipmm.edu.sg/key-technologies-agile-procurement/ |access-date=2022-06-16 |website=publication.sipmm.edu.sg |language=en-US}}</ref>

== General issues ==

* [[Computational learning theory]]
* [[Inductive bias]]
* Overfitting (machine learning)
* (Uncalibrated) Class membership probabilities
* [[Unsupervised learning]]
* Version spaces

== See also ==
* [[List of datasets for machine learning research]]

==References==
{{Reflist}}

==External links==
* [http://www.mloss.org/ Machine Learning Open Source Software (MLOSS)]

{{Differentiable computing}}

{{DEFAULTSORT:Supervised Learning}}
[[Category:Machine learning]]

{{Sourceattribution|Supervised learning|1}}