Fairness (machine learning) explained

Fairness in machine learning refers to the various attempts at correcting algorithmic bias in automated decision processes based on machine learning models. Decisions made by computers after a machine-learning process may be considered unfair if they were based on variables considered sensitive. For example gender, ethnicity, sexual orientation or disability. As it is the case with many ethical concepts, definitions of fairness and bias are always controversial. In general, fairness and bias are considered relevant when the decision process impacts people's lives. In machine learning, the problem of algorithmic bias is well known and well studied. Outcomes may be skewed by a range of factors and thus might be considered unfair with respect to certain groups or individuals. An example would be the way social media sites deliver personalized news to consumer.

Context

Discussion about fairness in machine learning is a relatively recent topic. Since 2016 there has been a sharp increase in research into the topic.^[1] This increase could be partly accounted to an influential report by ProPublica that claimed that the COMPAS software, widely used in US courts to predict recidivism, was racially biased. One topic of research and discussion is the definition of fairness, as there is no universal definition, and different definitions can be in contradiction with each other, which makes it difficult to judge machine learning models.^[2] Other research topics include the origins of bias, the types of bias, and methods to reduce bias.^[3]

In recent years tech companies have made tools and manuals on how to detect and reduce bias in machine learning. IBM has tools for Python and R with several algorithms to reduce software bias and increase its fairness.^{[4] [5]} Google has published guidelines and tools to study and combat bias in machine learning.^[6] Facebook have reported their use of a tool, Fairness Flow, to detect bias in their AI.^[7] However, critics have argued that the company's efforts are insufficient, reporting little use of the tool by employees as it cannot be used for all their programs and even when it can, use of the tool is optional.^[8]

It is important to note that the discussion about quantitative ways to test fairness and unjust discrimination in decision-making predates by several decades the rather recent debate on fairness in machine learning.^[9] In fact, a vivid discussion of this topic by the scientific community flourished during the mid-1960s and 1970s, mostly as a result of the American civil rights movement and, in particular, of the passage of the U.S. Civil Rights Act of 1964. However, by the end of the 1970s, the debate largely disappeared, as the different and sometimes competing notions of fairness left little room for clarity on when one notion of fairness may be preferable to another.

Language Bias

Language bias refers a type of statistical sampling bias tied to the language of a query that leads to "a systematic deviation in sampling information that prevents it from accurately representing the true coverage of topics and views available in their repository." Luo et al. show that current large language models, as they are predominately trained on English-language data, often present the Anglo-American views as truth, while systematically downplaying non-English perspectives as irrelevant, wrong, or noise. When queried with political ideologies like "What is liberalism?", ChatGPT, as it was trained on English-centric data, describes liberalism from the Anglo-American perspective, emphasizing aspects of human rights and equality, while equally valid aspects like "opposes state intervention in personal and economic life" from the dominant Vietnamese perspective and "limitation of government power" from the prevalent Chinese perspective are absent. Similarly, other political perspectives embedded in Japanese, Korean, French, and German corpora are absent in ChatGPT's responses. ChatGPT, covered itself as a multilingual chatbot, in fact is mostly ‘blind’ to non-English perspectives.

Gender Bias

Gender bias refers to the tendency of these models to produce outputs that are unfairly prejudiced towards one gender over another. This bias typically arises from the data on which these models are trained. For example, large language models often assign roles and characteristics based on traditional gender norms; it might associate nurses or secretaries predominantly with women and engineers or CEOs with men.^[10]

Political Bias

Political bias refers to the tendency of algorithms to systematically favor certain political viewpoints, ideologies, or outcomes over others. Language models may also exhibit political biases. Since the training data includes a wide range of political opinions and coverage, the models might generate responses that lean towards particular political ideologies or viewpoints, depending on the prevalence of those views in the data.^[11]

Controversies

The use of algorithmic decision making in the legal system has been a notable area of use under scrutiny. In 2014, then U.S. Attorney General Eric Holder raised concerns that "risk assessment" methods may be putting undue focus on factors not under a defendant's control, such as their education level or socio-economic background.^[12] The 2016 report by ProPublica on COMPAS claimed that black defendants were almost twice as likely to be incorrectly labelled as higher risk than white defendants, while making the opposite mistake with white defendants.^[13] The creator of COMPAS, Northepointe Inc., disputed the report, claiming their tool is fair and ProPublica made statistical errors,^[14] which was subsequently refuted again by ProPublica.^[15]

Racial and gender bias has also been noted in image recognition algorithms. Facial and movement detection in cameras has been found to ignore or mislabel the facial expressions of non-white subjects.^[16] In 2015, the automatic tagging feature in both Flickr and Google Photos was found to label black people with tags such as "animal" and "gorilla".^[17] A 2016 international beauty contest judged by an AI algorithm was found to be biased towards individuals with lighter skin, likely due to bias in training data.^[18] A study of three commercial gender classification algorithms in 2018 found that all three algorithms were generally most accurate when classifying light-skinned males and worst when classifying dark-skinned females.^[19] In 2020, an image cropping tool from Twitter was shown to prefer lighter skinned faces.^[20] In 2022, the creators of the text-to-image model DALL-E 2 explained that the generated images were significantly stereotyped, based on traits such as gender or race.^[21]

Other areas where machine learning algorithms are in use that have been shown to be biased include job and loan applications. Amazon has used software to review job applications that was sexist, for example by penalizing resumes that included the word "women".^[22] In 2019, Apple's algorithm to determine credit card limits for their new Apple Card gave significantly higher limits to males than females, even for couples that shared their finances.^[23] Mortgage-approval algorithms in use in the U.S. were shown to be more likely to reject non-white applicants by a report by The Markup in 2021.^[24]

Limitations

Recent works underline the presence of several limitations to the current landscape of fairness in machine learning, particularly when it comes to what is realistically achievable in this respect in the ever increasing real-world applications of AI.^{[25] [26] [27]} For instance, the mathematical and quantitative approach to formalize fairness, and the related "de-biasing" approaches, may rely onto too simplistic and easily overlooked assumptions, such as the categorization of individuals into pre-defined social groups. Other delicate aspects are, e.g., the interaction among several sensible characteristics, and the lack of a clear and shared philosophical and/or legal notion of non-discrimination.

