Shapley Values for Machine Learning Model
This topic defines Shapley values, describes two available algorithms in the Statistics and Machine Learning Toolbox™ feature that computes Shapley values, provides examples for each, and shows how to reduce the computational cost.
What Is a Shapley Value?
In game theory, the Shapley value of a player is the average marginal contribution of the player in a cooperative game. That is, Shapley values are fair allocations, to individual players, of the total gain generated from a cooperative game. In the context of machine learning prediction, the Shapley value of a feature for a query point explains the contribution of the feature to a prediction (the response for regression or the score of each class for classification) at the specified query point. The Shapley value corresponds to the deviation of the prediction for the query point from the average prediction, due to the feature. For each query point, the sum of the Shapley values for all features corresponds to the total deviation of the prediction from the average.
The Shapley value of the ith feature for the query point x is defined by the value function v:
$${\phi}_{i}({v}_{x})=\frac{1}{M}{\displaystyle \sum _{S\subseteq \mathcal{M}\backslash \left\{i\right\}}\frac{{v}_{x}\left(S\cup \left\{i\right\}\right)-{v}_{x}\left(S\right)}{\frac{\left(M-1\right)!}{\left|S\right|!\left(M-\left|S\right|-1\right)!}}}$$ | (1) |
M is the number of all features.
$$\mathcal{M}$$ is the set of all features.
|S| is the cardinality of the set S, or the number of elements in the set S.
v_{x}(S) is the value function of the features in a set S for the query point x. The value of the function indicates the expected contribution of the features in S to the prediction for the query point x.
Shapley Value in Statistics and Machine Learning Toolbox
You can compute Shapley values for a machine learning model by using a shapley
object. Use
the values to interpret the contributions of individual features in the model to the
prediction for a query point. You can compute Shapley values in two ways:
Create a
shapley
object for a machine learning model with a specified query point by using theshapley
function. The function computes the Shapley values of all features in the model for the query point.Create a
shapley
object for a machine learning model by using theshapley
function, and then compute the Shapley values for a specified query point by using thefit
function.
Algorithms
shapley
offers two
types of algorithms: interventional, which uses interventional distributions for the value
function, and conditional, which uses conditional distributions for the value function. You
can specify the algorithm type to use by setting the Method
name-value
argument of the shapley
function or
the fit
function.
The difference between the two types of algorithms is the definition of the value function. Both types define the value function so that the sum of the Shapley values of a query point over all features corresponds to the total deviation of the prediction for the query point from the average.
$$\sum _{i=1}^{M}{\phi}_{i}\left({v}_{x}\right)=f\left(x\right)-E\left[f\left(x\right)\right]}.$$
Therefore, the value function v_{x}(S) must correspond to the expected contribution of the features in
S to the prediction (f) for the query point
x. The algorithms compute the expected contribution by using artificial
samples created from the specified data (X). You must provide
X
through the machine learning model input or a separate data input argument when you create a
shapley
object. In the artificial samples, the values for the features in
S come from the query point. For the rest of the features (features in
S^{c}, the complement of
S), an interventional algorithm generates samples using interventional
distributions, whereas a conditional algorithm generates samples using conditional
distributions.
Interventional Algorithms
By default, shapley
uses one of these interventional algorithms:
Kernel SHAP [1], Linear SHAP [1], or Tree SHAP [2].
Computing exact Shapley values can be computationally expensive if
shapley
uses all possible subsets S. Therefore,
shapley
estimates the Shapley values by limiting the maximum number of
subsets to use for the Kernel SHAP algorithm. For more details, see Computational Cost.
For linear models and tree-based models, shapley
offers the Linear
SHAP and Tree SHAP algorithms, respectively. These algorithms are computationally less
expensive and compute exact Shapley values. The algorithms return the same Shapley values
that the Kernel SHAP algorithm returns when using all possible subsets. The Linear SHAP,
Tree SHAP, and Kernel SHAP algorithms differ in these ways:
The Linear SHAP and Tree SHAP algorithms ignore the
ResponseTransform
property (for regression) and theScoreTransform
property (for classification) of the machine learning model. That is, the algorithms compute Shapley values based on raw responses or raw scores without applying response transformation or score transformation, respectively. The Kernel SHAP algorithm uses transformed values if the model specifies transformation in theResponseTransform
orScoreTransform
property.The Kernel SHAP and Tree SHAP algorithms can use observations with missing values. The Linear SHAP algorithm cannot handle observations with missing values for any model.
shapley
selects an algorithm based on the machine learning model type
and other specified options:
Linear SHAP algorithm for these linear models:
RegressionSVM
,CompactRegressionSVM
,ClassificationSVM
, andCompactClassificationSVM
models that use a linear kernel function
Tree SHAP algorithm for these tree models and ensemble models with tree learners:
Tree models —
RegressionTree
,CompactRegressionTree
,ClassificationTree
, andCompactClassificationTree
Ensemble models with tree learners —
RegressionEnsemble
,RegressionBaggedEnsemble
,CompactRegressionEnsemble
,ClassificationEnsemble
,CompactClassificationEnsemble
, andClassificationBaggedEnsemble
models that use tree learnersTo use the Tree SHAP algorithm, you must specify the
Method
name-value argument (ensemble aggregation method) as'Bag'
,'AdaBoostM2'
,'GentleBoost'
,'LogitBoost'
, or'RUSBoost'
when you train a classification ensemble model.
Kernel SHAP algorithm for all other model types and for these cases:
For the tree models and ensembles of trees previously listed, the software might use Kernel SHAP instead of Tree SHAP if the models use surrogate splits (
Surrogate
) for prediction, and observations in the input predictor data or values in the query point contain missing values.Before R2023b: For tree models and ensemble models with tree learners, the software always used Kernel SHAP instead of Tree SHAP when observations in the input predictor data or values in the query point contained missing values.
If you specify the
MaxNumSubsets
name-value argument (maximum number of predictor subsets to use for Shapley value computation) ofshapley
orfit
, the software uses Kernel SHAP.In some cases, Kernel SHAP can be computationally less expensive than Tree SHAP. For example, Kernel SHAP can be more efficient if a model contains a deep tree for low-dimensional data. The software heuristically selects an efficient algorithm.
An interventional algorithm defines the value function of the features in S at the query point x as the expected prediction with respect to the interventional distribution D, which is the joint distribution of the features in S^{c}:
$${v}_{x}\left(S\right)={E}_{D}\left[f\left({x}_{S},{X}_{{S}^{c}}\right)\right].$$
x_{S} is the query point value for the features in S, and X_{Sc} are the features in S^{c}.
To evaluate the value function v_{x}(S) at the query point x, with the assumption that the
features are not highly correlated, shapley
uses the values in the data
X as samples of the interventional distribution D
for the features in S^{c}:
$${v}_{x}\left(S\right)={E}_{D}\left[f\left({x}_{S},{X}_{{S}^{c}}\right)\right]\approx \frac{1}{N}{\displaystyle \sum _{j=1}^{N}f}\left({x}_{S},{\left({X}_{{S}^{c}}\right)}_{j}\right).$$
N is the number of observations, and (X_{Sc})_{j} contains the values of the features in S^{c} for the jth observation.
For example, suppose you have three features in X and four observations: (x_{11},x_{12},x_{13}), (x_{21},x_{22},x_{23}), (x_{31},x_{32},x_{33}), and (x_{41},x_{42},x_{43}). Assume that S includes the first feature, and S^{c} includes the rest. In this case, the value function of the first feature evaluated at the query point (x_{41},x_{42},x_{43}) is
$${v}_{x}\left(S\right)=\frac{1}{4}\left[f\left({x}_{41},{x}_{12},{x}_{13}\right)+f\left({x}_{41},{x}_{22},{x}_{23}\right)+f\left({x}_{41},{x}_{32},{x}_{33}\right)+f\left({x}_{41},{x}_{42},{x}_{43}\right)\right].$$
An interventional algorithm is computationally less expensive than a conditional algorithm and supports ordered categorical predictors. However, an interventional algorithm requires the feature independence assumption and uses out-of-distribution samples [4]. The artificial samples created with a mix of the query point and the data X can contain unrealistic observations. For example, (x_{41},x_{12},x_{13}) might be a sample that does not occur in the full joint distribution of the three features.
Conditional Algorithm
Specify the Method
name-value argument as
'conditional'
to use the extension to the Kernel SHAP algorithm [3], which is a conditional algorithm.
A conditional algorithm defines the value function of the features in S at the query point x using the conditional distribution of X_{Sc}, given that X_{S} has the query point values:
$${v}_{x}\left(S\right)={E}_{{X}_{{S}^{c}}|{X}_{S}={x}_{S}}\left[f\left({x}_{S},{X}_{{S}^{c}}\right)\right].$$
To evaluate the value function v_{x}(S) at the query point x, shapley
uses
nearest neighbors of the query point, which correspond to 10% of the observations in the
data X. This approach uses more realistic samples than an
interventional algorithm and does not require the feature independence assumption.
However, a conditional algorithm is computationally more expensive, does not support
ordered categorical predictors, and cannot handle NaN
s in continuous
features. Also, the algorithm might assign a nonzero Shapley value to a dummy feature,
which does not contribute to the prediction, if the dummy feature is correlated with an
important feature [4].
Specify Computation Algorithm
This example trains a linear classification model and computes Shapley values using an interventional algorithm ('Method','interventional'
) and then a conditional algorithm ('Method','conditional'
).
Train Linear Classification Model
Load the ionosphere
data set. This data set has 34 predictors and 351 binary responses for radar returns, either bad ('b'
) or good ('g'
).
load ionosphere
Train a linear classification model. For better accuracy of linear coefficients, specify the objective function minimization technique ('Solver'
name-value argument) as the limited-memory Broyden-Fletcher-Goldfarb-Shanno quasi-Newton algorithm ('lbfgs'
).
Mdl = fitclinear(X,Y,'Solver','lbfgs')
Mdl = ClassificationLinear ResponseName: 'Y' ClassNames: {'b' 'g'} ScoreTransform: 'none' Beta: [34x1 double] Bias: -3.7100 Lambda: 0.0028 Learner: 'svm'
Compute Shapley Values Using Interventional Algorithm
Compute the Shapley values for the first observation using the Linear SHAP algorithm, which is an interventional algorithm. You do not have to specify the Method
name-value argument because 'interventional'
is the default.
queryPoint = X(1,:);
explainer1 = shapley(Mdl,X,'QueryPoint',queryPoint);
For a classification model, shapley
computes Shapley values using the predicted class score for each class. Plot the Shapley values for the predicted class by using the plot
function.
plot(explainer1)
The horizontal bar graph shows the Shapley values for the 10 most important variables, sorted by their absolute values. Each value explains the deviation of the score for the query point from the average score of the predicted class, due to the corresponding variable.
For a linear model, shapley
assumes features are independent from one another and computes the Shapley values from the estimated coefficients (Mdl.Beta
) [1]. Compute the Shapley values for the positive class (the second class in Mdl.ClassNames
, 'g'
) directly from the estimated coefficients.
linearSHAPValues = (Mdl.Beta'.*(queryPoint-mean(X)))';
Create a table containing the Shapley values computed from shapley
and the values from the coefficients.
t = table(explainer1.ShapleyValues.Predictor,explainer1.ShapleyValues.g,linearSHAPValues, ... 'VariableNames',{'Predictor','Values from shapley','Values from coefficients'})
t=34×3 table
Predictor Values from shapley Values from coefficients
_________ ___________________ ________________________
"x1" 0.28789 0.28789
"x2" 0 0
"x3" 0.20822 0.20822
"x4" -0.01998 -0.01998
"x5" 0.20872 0.20872
"x6" -0.076991 -0.076991
"x7" 0.19188 0.19188
"x8" -0.64386 -0.64386
"x9" 0.42348 0.42348
"x10" -0.030049 -0.030049
"x11" -0.23132 -0.23132
"x12" 0.1422 0.1422
"x13" -0.045973 -0.045973
"x14" -0.29022 -0.29022
"x15" 0.21051 0.21051
"x16" 0.13382 0.13382
⋮
Compute Shapley Values Using Conditional Algorithm
Compute the Shapley values for the first observation using the extension to the Kernel SHAP algorithm, which is a conditional algorithm.
explainer2 = shapley(Mdl,X,'QueryPoint',queryPoint,'Method','conditional');
Plot the Shapley values.
plot(explainer2)
The two algorithms identify different sets for the 10 most important variables. Only two variables, x8
and x22
, are included in both sets.
Computational Cost
The computational cost for Shapley values increases if the number of observations or features is large.
Large Number of Observations
Computing the value function (v) can be computationally expensive
if you have a large number of observations, for example, more than 1000. For faster
computation, use a smaller sample of the observations when you create a shapley
object,
or run in parallel by specifying UseParallel
as
true
when you compute the values using the shapley
or
fit
function.
The UseParallel
option is available when shapley
uses the Tree SHAP algorithm for an ensemble of trees, the Kernel SHAP algorithm, or the
extension to the Kernel SHAP algorithm. Computing in parallel requires Parallel Computing Toolbox™.
Large Number of Features
Computing the summand in Equation 1 for all possible subsets
S can be computationally expensive when M (the
number of features) is large for the Kernel SHAP algorithm or the extension to the Kernel
SHAP algorithm. The total number of subsets to consider is 2^{M}. Instead of computing the summand for all subsets, you can specify the
maximum number of subsets by using the MaxNumSubsets
name-value argument. shapley
chooses subsets to use based on their weight
values. The weight of a subset is proportional to 1/(denominator of the summand), which
corresponds to 1 over the binomial coefficient: $$1/\left(\begin{array}{c}M-1\\ \left|S\right|\end{array}\right)$$. Therefore, a subset with a high or low value of cardinality has a large
weight value. shapley
includes the subsets with the highest weight first,
and then includes the other subsets in descending order based on their weight
values.
Reduce Computational Cost
This example shows how to reduce the computational cost of Shapley values when you have a large number of both observations and features.
Load the sample data set NYCHousing2015
.
load NYCHousing2015
The data set includes 91,446 observations of 10 variables with information on the sales of properties in New York City in 2015. This example uses these variables to analyze the sale prices (SALEPRICE
).
Preprocess the data set. Convert the datetime
array (SALEDATE
) to the month numbers.
NYCHousing2015.SALEDATE = month(NYCHousing2015.SALEDATE);
Train a neural network regression model.
Mdl = fitrnet(NYCHousing2015,'SALEPRICE','Standardize',true);
Compute the Shapley values of all predictor variables for the first observation. Measure the time required for the computation by using tic
and toc
.
tic
explainer1 = shapley(Mdl,'QueryPoint',NYCHousing2015(1,:));
Warning: Computation can be slow because the predictor data has over 1000 observations. Use a smaller sample of the training set or specify 'UseParallel' as true for faster computation.
toc
Elapsed time is 150.637868 seconds.
As the warning message indicates, the computation can be slow because the predictor data has over 1000 observations.
shapley
provides several options to reduce the computational cost when you have a large number of observations or features:
Large number of observations — Use a smaller sample of the training data and run in parallel by specifying
UseParallel
astrue
.Large number of features — Specify the
MaxNumSubsets
name-value argument to limit the number of subsets included in the computation.
Start a parallel pool.
parpool;
Starting parallel pool (parpool) using the 'Processes' profile ... Connected to parallel pool with 6 workers.
Compute the Shapley values again using a smaller sample of the training data and the parallel computing option. Also, specify the maximum number of subsets as 2^5
.
NumSamples = 5e2; Tbl = datasample(NYCHousing2015,NumSamples,'Replace',false); tic explainer2 = shapley(Mdl,Tbl,'QueryPoint',NYCHousing2015(1,:), ... 'UseParallel',true,'MaxNumSubsets',2^5); toc
Elapsed time is 0.844226 seconds.
Specifying the additional options reduces the computation time.
References
[4] Kumar, I. Elizabeth, Suresh Venkatasubramanian, Carlos Scheidegger, and Sorelle Friedler. "Problems with Shapley-Value-Based Explanations as Feature Importance Measures." Proceedings of the 37th International Conference on Machine Learning 119 (July 2020): 5491–500.