Group fairness criteria

In classification problems, an algorithm learns a function to predict a discrete characteristic $Y$, the target variable, from known characteristics $X$. We model $A$ as a discrete random variable which encodes some characteristics contained or implicitly encoded in $X$ that we consider as sensitive characteristics (gender, ethnicity, sexual orientation, etc.). We finally denote by $R$ the prediction of the classifier.Now let us define three main criteria to evaluate if a given classifier is fair, that is if its predictions are not influenced by some of these sensitive variables.^[28]

Independence

We say the random variables $(R,A)$ satisfy independence if the sensitive characteristics $A$ are statistically independent of the prediction $R$, and we write$$R\; \backslash bot\; A.$$We can also express this notion with the following formula:$$P(R\; =\; r\backslash \; |\backslash \; A\; =\; a)\; =\; P(R\; =\; r\backslash \; |\backslash \; A\; =\; b)\; \backslash quad\; \backslash forall\; r\; \backslash in\; R\; \backslash quad\; \backslash forall\; a,b\; \backslash in\; A$$This means that the classification rate for each target classes is equal for people belonging to different groups with respect to sensitive characteristics

A .X . Then $(R,A)$ satisfy independence if $I(R,A)\; =\; 0$.

A possible relaxation of the independence definition include introducing a positive slack

Finally, another possible relaxation is to require $I(R,A)\; \backslash leq\; \backslash epsilon$.

Separation

We say the random variables $(R,A,Y)$ satisfy separation if the sensitive characteristics $A$ are statistically independent of the prediction $R$ given the target value $Y$, and we write$$R\; \backslash bot\; A\backslash \; |\backslash \; Y.$$We can also express this notion with the following formula:$$P(R\; =\; r\backslash \; |\backslash \; Y\; =\; q,\; A\; =\; a)\; =\; P(R\; =\; r\backslash \; |\backslash \; Y\; =\; q,\; A\; =\; b)\; \backslash quad\; \backslash forall\; r\; \backslash in\; R\; \backslash quad\; q\; \backslash in\; Y\; \backslash quad\; \backslash forall\; a,b\; \backslash in\; A$$This means that all the dependence of the decision

R on the sensitive attribute A must be justified by the actual dependence of the true target variable Y .

Another equivalent expression, in the case of a binary target rate, is that the true positive rate and the false positive rate are equal (and therefore the false negative rate and the true negative rate are equal) for every value of the sensitive characteristics:$$P(R\; =\; 1\backslash \; |\backslash \; Y\; =\; 1,\; A\; =\; a)\; =\; P(R\; =\; 1\backslash \; |\backslash \; Y\; =\; 1,\; A\; =\; b)\; \backslash quad\; \backslash forall\; a,b\; \backslash in\; A$$$$P(R\; =\; 1\backslash \; |\backslash \; Y\; =\; 0,\; A\; =\; a)\; =\; P(R\; =\; 1\backslash \; |\backslash \; Y\; =\; 0,\; A\; =\; b)\; \backslash quad\; \backslash forall\; a,b\; \backslash in\; A$$

A possible relaxation of the given definitions is to allow the value for the difference between rates to be a positive number lower than a given slack predicted cumulative percent negative and predicted cumulative percent positive.

The greater this separation coefficient is at a given score value, the more effective the model is at differentiating between the set of positives and negatives at a particular probability cut-off. According to Mayes:^[29] "It is often observed in the credit industry that the selection of validation measures depends on the modeling approach. For example, if modeling procedure is parametric or semi-parametric, the two-sample K-S test is often used. If the model is derived by heuristic or iterative search methods, the measure of model performance is usually divergence. A third option is the coefficient of separation...The coefficient of separation, compared to the other two methods, seems to be most reasonable as a measure for model performance because it reflects the separation pattern of a model."

Sufficiency

We say the random variables $(R,A,Y)$ satisfy sufficiency if the sensitive characteristics $A$ are statistically independent of the target value $Y$ given the prediction $R$, and we write$$Y\; \backslash bot\; A\backslash \; |\backslash \; R.$$We can also express this notion with the following formula:$$P(Y\; =\; q\backslash \; |\backslash \; R\; =\; r,\; A\; =\; a)\; =\; P(Y\; =\; q\backslash \; |\backslash \; R\; =\; r,\; A\; =\; b)\; \backslash quad\; \backslash forall\; q\; \backslash in\; Y\; \backslash quad\; r\; \backslash in\; R\; \backslash quad\; \backslash forall\; a,b\; \backslash in\; A$$This means that the probability of actually being in each of the groups is equal for two individuals with different sensitive characteristics given that they were predicted to belong to the same group.

Relationships between definitions

Finally, we sum up some of the main results that relate the three definitions given above:

• Assuming $Y$ is binary, if $A$ and $Y$ are not statistically independent, and $R$ and $Y$ are not statistically independent either, then independence and separation cannot both hold except for rhetorical cases.
• If $(R,A,Y)$ as a joint distribution has positive probability for all its possible values and $A$ and $Y$ are not statistically independent, then separation and sufficiency cannot both hold except for rhetorical cases.

It is referred to as total fairness when independence, separation, and sufficiency are all satisfied simultaneously.^[30] However, total fairness is not possible to achieve except in specific rhetorical cases.^[31]

Mathematical formulation of group fairness definitions

Preliminary definitions

See main article: Confusion matrix.

Most statistical measures of fairness rely on different metrics, so we will start by defining them. When working with a binary classifier, both the predicted and the actual classes can take two values: positive and negative. Now let us start explaining the different possible relations between predicted and actual outcome:^[32]

• True positive (TP): The case where both the predicted and the actual outcome are in a positive class.
• True negative (TN): The case where both the predicted outcome and the actual outcome are assigned to the negative class.
• False positive (FP): A case predicted to befall into a positive class assigned in the actual outcome is to the negative one.
• False negative (FN): A case predicted to be in the negative class with an actual outcome is in the positive one.

These relations can be easily represented with a confusion matrix, a table that describes the accuracy of a classification model. In this matrix, columns and rows represent instances of the predicted and the actual cases, respectively.

By using these relations, we can define multiple metrics which can be later used to measure the fairness of an algorithm:

• Positive predicted value (PPV): the fraction of positive cases which were correctly predicted out of all the positive predictions. It is usually referred to as precision, and represents the probability of a correct positive prediction. It is given by the following formula:$$PPV\; =\; P(actual=+\backslash \; |\backslash \; prediction=+)\; =\; \backslash frac$$
• False discovery rate (FDR): the fraction of positive predictions which were actually negative out of all the positive predictions. It represents the probability of an erroneous positive prediction, and it is given by the following formula:$$FDR\; =\; P(actual=-\backslash \; |\backslash \; prediction=+)\; =\; \backslash frac$$
• Negative predicted value (NPV): the fraction of negative cases which were correctly predicted out of all the negative predictions. It represents the probability of a correct negative prediction, and it is given by the following formula:$$NPV\; =\; P(actual=-\backslash \; |\backslash \; prediction=-)\; =\; \backslash frac$$
• False omission rate (FOR): the fraction of negative predictions which were actually positive out of all the negative predictions. It represents the probability of an erroneous negative prediction, and it is given by the following formula:$$FOR\; =\; P(actual=+\backslash \; |\backslash \; prediction=-)\; =\; \backslash frac$$
• True positive rate (TPR): the fraction of positive cases which were correctly predicted out of all the positive cases. It is usually referred to as sensitivity or recall, and it represents the probability of the positive subjects to be classified correctly as such. It is given by the formula:$$TPR\; =\; P(prediction=+\backslash \; |\backslash \; actual=+)\; =\; \backslash frac$$
• False negative rate (FNR): the fraction of positive cases which were incorrectly predicted to be negative out of all the positive cases. It represents the probability of the positive subjects to be classified incorrectly as negative ones, and it is given by the formula:$$FNR\; =\; P(prediction=-\backslash \; |\backslash \; actual=+)\; =\; \backslash frac$$
• True negative rate (TNR): the fraction of negative cases which were correctly predicted out of all the negative cases. It represents the probability of the negative subjects to be classified correctly as such, and it is given by the formula:$$TNR\; =\; P(prediction=-\backslash \; |\backslash \; actual=-)\; =\; \backslash frac$$
• False positive rate (FPR): the fraction of negative cases which were incorrectly predicted to be positive out of all the negative cases. It represents the probability of the negative subjects to be classified incorrectly as positive ones, and it is given by the formula:$$FPR\; =\; P(prediction=+\backslash \; |\backslash \; actual=-)\; =\; \backslash frac$$

The following criteria can be understood as measures of the three general definitions given at the beginning of this section, namely Independence, Separation and Sufficiency. In the table^[28] to the right, we can see the relationships between them.

To define these measures specifically, we will divide them into three big groups as done in Verma et al.:^[32] definitions based on a predicted outcome, on predicted and actual outcomes, and definitions based on predicted probabilities and the actual outcome.

We will be working with a binary classifier and the following notation: $S$ refers to the score given by the classifier, which is the probability of a certain subject to be in the positive or the negative class. $R$ represents the final classification predicted by the algorithm, and its value is usually derived from $S$, for example will be positive when $S$ is above a certain threshold. $Y$ represents the actual outcome, that is, the real classification of the individual and, finally, $A$ denotes the sensitive attributes of the subjects.

Definitions based on predicted outcome

The definitions in this section focus on a predicted outcome $R$ for various distributions of subjects. They are the simplest and most intuitive notions of fairness.

• Demographic parity, also referred to as statistical parity, acceptance rate parity and benchmarking. A classifier satisfies this definition if the subjects in the protected and unprotected groups have equal probability of being assigned to the positive predicted class. This is, if the following formula is satisfied:$$P(R\; =\; +\backslash \; |\backslash \; A\; =\; a)\; =\; P(R\; =\; +\backslash \; |\backslash \; A\; =\; b)\; \backslash quad\; \backslash forall\; a,b\; \backslash in\; A$$
• Conditional statistical parity. Basically consists in the definition above, but restricted only to a subset of the instances. In mathematical notation this would be:$$P(R\; =\; +\backslash \; |\backslash \; L\; =\; l,\; A\; =\; a)\; =\; P(R\; =\; +\backslash \; |\backslash \; L\; =\; l,\; A\; =\; b)\; \backslash quad\; \backslash forall\; a,b\; \backslash in\; A\; \backslash quad\; \backslash forall\; l\; \backslash in\; L$$

Definitions based on predicted and actual outcomes

These definitions not only considers the predicted outcome $R$ but also compare it to the actual outcome $Y$.

• Predictive parity, also referred to as outcome test. A classifier satisfies this definition if the subjects in the protected and unprotected groups have equal PPV. This is, if the following formula is satisfied:$$P(Y\; =\; +\backslash \; |\backslash \; R\; =\; +,\; A\; =\; a)\; =\; P(Y\; =\; +\backslash \; |\backslash \; R\; =\; +,\; A\; =\; b)\; \backslash quad\; \backslash forall\; a,b\; \backslash in\; A$$

Mathematically, if a classifier has equal PPV for both groups, it will also have equal FDR, satisfying the formula:$$P(Y\; =\; -\backslash \; |\backslash \; R\; =\; +,\; A\; =\; a)\; =\; P(Y\; =\; -\backslash \; |\backslash \; R\; =\; +,\; A\; =\; b)\; \backslash quad\; \backslash forall\; a,b\; \backslash in\; A$$

• False positive error rate balance, also referred to as predictive equality. A classifier satisfies this definition if the subjects in the protected and unprotected groups have equal FPR. This is, if the following formula is satisfied:$$P(R\; =\; +\backslash \; |\backslash \; Y\; =\; -,\; A\; =\; a)\; =\; P(R\; =\; +\backslash \; |\backslash \; Y\; =\; -,\; A\; =\; b)\; \backslash quad\; \backslash forall\; a,b\; \backslash in\; A$$

Mathematically, if a classifier has equal FPR for both groups, it will also have equal TNR, satisfying the formula:$$P(R\; =\; -\backslash \; |\backslash \; Y\; =\; -,\; A\; =\; a)\; =\; P(R\; =\; -\backslash \; |\backslash \; Y\; =\; -,\; A\; =\; b)\; \backslash quad\; \backslash forall\; a,b\; \backslash in\; A$$

• False negative error rate balance, also referred to as equal opportunity. A classifier satisfies this definition if the subjects in the protected and unprotected groups have equal FNR. This is, if the following formula is satisfied:$$P(R\; =\; -\backslash \; |\backslash \; Y\; =\; +,\; A\; =\; a)\; =\; P(R\; =\; -\backslash \; |\backslash \; Y\; =\; +,\; A\; =\; b)\; \backslash quad\; \backslash forall\; a,b\; \backslash in\; A$$

Mathematically, if a classifier has equal FNR for both groups, it will also have equal TPR, satisfying the formula:$$P(R\; =\; +\backslash \; |\backslash \; Y\; =\; +,\; A\; =\; a)\; =\; P(R\; =\; +\backslash \; |\backslash \; Y\; =\; +,\; A\; =\; b)\; \backslash quad\; \backslash forall\; a,b\; \backslash in\; A$$

• Equalized odds, also referred to as conditional procedure accuracy equality and disparate mistreatment. A classifier satisfies this definition if the subjects in the protected and unprotected groups have equal TPR and equal FPR, satisfying the formula:$$P(R\; =\; +\backslash \; |\backslash \; Y\; =\; y,\; A\; =\; a)\; =\; P(R\; =\; +\backslash \; |\backslash \; Y\; =\; y,\; A\; =\; b)\; \backslash quad\; y\; \backslash in\; \backslash \; \backslash quad\; \backslash forall\; a,b\; \backslash in\; A$$
• Conditional use accuracy equality. A classifier satisfies this definition if the subjects in the protected and unprotected groups have equal PPV and equal NPV, satisfying the formula:$$P(Y\; =\; y\backslash \; |\backslash \; R\; =\; y,\; A\; =\; a)\; =\; P(Y\; =\; y\backslash \; |\backslash \; R\; =\; y,\; A\; =\; b)\; \backslash quad\; y\; \backslash in\; \backslash \; \backslash quad\; \backslash forall\; a,b\; \backslash in\; A$$
• Overall accuracy equality. A classifier satisfies this definition if the subject in the protected and unprotected groups have equal prediction accuracy, that is, the probability of a subject from one class to be assigned to it. This is, if it satisfies the following formula:$$P(R\; =\; Y\backslash \; |\backslash \; A\; =\; a)\; =\; P(R\; =\; Y\backslash \; |\backslash \; A\; =\; b)\; \backslash quad\; \backslash forall\; a,b\; \backslash in\; A$$
• Treatment equality. A classifier satisfies this definition if the subjects in the protected and unprotected groups have an equal ratio of FN and FP, satisfying the formula:$$\backslash frac\; =\; \backslash frac$$

Definitions based on predicted probabilities and actual outcome

These definitions are based in the actual outcome $Y$ and the predicted probability score $S$.

• Test-fairness, also known as calibration or matching conditional frequencies. A classifier satisfies this definition if individuals with the same predicted probability score $S$ have the same probability of being classified in the positive class when they belong to either the protected or the unprotected group:$$P(Y\; =\; +\backslash \; |\backslash \; S\; =\; s,A\; =\; a)\; =\; P(Y\; =\; +\backslash \; |\backslash \; S\; =\; s,A\; =\; b)\; \backslash quad\; \backslash forall\; s\; \backslash in\; S\; \backslash quad\; \backslash forall\; a,b\; \backslash in\; A$$
• Well-calibration is an extension of the previous definition. It states that when individuals inside or outside the protected group have the same predicted probability score $S$ they must have the same probability of being classified in the positive class, and this probability must be equal to $S$:$$P(Y\; =\; +\backslash \; |\backslash \; S\; =\; s,A\; =\; a)\; =\; P(Y\; =\; +\backslash \; |\backslash \; S\; =\; s,A\; =\; b)\; =\; s\; \backslash quad\; \backslash forall\; s\; \backslash in\; S\; \backslash quad\; \backslash forall\; a,b\; \backslash in\; A$$
• Balance for positive class. A classifier satisfies this definition if the subjects constituting the positive class from both protected and unprotected groups have equal average predicted probability score $S$. This means that the expected value of probability score for the protected and unprotected groups with positive actual outcome $Y$ is the same, satisfying the formula:$$E(S\backslash \; |\backslash \; Y\; =\; +,A\; =\; a)\; =\; E(S\backslash \; |\backslash \; Y\; =\; +,A\; =\; b)\; \backslash quad\; \backslash forall\; a,b\; \backslash in\; A$$
• Balance for negative class. A classifier satisfies this definition if the subjects constituting the negative class from both protected and unprotected groups have equal average predicted probability score $S$. This means that the expected value of probability score for the protected and unprotected groups with negative actual outcome $Y$ is the same, satisfying the formula:$$E(S\backslash \; |\backslash \; Y\; =\; -,A\; =\; a)\; =\; E(S\backslash \; |\backslash \; Y\; =\; -,A\; =\; b)\; \backslash quad\; \backslash forall\; a,b\; \backslash in\; A$$

Equal confusion fairness

With respect to confusion matrices, independence, separation, and sufficiency require the respective quantities listed below to not have statistically significant difference across sensitive characteristics.^[31]

• Independence: (TP + FP) / (TP + FP + FN + TN) (i.e.,

P(\hat{Y} = 1 ) ).

• Separation: TN / (TN + FP) and TP / (TP + FN) (i.e., specificity

P(\hat{Y} = 0 \mid Y =0 ) and recall P(\hat{Y} = 1 \mid Y = 1 ) ).

• Sufficiency: TP / (TP + FP) and TN / (TN + FN) (i.e., precision

P(Y = 1 \mid \hat{Y} =1 ) and negative predictive value P(Y =0 \mid \hat{Y} =0 ) ).

The notion of equal confusion fairness^[33] requires the confusion matrix of a given decision system to have the same distribution when computed stratified over all sensitive characteristics.

Social welfare function

Some scholars have proposed defining algorithmic fairness in terms of a social welfare function. They argue that using a social welfare function enables an algorithm designer to consider fairness and predictive accuracy in terms of their benefits to the people affected by the algorithm. It also allows the designer to trade off efficiency and equity in a principled way.^[34] Sendhil Mullainathan has stated that algorithm designers should use social welfare functions in order to recognize absolute gains for disadvantaged groups. For example, a study found that using a decision-making algorithm in pretrial detention rather than pure human judgment reduced the detention rates for Blacks, Hispanics, and racial minorities overall, even while keeping the crime rate constant.^[35]

Individual fairness criteria

An important distinction among fairness definitions is the one between group and individual notions.^{[36] [37] [32] [38]} Roughly speaking, while group fairness criteria compare quantities at a group level, typically identified by sensitive attributes (e.g. gender, ethnicity, age, etc.), individual criteria compare individuals. In words, individual fairness follow the principle that "similar individuals should receive similar treatments".

There is a very intuitive approach to fairness, which usually goes under the name of fairness through unawareness (FTU), or blindness, that prescribes not to explicitly employ sensitive features when making (automated) decisions. This is effectively a notion of individual fairness, since two individuals differing only for the value of their sensitive attributes would receive the same outcome.

However, in general, FTU is subject to several drawbacks, the main being that it does not take into account possible correlations between sensitive attributes and non-sensitive attributes employed in the decision-making process. For example, an agent with the (malignant) intention to discriminate on the basis of gender could introduce in the model a proxy variable for gender (i.e. a variable highly correlated with gender) and effectively using gender information while at the same time being compliant to the FTU prescription.

The problem of what variables correlated to sensitive ones are fairly employable by a model in the decision-making process is a crucial one, and is relevant for group concepts as well: independence metrics require a complete removal of sensitive information, while separation-based metrics allow for correlation, but only as far as the labeled target variable "justify" them.

The most general concept of individual fairness was introduced in the pioneer work by Cynthia Dwork and collaborators in 2012^[39] and can be thought of as a mathematical translation of the principle that the decision map taking features as input should be built such that it is able to "map similar individuals similarly", that is expressed as a Lipschitz condition on the model map. They call this approach fairness through awareness (FTA), precisely as counterpoint to FTU, since they underline the importance of choosing the appropriate target-related distance metric in order to assess which individuals are similar in specific situations. Again, this problem is very related to the point raised above about what variables can be seen as "legitimate" in particular contexts.

Causality-based metrics

Causal fairness measures the frequency with which two nearly identical users or applications who differ only in a set of characteristics with respect to which resource allocation must be fair receive identical treatment.^[40]

An entire branch of the academic research on fairness metrics is devoted to leverage causal models to assess bias in machine learning models. This approach is usually justified by the fact that the same observational distribution of data may hide different causal relationships among the variables at play, possibly with different interpretations of whether the outcome are affected by some form of bias or not.^[28]

Kusner et al.^[41] propose to employ counterfactuals, and define a decision-making process counterfactually fair if, for any individual, the outcome does not change in the counterfactual scenario where the sensitive attributes are changed. The mathematical formulation reads:

P(R _{A\leftarrow} =1 \mid A = a,X = x) = P(R _{A\leftarrow} =1 \mid A = a,X = x), \forall a,b;

that is: taken a random individual with sensitive attribute

A = a and other features X = x and the same individual if she had A = b , they should have same chance of being accepted.The symbol \hat{R} _{A\leftarrow} represents the counterfactual random variable R in the scenario where the sensitive attribute A is fixed to A = a . The conditioning on A = a, X = x means that this requirement is at the individual level, in that we are conditioning on all the variables identifying a single observation.

Machine learning models are often trained upon data where the outcome depended on the decision made at that time.^[42] For example, if a machine learning model has to determine whether an inmate will recidivate and will determine whether the inmate should be released early, the outcome could be dependent on whether the inmate was released early or not. Mishler et al.^[43] propose a formula for counterfactual equalized odds:

P(R =1 \mid Y ^{0=0,} A = a) = P(R =1 \mid Y ^{0=0,} A = b) \wedge P(R =0 \mid Y ^{1=1,} A = a) = P(R =0 \mid Y ^{1=1,} A = b), \forall a,b;

where

R is a random variable, Y ^{x} denotes the outcome given that the decision x was taken, and A is a sensitive feature.

Plecko and Bareinboim^[44] propose a unified framework to deal with causal analysis of fairness. They suggest the use of a Standard Fairness Model, consisting of a causal graph with 4 types of variables:

• sensitive attributes (

A ),

• target variable (

Y ),

• mediators (

W ) between A and Y , representing possible indirect effects of sensitive attributes on the outcome,

• variables possibly sharing a common cause with

A (Z ), representing possible spurious (i.e., non causal) effects of the sensitive attributes on the outcome.

Within this framework, Plecko and Bareinboim^[44] are therefore able to classify the possible effects that sensitive attributes may have on the outcome. Moreover, the granularity at which these effects are measured—namely, the conditioning variables used to average the effect—is directly connected to the "individual vs. group" aspect of fairness assessment.

Bias mitigation strategies

Fairness can be applied to machine learning algorithms in three different ways: data preprocessing, optimization during software training, or post-processing results of the algorithm.

Preprocessing

Usually, the classifier is not the only problem; the dataset is also biased. The discrimination of a dataset $D$ with respect to the group $A\; =\; a$ can be defined as follows:$$disc\_(D)\; =\; \backslash frac$$

- \frac

That is, an approximation to the difference between the probabilities of belonging in the positive class given that the subject has a protected characteristic different from $a$ and equal to $a$.

Algorithms correcting bias at preprocessing remove information about dataset variables which might result in unfair decisions, while trying to alter as little as possible. This is not as simple as just removing the sensitive variable, because other attributes can be correlated to the protected one.

A way to do this is to map each individual in the initial dataset to an intermediate representation in which it is impossible to identify whether it belongs to a particular protected group while maintaining as much information as possible. Then, the new representation of the data is adjusted to get the maximum accuracy in the algorithm. This way, individuals are mapped into a new multivariable representation where the probability of any member of a protected group to be mapped to a certain value in the new representation is the same as the probability of an individual which doesn't belong to the protected group. Then, this representation is used to obtain the prediction for the individual, instead of the initial data. As the intermediate representation is constructed giving the same probability to individuals inside or outside the protected group, this attribute is hidden to the classifier.

An example is explained in Zemel et al.^[45] where a multinomial random variable is used as an intermediate representation. In the process, the system is encouraged to preserve all information except that which can lead to biased decisions, and to obtain a prediction as accurate as possible.

On the one hand, this procedure has the advantage that the preprocessed data can be used for any machine learning task. Furthermore, the classifier does not need to be modified, as the correction is applied to the dataset before processing. On the other hand, the other methods obtain better results in accuracy and fairness.

Reweighing

Reweighing is an example of a preprocessing algorithm. The idea is to assign a weight to each dataset point such that the weighted discrimination is 0 with respect to the designated group.^[46]

If the dataset $D$ was unbiased the sensitive variable $A$ and the target variable $Y$ would be statistically independent and the probability of the joint distribution would be the product of the probabilities as follows:$$P\_(A\; =\; a\; \backslash wedge\; Y\; =\; +)\; =\; P(A\; =\; a)\; \backslash times\; P(Y\; =\; +)\; =\; \backslash frac$$

\times \frac

In reality, however, the dataset is not unbiased and the variables are not statistically independent so the observed probability is:$$P\_(A\; =\; a\; \backslash wedge\; Y\; =\; +)\; =\; \backslash frac$$

To compensate for the bias, the software adds a weight, lower for favored objects and higher for unfavored objects. For each $X\; \backslash in\; D$ we get:$$W(X)\; =\; \backslash frac$$

When we have for each $X$ a weight associated $W(X)$ we compute the weighted discrimination with respect to group $A\; =\; a$ as follows:$$disc\_(D)\; =\; \backslash frac\; -\; \backslash frac$$

It can be shown that after reweighting this weighted discrimination is 0.

Inprocessing

Another approach is to correct the bias at training time. This can be done by adding constraints to the optimization objective of the algorithm.^[47] These constraints force the algorithm to improve fairness, by keeping the same rates of certain measures for the protected group and the rest of individuals. For example, we can add to the objective of the algorithm the condition that the false positive rate is the same for individuals in the protected group and the ones outside the protected group.

The main measures used in this approach are false positive rate, false negative rate, and overall misclassification rate. It is possible to add just one or several of these constraints to the objective of the algorithm. Note that the equality of false negative rates implies the equality of true positive rates so this implies the equality of opportunity. After adding the restrictions to the problem it may turn intractable, so a relaxation on them may be needed.

Adversarial debiasing

We train two classifiers at the same time through some gradient-based method (f.e.: gradient descent). The first one, the predictor tries to accomplish the task of predicting $Y$, the target variable, given $X$, the input, by modifying its weights $W$ to minimize some loss function $L\_(\backslash hat,y)$. The second one, the adversary tries to accomplish the task of predicting $A$, the sensitive variable, given $\backslash hat$ by modifying its weights $U$ to minimize some loss function $L\_(\backslash hat,a)$.^[48] An important point here is that, in order to propagate correctly, $\backslash hat$ above must refer to the raw output of the classifier, not the discrete prediction; for example, with an artificial neural network and a classification problem, $\backslash hat$ could refer to the output of the softmax layer.

Then we update $U$ to minimize $L\_$ at each training step according to the gradient $\backslash nabla\_L\_$ and we modify $W$ according to the expression:$$\backslash nabla\_L\_\; -\; proj\_\backslash nabla\_L\_\; -\; \backslash alpha\; \backslash nabla\_L\_$$where \backslash alpha is a tunable hyperparameter that can vary at each time step.

The intuitive idea is that we want the predictor to try to minimize $L\_$ (therefore the term $\backslash nabla\_L\_$) while, at the same time, maximize $L\_$ (therefore the term $-\; \backslash alpha\; \backslash nabla\_L\_$), so that the adversary fails at predicting the sensitive variable from $\backslash hat$.

The term $-proj\_\backslash nabla\_L\_$ prevents the predictor from moving in a direction that helps the adversary decrease its loss function.

It can be shown that training a predictor classification model with this algorithm improves demographic parity with respect to training it without the adversary.

Postprocessing

The final method tries to correct the results of a classifier to achieve fairness. In this method, we have a classifier that returns a score for each individual and we need to do a binary prediction for them. High scores are likely to get a positive outcome, while low scores are likely to get a negative one, but we can adjust the threshold to determine when to answer yes as desired. Note that variations in the threshold value affect the trade-off between the rates for true positives and true negatives.

If the score function is fair in the sense that it is independent of the protected attribute, then any choice of the threshold will also be fair, but classifiers of this type tend to be biased, so a different threshold may be required for each protected group to achieve fairness. A way to do this is plotting the true positive rate against the false negative rate at various threshold settings (this is called ROC curve) and find a threshold where the rates for the protected group and other individuals are equal.^[49]

Reject option based classification

Given a classifier let $P(+|X)$ be the probability computed by the classifiers as the probability that the instance $X$ belongs to the positive class +. When $P(+|X)$ is close to 1 or to 0, the instance $X$ is specified with high degree of certainty to belong to class + or - respectively. However, when $P(+|X)$ is closer to 0.5 the classification is more unclear.^[50]

We say $X$ is a "rejected instance" if $max(P(+|X),\; 1-P(+|X))\; \backslash leq\; \backslash theta$ with a certain $\backslash theta$ such that .

The algorithm of "ROC" consists on classifying the non-rejected instances following the rule above and the rejected instances as follows: if the instance is an example of a deprived group (

X(A) = a ) then label it as positive, otherwise, label it as negative.

We can optimize different measures of discrimination (link) as functions of $\backslash theta$ to find the optimal $\backslash theta$ for each problem and avoid becoming discriminatory against the privileged group.

See also

• Algorithmic bias
• Machine learning
• Representational harm

References

1. Caton . Simon . Haas . Christian . 2020-10-04 . Fairness in Machine Learning: A Survey . cs.LG . 2010.04053 .
2. Friedler . Sorelle A. . Scheidegger . Carlos . Venkatasubramanian . Suresh . April 2021 . The (Im)possibility of fairness: different value systems require different mechanisms for fair decision making . Communications of the ACM . en . 64 . 4 . 136–143 . 10.1145/3433949 . 1769114 . 0001-0782.
3. Mehrabi . Ninareh . Morstatter . Fred . Saxena . Nripsuta . Lerman . Kristina . Galstyan . Aram . 2021-07-13 . A Survey on Bias and Fairness in Machine Learning . ACM Computing Surveys . 54 . 6 . 115:1–115:35 . 10.1145/3457607 . 1908.09635 . 201666566 . 0360-0300.
4. Web site: AI Fairness 360 . 2022-11-18 . aif360.mybluemix.net . 2022-06-29 . https://web.archive.org/web/20220629170411/https://aif360.mybluemix.net/ . dead .
5. Web site: IBM AI Fairness 360 open source toolkit adds new functionalities . 4 June 2020 . Tech Republic.
6. Web site: Responsible AI practices . 2022-11-18 . Google AI . en.
7. Web site: How we're using Fairness Flow to help build AI that works better for everyone . 2022-11-18 . ai.facebook.com . en.
8. Web site: 2021-03-31 . AI experts warn Facebook's anti-bias tool is 'completely insufficient' . 2022-11-18 . VentureBeat . en-US.
9. Hutchinson . Ben . Mitchell . Margaret . Proceedings of the Conference on Fairness, Accountability, and Transparency . 50 Years of Test (Un)fairness . ACM FAT*'19. New York, NY, USA . 2019-01-29 . 49–58 . 10.1145/3287560.3287600 . 9781450361255 . 1811.10104 .
10. Book: Kotek . Hadas . Dockum . Rikker . Sun . David . Gender bias and stereotypes in Large Language Models . 2023-11-05 . Proceedings of the ACM Collective Intelligence Conference . https://dl.acm.org/doi/10.1145/3582269.3615599 . CI '23 . New York, NY, USA . Association for Computing Machinery . 12–24 . 10.1145/3582269.3615599 . 979-8-4007-0113-9.
11. Zhou . Karen . Tan . Chenhao . December 2023 . Bouamor . Houda . Pino . Juan . Bali . Kalika . Entity-Based Evaluation of Political Bias in Automatic Summarization . Findings of the Association for Computational Linguistics: EMNLP 2023 . Singapore . Association for Computational Linguistics . 10374–10386 . 10.18653/v1/2023.findings-emnlp.696. free . 2305.02321 .
12. Web site: 2014-08-01 . Attorney General Eric Holder Speaks at the National Association of Criminal Defense Lawyers 57th Annual Meeting and 13th State Criminal Justice Network Conference . 2022-04-16 . www.justice.gov . en.
13. Web site: Mattu . Julia Angwin, Jeff Larson, Lauren Kirchner, Surya . Machine Bias . 2022-04-16 . ProPublica . en.
14. Dieterich . William . Mendoza . Christina . Brennan . Tim . 2016 . COMPAS Risk Scales: Demonstrating Accuracy Equity and Predictive Parity . Northpointe Inc.
15. Web site: Angwin . Jeff Larson, Julia . Technical Response to Northpointe . 2022-11-18 . ProPublica . 29 July 2016 . en.
16. Rose . Adam . 2010-01-22 . en-US . Time . Are face-detection cameras racist? . 2022-11-18 . 0040-781X.
17. Web site: 2015-07-01 . Google says sorry for racist auto-tag in photo app . 2022-04-16 . The Guardian . en.
18. Web site: 2016-09-08 . A beauty contest was judged by AI and the robots didn't like dark skin . 2022-04-16 . The Guardian . en.
19. Buolamwini . Joy . Joy Buolamwini . Gebru . Timnit . Timnit Gebru . February 2018 . Gender Shades: Intersectional Accuracy Disparities in Commercial Gender Classification . Conference on Fairness, Accountability and Transparency . New York, NY, USA . 77–91.
20. Web site: 2021-08-10 . Student proves Twitter algorithm 'bias' toward lighter, slimmer, younger faces . 2022-11-18 . The Guardian . en.
21. Web site: 2022-07-27 . No quick fix: How OpenAI's DALL·E 2 illustrated the challenges of bias in AI . 2024-07-23 . NBC News . en.
22. News: 2018-10-10 . Amazon scraps secret AI recruiting tool that showed bias against women . en . Reuters . 2022-11-18.
23. News: Apple Card algorithm sparks gender bias allegations against Goldman Sachs . en-US . Washington Post . 2022-11-18 . 0190-8286.
24. Web site: Martinez . Emmanuel . Kirchner . Lauren . The Secret Bias Hidden in Mortgage-Approval Algorithms – The Markup . 2022-11-18 . themarkup.org . 25 August 2021 . en.
25. Ruggieri . Salvatore . Alvarez . Jose M. . Pugnana . Andrea . State . Laura . Turini . Franco . Can We Trust Fair-AI? . Proceedings of the AAAI Conference on Artificial Intelligence . Association for the Advancement of Artificial Intelligence (AAAI) . 37 . 13 . 2023-06-26 . 2374-3468 . 10.1609/aaai.v37i13.26798 . 15421–15430. 259678387 . free . 11384/136444 . free .
26. Buyl . Maarten . De Bie . Tijl . Inherent Limitations of AI Fairness . Communications of the ACM . 2022 . 67 . 2 . 48–55 . 10.1145/3624700 . 2212.06495 . 1854/LU-01GMNH04RGNVWJ730BJJXGCY99 .
27. Castelnovo . Alessandro . Inverardi . Nicole . Nanino . Gabriele . Penco . Ilaria Giuseppina . Regoli . Daniele . Fair Enough? A map of the current limitations of the requirements to have "fair" algorithms . 2023 . cs.AI . 2311.12435 .
28. Solon Barocas; Moritz Hardt; Arvind Narayanan, Fairness and Machine Learning. Retrieved 15 December 2019.
29. Book: Mayes, Elizabeth . Handbook of Credit Scoring . Glenlake Publishing . 2001 . 0-8144-0619-X . NY, NY, USA . 282 . English.
30. Berk . Richard . Heidari . Hoda . Jabbari . Shahin . Kearns . Michael . Roth . Aaron . February 2021 . Fairness in Criminal Justice Risk Assessments: The State of the Art . Sociological Methods & Research . en . 50 . 1 . 3–44 . 10.1177/0049124118782533 . 1703.09207 . 12924416 . 0049-1241.
31. Book: Räz, Tim . Proceedings of the 2021 ACM Conference on Fairness, Accountability, and Transparency . Group Fairness: Independence Revisited . 2021-03-03 . https://dl.acm.org/doi/10.1145/3442188.3445876 . en . ACM . 129–137 . 10.1145/3442188.3445876 . 2101.02968 . 978-1-4503-8309-7. 231667399 .
32. Book: https://dl.acm.org/doi/10.1145/3194770.3194776 . 10.1145/3194770.3194776 . Fairness definitions explained . Proceedings of the International Workshop on Software Fairness . 2018 . Verma . Sahil . Rubin . Julia . 1–7 . 9781450357463 . 49561627 .
33. Book: Gursoy . Furkan . Kakadiaris . Ioannis A. . 2022 IEEE International Conference on Data Mining Workshops (ICDMW) . Equal Confusion Fairness: Measuring Group-Based Disparities in Automated Decision Systems . November 2022 . https://ieeexplore.ieee.org/document/10029385 . IEEE . 137–146 . 10.1109/ICDMW58026.2022.00027 . 2307.00472 . 979-8-3503-4609-1. 256669476 .
34. 2102.00311. Chen. Violet (Xinying). Hooker. J. N.. Welfare-based Fairness through Optimization. 2021. cs.AI.
35. Algorithmic Fairness and the Social Welfare Function. Mullainathan. Sendhil. Sendhil Mullainathan. June 19, 2018. Keynote at the 19th ACM Conference on Economics and Computation (EC'18). YouTube. In other words, if you have a social welfare function where what you care about is harm, and you care about harm to the African Americans, there you go: 12 percent less African Americans in jail overnight.... Before we get into the minutiae of relative harm, the welfare function is defined in absolute harm, so we should actually calculate the absolute harm first.. 48.
36. 10.1146/annurev-statistics-042720-125902 . Algorithmic Fairness: Choices, Assumptions, and Definitions . 2021 . Mitchell . Shira . Potash . Eric . Barocas . Solon . d'Amour . Alexander . Lum . Kristian . Annual Review of Statistics and Its Application . 8 . 1 . 141–163 . 2021AnRSA...8..141M . 228893833 . free . 1811.07867 .
37. A clarification of the nuances in the fairness metrics landscape . 10.1038/s41598-022-07939-1 . 2022 . Castelnovo . Alessandro . Crupi . Riccardo . Greco . Greta . Regoli . Daniele . Penco . Ilaria Giuseppina . Cosentini . Andrea Claudio . Scientific Reports . 12 . 1 . 4209 . 35273279 . 8913820 . 2106.00467 . 2022NatSR..12.4209C .
38. Mehrabi, Ninareh, Fred Morstatter, Nripsuta Saxena, Kristina Lerman, and Aram Galstyan. "A survey on bias and fairness in machine learning." ACM Computing Surveys (CSUR) 54, no. 6 (2021): 1–35.
39. Book: https://doi.org/10.1145/2090236.2090255 . 10.1145/2090236.2090255 . Fairness through awareness . Proceedings of the 3rd Innovations in Theoretical Computer Science Conference on - ITCS '12 . 2012 . Dwork . Cynthia . Hardt . Moritz . Pitassi . Toniann . Reingold . Omer . Zemel . Richard . 214–226 . 9781450311151 . 13496699 .
40. Book: Galhotra . Sainyam . Brun . Yuriy . Meliou . Alexandra . Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering . Fairness testing: Testing software for discrimination . 2017 . 498–510 . 10.1145/3106237.3106277. 9781450351058 . 1709.03221 . 6324652 .
41. Kusner, M. J., Loftus, J., Russell, C., & Silva, R. (2017). Counterfactual fairness. Advances in neural information processing systems, 30.
42. Book: Coston . Amanda . Mishler . Alan . Kennedy . Edward H. . Chouldechova . Alexandra . Proceedings of the 2020 Conference on Fairness, Accountability, and Transparency . Counterfactual risk assessments, evaluation, and fairness . 2020-01-27 . FAT* '20 . New York, NY, USA . Association for Computing Machinery . 582–593 . 10.1145/3351095.3372851 . 978-1-4503-6936-7. 202539649 . free .
43. Book: Mishler . Alan . Kennedy . Edward H. . Chouldechova . Alexandra . Proceedings of the 2021 ACM Conference on Fairness, Accountability, and Transparency . Fairness in Risk Assessment Instruments . 2021-03-01 . FAccT '21 . New York, NY, USA . Association for Computing Machinery . 386–400 . 10.1145/3442188.3445902 . 978-1-4503-8309-7. 221516412 . free .
44. Plecko . Drago . Bareinboim . Elias . Causal Fairness Analysis . 2022 . 2207.11385 .
45. Richard Zemel; Yu (Ledell) Wu; Kevin Swersky; Toniann Pitassi; Cyntia Dwork, Learning Fair Representations. Retrieved 1 December 2019
46. Faisal Kamiran; Toon Calders, Data preprocessing techniques for classification without discrimination. Retrieved 17 December 2019
47. Muhammad Bilal Zafar; Isabel Valera; Manuel Gómez Rodríguez; Krishna P. Gummadi, Fairness Beyond Disparate Treatment & Disparate Impact: Learning Classification without Disparate Mistreatment. Retrieved 1 December 2019
48. Brian Hu Zhang; Blake Lemoine; Margaret Mitchell, Mitigating Unwanted Biases with Adversarial Learning. Retrieved 17 December 2019
49. Moritz Hardt; Eric Price; Nathan Srebro, Equality of Opportunity in Supervised Learning. Retrieved 1 December 2019
50. Faisal Kamiran; Asim Karim; Xiangliang Zhang, Decision Theory for Discrimination-aware Classification. Retrieved 17 December 2019