Cited by 376Explainable Artificial Intelligence (XAI)Software Testing and Debugging TechniquesEthics and Social Impacts of AI

A Survey of Contrastive and Counterfactual Explanation Generation Methods for Explainable Artificial Intelligence

Open access
Stepin, Ilia, Alonso, Jose M., Catala, Alejandro, Pereira-Farina, Martin·2021·IEEE Access

Abstract

A number of algorithms in the field of artificial intelligence offer poorly interpretable decisions. To disclose the reasoning behind such algorithms, their output can be explained by means of so-called evidence-based (or factual) explanations. Alternatively, contrastive and counterfactual explanations justify why the output of the algorithms is not any different and how it could be changed, respectively. It is of crucial importance to bridge the gap between theoretical approaches to contrastive and counterfactual explanation and the corresponding computational frameworks. In this work we conduct a systematic literature review which provides readers with a thorough and reproducible analysis of the interdisciplinary research field under study. We first examine theoretical foundations of contrastive and counterfactual accounts of explanation. Then, we report the state-of-the-art computational frameworks for contrastive and counterfactual explanation generation. In addition, we analyze how grounded such frameworks are on the insights from the inspected theoretical approaches. As a result, we highlight a variety of properties of the approaches under study and reveal a number of shortcomings thereof. Moreover, we define a taxonomy regarding both theoretical and practical approaches to contrastive and counterfactual explanation.

AI snapshot

Written from the paper’s full text.

TL;DR

This systematic literature review maps theoretical accounts and computational frameworks for contrastive and counterfactual explanation in XAI, proposing the umbrella term “contfactual explanation.” It reports a predominantly causal theoretical literature, many task-specific generation frameworks, and a weak link between theory and implementation, with evaluation methods lacking standardization.

Key findings

  • From 113 unique primary studies, 74/113 (65.49%) addressed definitions/theoretical accounts (RQ1), 52/113 (46.02%) described generation frameworks (RQ2), and only 13/113 (11.50%) addressed both (RQ3).
  • Among theoretical accounts, 49/74 (66.22%) concerned causal explanation; the proposed taxonomy distinguishes causal, non-causal, and hybrid contfactual explanation.
  • Among 52 generation frameworks, 31 (59.62%) generated counterfactual explanations, 17 (32.69%) contrastive, and 4 (7.69%) fused both; 42/52 (80.77%) targeted classification. Most were model-agnostic counterfactual methods, and most output numerical/feature-based explanations.
  • Evaluation was non-standardized: 17/52 (32.69%) provided no evaluation details; most used objective metrics, few used hybrid automatic+human evaluation. Only 13/113 studies were theoretically grounded, and only 3/13 (23.08%) of those interpreted theory to propose their own definition.

Methods

  • Systematic literature review following Kitchenham and Charters, Kitchenham et al., and Wohlin, with planning, conducting, and reporting phases; three RQs on definitions, generation methods, and theory-practice grounding.
  • Searched Scopus and Web of Science on October 2, 2020 using six queries (q1–q6) over title, abstract, and author keywords with word stems and NEAR/3/W proximity operators; applied inclusion/exclusion criteria, duplicate removal, and snowballing.
  • From 338 candidate primary studies, 136 duplicates removed, 75 filtered as irrelevant, 33 discarded for inclusion criteria, and 19 added via bibliography inspection, yielding 113 unique primary studies; data extraction covered definitions/theories and framework problem, method, output form, and evaluation, plus bibliometric analysis with Mendeley and VOSViewer.

Limitations

  • The paper states that no uniform set of evaluation methods has been adopted, that many frameworks lack standardization, and that a gap remains between philosophical accounts and ML-related concepts, making theoretical frameworks poorly applicable to XAI.
  • The paper states that definitions are highly task- and domain-specific, that most computational frameworks are non-causal and not rooted in theoretical accounts, and that only 13/113 studies were theoretically grounded.
  • Evident from the text: the search was limited to Scopus and WoS and to a single date (October 2, 2020), so 2020 coverage is incomplete; the review also notes that many frameworks are limited to specific models, tasks, or small feature sets, and that user-centered evaluation is rare.

Model-written summary. Check it against the paper before relying on it.

Integrity signals

Registry

Crossref · 10.1109/access.2021.3051315

Cites

170 of 170 references verified0 citation errors · 0 not checkable

Statistics

Nothing to recompute.

Claims the paper makes

0 of 220 cited sources checked · 0 supported · 0 flagged

  • Findingnone given

    A major factor discerning theoretical approaches to counterfactual explanation is their relation to causation.

    “However, a major factor discerning theoretical approaches to contfactual explanation is found to consist in their relation to causation.”
    Quote in the paperSubstantial claim
  • Findingown data

    There was a rapid rise in the number of publications in the past three years.

    “Furthermore, Fig. 5 shows a rapid rise in the number of publications in the past three years.”
    Quote in the paperNot a substantial claim
    • Rests on an assumption: Publication counts and author keyword maps are valid indicators of research attention and interdisciplinarity in the field.
  • Findingown data

    Causal counterfactual makes up a majority of the considered theoretical frameworks.

    “causal counterfactual making up a majority of the considered theoretical frameworks (see Fig. 8).”
    Quote in the paperNot a substantial claim
    • Rests on an assumption: Counterfactual explanation encompasses contrastive, counterfactual, and contrastive-counterfactual explanation.
  • Findingown data

    Each type of counterfactual explanation is present in the findings.

    “Each type of contfactual explanation is present in the findings”
    Quote in the paperSubstantial claim
    • Rests on an assumption: Counterfactual explanation encompasses contrastive, counterfactual, and contrastive-counterfactual explanation.
  • Findingown data

    Most counterfactual explanation generation frameworks deal with counterfactual explanation (31 out of 52 frameworks; 59.62%).

    “As depicted in Fig. 9, most contfactual explanation generation frameworks deal with counterfactual explanation (31 out of 52 frameworks; 59.62%).”
    Quote in the paperNot a substantial claim
  • Classified as probably not a substantial claim. 205
  • May combine two claims. 23
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingnone given

    Causal relations between the variables in explanation are not always considered binary.

    “Causal relations between the variables in explanation are not always considered binary (i.e., in the presence/absence of a cause).”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingown data

    107 within-query duplicates were identified and removed from further analysis.

    “107 within-query duplicates were identified and removed from further analysis.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingnone given

    Several researchers attempt to unify causal and non-causal counterfactual explanation under the same paradigm.

    “In addition, several researchers attempt to unify causal and non-causal contfactual explanation under the same paradigm.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingown data

    33 studies were discarded after deeper analysis because they did not satisfy the inclusion criteria.

    “enforced us to discard 33 studies which did not satisfy the inclusion criteria.”
    Quote in the paperNot a substantial claim
  • Classified as probably not a substantial claim.

    Findingnone given

    Counterfactual explanations are used to justify automatic decisions obtained for a variety of AI-related problems.

    “Contfactual explanations are used to justify automatic decisions obtained for a variety of AI-related problems.”
    Quote in the paperSubstantial claim
  • Classified as probably not a substantial claim.

    Findingown data

    The analysis of the primary studies related to RQ 2 allows categorization of the state-of-the-art counterfactual explanation generation frameworks according to four criteria: (1) the AI problem, (2) the explainability method, (3) the output representation, and (4) the evaluation method.

    “The analysis of the primary studies related to RQ 2 allows us to categorize the state-of-the-art contfactual explanation generation frameworks in accordance with the following criteria: (1) the problem the solution for which is to be explained (i.e., the AI problem); (2) the method employed to generate such an explanation (i.e., the explainability method); (3) the output representation of the expl”
    Quote in the paperSubstantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingnone given

    In three studies [67], [128], [137], the classifiers used in the experiments are not specified.

    “In three studies [67], [128], [137], the classifiers used in the experiments are not specified.”
    Quote in the paperNot a substantial claim0 of 3 sources checked
    • cites [67] source

      Not checked in the free run.

    • cites [128] source

      Not checked in the free run.

    • cites [137] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingown data

    A stronger impact of counterfactual explanation in the results of the joint query q3 appears to affect significantly the overall allocation of related keywords in the corresponding keyword map.

    “A stronger impact of counterfactual explanation in the results of the joint query q 3 appears to affect significantly the overall allocation of the related keywords in the corresponding keyword map (see Fig. 7).”
    Quote in the paperNot a substantial claim
    • Rests on an assumption: Publication counts and author keyword maps are valid indicators of research attention and interdisciplinarity in the field.
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingown data

    75 publications were deemed irrelevant and filtered out during title, abstract, and author keyword screening.

    “As shown in Fig. 2, 75 publications were deemed irrelevant and filtered out at this stage.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S2 (checkable), S3 (load-bearing).

    Findingown data

    Similar notions are essential for contrastive explanation.

    “Similar notions are observed to be essential for contrastive explanation (see Fig. 6).”
    Quote in the paperNot a substantial claim
    • Rests on an assumption: Publication counts and author keyword maps are valid indicators of research attention and interdisciplinarity in the field.
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingreasoning

    A hybrid approach originating from monism has been adopted to unify causal and non-causal counterfactual explanation.

    “Hence, a hybrid approach, originating from monism, 5 has been adopted to unify causal and non-causal counterfactual explanation.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing), S4 (based).

    Findingnone given

    Other theoretical frameworks seek purely non-causal dependencies in explanation.

    “In contrast, other theoretical frameworks seek purely non-causal dependencies in explanation.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingnone given

    Several subcategorizations of causal counterfactuals have been suggested within some of the aforementioned theoretical frameworks.

    “It is worth noting that several subcategorizations of causal contfactuals have been suggested within some of the aforementioned theoretical frameworks.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingcitation

    In the context of automatic decision-making, counterfactuals are most generally defined as counterarguments for an alternative prediction.

    “In the context of automatic decision-making, counterfactuals are found to be most generally defined as counterarguments for an alternative prediction [86].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [86]

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingcitation

    One of the classification-oriented frameworks [129] is extended to also handle the regression problem.

    “One of the classificationoriented frameworks [129] is extended to also handle the regression problem, i.e., learning a mapping function f from a training dataset X to a continuous output variable Y .”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [129] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingown data

    19 papers were added to the review upon inspecting the bibliography of the primary studies.

    “Finally, 19 papers were added to the review upon inspecting the bibliography of the primary studies.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingreasoning

    A distinction between different clusters in the contrastive explanation keyword map is visible more clearly.

    “However, a distinction between different clusters in the latter case is visible more clearly.”
    Quote in the paperNot a substantial claim
    • Rests on an assumption: Publication counts and author keyword maps are valid indicators of research attention and interdisciplinarity in the field.
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingcitation

    Causal contrastive explanation is frequently found to be designed as an answer to a why-question of the canonical form 'Why P rather than Q?', where P is an explanandum and Q is a foil.

    “Causal contrastive explanation is frequently found to be designed as an answer to a why-question of the following canonical form: ''Why P rather than Q?'' where P is an explanandum (i.e., the fact to be explained), Q being a foil (i.e., one of alternative nonoccurring options) [21].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [21] source

      Not checked in the free run.

    • Rests on an assumption: Counterfactual explanation encompasses contrastive, counterfactual, and contrastive-counterfactual explanation.
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingreasoning

    All in all, 136 duplicates were removed.

    “All in all, 136 duplicates were removed.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingown data

    29 more duplicates were excluded when merging the sets of publications retrieved after q4 and q5.

    “In addition, 29 more duplicates were excluded when merging the sets of publications retrieved after q 4 and q 5 .”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingcitation

    Several explanation generators address computer vision tasks.

    “For instance, several explanation generators address computer vision tasks.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

    Findingcitation

    The other frameworks addressing the regression problem aim to leverage gradient-boosted decision trees [61] and indicate how large errors in regression tasks could be overcome [56].

    “The other frameworks addressing the regression problem aim to leverage gradientboosted decision trees [61] and indicate how large errors in regression tasks could be overcome [56].”
    Quote in the paperNot a substantial claim0 of 2 sources checked
    • cites [61] source

      Not checked in the free run.

    • cites [56]

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing), S4 (based).

    Findingnone given

    All the frameworks generating counterfactual explanations can be classified by their explainability method as either model-specific or model-agnostic.

    “All the frameworks generating contfactual explanations can be classified by their explainability method as either modelspecific or model-agnostic.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing), S4 (based).

    Findingnone given

    Model-agnostic frameworks are largely found to use decision trees as part of the reasoning mechanism instead of explaining their output.

    “Model-agnostic frameworks are largely found to use decision trees as part of the reasoning mechanism instead of explaining their output.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing), S4 (based).

    Findingnone given

    The explanation generation is considered a two-fold optimization problem of finding pertinent positives and negatives.

    “The explanation generation is considered a two-fold optimization problem of finding pertinent positives and negatives.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingnone given

    Counterfactuals are presented in the form of intervals or specific values of the appropriate feature values whose alteration would have changed the output (numerical or feature-based output).

    “Depending on the problem considered, contfactuals are presented in the form of: (1) intervals or specific values of the appropriate feature values whose alteration would have changed the output (i.e., numerical or featurebased output);”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing), S4 (based).

    Findingnone given

    Numerical values (or intervals of values) associated to the most relevant features usually explain the behavior of AI algorithms.

    “Numerical values (or intervals of values) associated to the most relevant features usually explain the behavior of AI algorithms.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingnone given

    Counterfactuals are presented in the form of single- or multiple-sentence coherent text (linguistic output).

    “(2) single-or multiple-sentence coherent text (i.e., linguistic output);”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingown data

    Counterfactuals are presented in the form of a multi-modal combination of some of the above.

    “(4) a multi-modal combination of (some of) the above (see Table 8).”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingnone given

    Counterfactuals are presented in the form of specific regions in the input image (visual output).

    “(3) specific regions in the input image (i.e., visual output);”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingcitation

    Some publications stress that human evaluation should be encouraged to estimate the quality and effectiveness of the generated counterfactuals.

    “However, whereas certain publications do not provide any specific evaluation method, some do stress that human evaluation should be encouraged to estimate the quality and effectiveness of the generated counterfactuals [46], [150], [153].”
    Quote in the paperNot a substantial claim0 of 3 sources checked
    • cites [46] source

      Not checked in the free run.

    • cites [150] source

      Not checked in the free run.

    • cites [153] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing), S4 (based).

    Findingnone given

    In computer science and AI, notions of counterfactual and contrastive explanation are found to be the most dissimilar when applied to non-overlapping problems.

    “In computer science and AI, notions of counterfactual and contrastive explanation are found to be the most dissimilar when applied to non-overlapping problems.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingcitation

    These changes are normally expected to be minimal.

    “Furthermore, these changes are normally expected to be minimal [143].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [143] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingnone given

    Both types of evaluation methods highlight the features supporting evidence as formulated in the contrastive explanation on the basis of the values that a perturbation variable takes on.

    “Both types of evaluation methods highlight the features supporting evidence as formulated in the contrastive explanation on the basis of the values that a perturbation variable takes on.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingcitation

    Two frameworks are evaluated in terms of both automatic metrics and human judgments.

    “Two frameworks are evaluated in terms of both automatic metrics and human judgments.”
    Quote in the paperNot a substantial claim
  • Classified as probably not a substantial claim.

    Findingreasoning

    Definitions of counterfactual explanation vary depending on domains of science and even approaches used for solving specific tasks.

    “In fact, definitions vary depending on domains of science and even approaches used for solving specific tasks.”
    Quote in the paperSubstantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingnone given

    Subjective evaluation methods include human preferences for certain types of counterfactual explanation over others.

    “The subjective methods include human preferences for certain types of contfactual explanation over others.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S2 (checkable), S3 (load-bearing), S4 (based).

    Findingnone given

    Contrastive and counterfactual explanations are found to be in great demand across various sub-fields of AI.

    “Contrastive and counterfactual explanations are found to be in great demand across various sub-fields of AI.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingcitation

    Only linguistic templates for counterfactual explanations are defined without any theoretical grounding in accordance with any accounts described in Section IV-B.

    “Alternatively, only linguistic templates for such explanations are defined without any theoretical grounding in accordance with any accounts described in Section IV-B.”
    Quote in the paperNot a substantial claim
  • Classified as probably not a substantial claim.

    Findingnone given

    The existing methodological differences affect greatly the definition of counterfactual explanation found across various approaches.

    “In addition, the existing methodological differences affect greatly the definition of contfactual explanation found across various approaches.”
    Quote in the paperSubstantial claim
  • Probably not a substantial claim: may not pass S2 (checkable), S3 (load-bearing), S4 (based).

    Findingnone given

    The corresponding line of research in AI makes little use of the rich theoretical background accumulated by now.

    “Nevertheless, the corresponding line of research in AI makes little use of the rich theoretical background accumulated by now.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing), S4 (based).

    Findingnone given

    A consensus among researchers has been observed on how counterfactual explanations are defined irrespective of the theoretical framework proposed by individual authors.

    “In general, a consensus among researchers has been observed on how contfactual explanations are defined irrespective of the theoretical framework proposed by individual authors.”
    Quote in the paperNot a substantial claim
  • May combine two claims.

    Findingreasoning

    The concept of 'the closest possible world' does not always appear in the related publications, but it turns out to be implicitly wired in almost all works.

    “Indeed, while the concept of ''the closest possible world'' does not always appear in the related publications, it turns out to be implicitly wired in almost all works.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingown data

    The topic of contrastive and counterfactual explanation has recently attracted attention from researchers in XAI.

    “In addition, the topic has recently attracted attention from researchers in XAI (see Fig. 13).”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingcitation

    The most commonly acceptable definition of a counterfactual in the observed RQ3-related studies states that a counterfactual explanation is a set of minimal feature modifications that makes the model change the prediction.

    “Nevertheless, the most commonly acceptable definition of a contfactual in the observed RQ 3 -related studies states that a contfactual explanation is a set of minimal feature modifications that makes the model change the prediction [81], [105], [122].”
    • Also stated in: § VI. CONCLUDING REMARKS · plain
      “the most commonly accepted definition of a contfactual explanation in the context of XAI refers to a minimal set of feature modifications that makes the model change the prediction.”
    Quote in the paperNot a substantial claim0 of 3 sources checked
    • cites [81] source

      Not checked in the free run.

    • cites [105] source

      Not checked in the free run.

    • cites [122] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingnone given

    The generated counterfactuals are inspected in terms of fairness which is calculated as the expected distance between the input and a counterfactual over distinct values for a specified feature set.

    “In addition, the generated counterfactuals are inspected in terms of fairness which is calculated as the expected distance between the input and a counterfactual over distinct values for a specified feature set.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingnone given

    In image classification, it is found necessary to detect specific regions in the given test image.

    “In image classification, it is found necessary to detect specific regions in the given test image.”
    Quote in the paperNot a substantial claim
  • May combine two claims.

    Findingcitation

    As a majority of the considered frameworks are designed for tackling classification problems, counterfactual explanations operate on the notion of a contrast-class.

    “As a majority of the considered frameworks are designed for tackling classification problems, contfactual explanations operate on the notion of a contrast-class (e.g., see [155]) answering the question: ''How is the prediction altered when the observation changes, given a classifier and an observation?''”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [155] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingnone given

    There is a number of marginal interpretations of counterfactuals among the RQ3-related studies.

    “Finally, there is a number of marginal interpretations of contfactuals among the RQ 3 -related studies.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S4 (based).

    Findingnone given

    The notion of counterfactual explanation is found to be highly task-and domain-specific.

    “Despite the fact that the notion of contfactual explanation is found to be highly task-and domain-specific, the most commonly accepted definition of a contfactual explanation in the context of XAI refers to a minimal set of feature modifications that makes the model change the prediction.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing), S4 (based).

    Findingnone given

    In humanities and social sciences, a major difference in various counterfactual theories of explanation is observed to concern the causal nature of explanation and its extrapolation to non-causal cases.

    “In humanities and social sciences, a major difference in various contfactual theories of explanation is observed to concern the causal nature of explanation and its extrapolation to non-causal cases.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingcitation

    It is worth noting that the run-time of explanation generation algorithms is reported in addition to the evaluation metrics for several frameworks.

    “It is worth noting that the run-time of explanation generation algorithms is reported in addition to the evaluation metrics for several frameworks [132], [139], [146], [152], [156], [159].”
    Quote in the paperNot a substantial claim0 of 3 sources checked
    • cites [132] source

      Not checked in the free run.

    • cites [139]

      Not checked in the free run.

    • cites [146], [152], [156], [159]

      Not checked in the free run.

  • Classified as probably not a substantial claim.

    Findingnone given

    A gap between philosophical accounts of counterfactual explanation to scientific modeling and ML-related concepts makes the theoretical frameworks poorly applicable to XAI.

    “We find that a gap between philosophical accounts of contfactual explanation to scientific modeling and ML-related concepts makes the theoretical frameworks poorly applicable to XAI.”
    Quote in the paperSubstantial claim
  • May combine two claims.

    Findingreasoning

    Hendricks et al.'s human evaluation results only include evaluations for factual explanations and are therefore excluded from the taxonomy group being discussed.

    “However, these only include evaluations for factual explanations and are therefore excluded from the taxonomy group being discussed.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingreasoning

    The rest of works redefine counterfactual explanation on the basis of the problem-specific constraints without explicitly referring to the theoretical foundations described in Section IV-B.

    “The rest of works redefine contfactual explanation on the basis of the problem-specific constraints without explicitly referring to the theoretical foundations described in Section IV-B.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingcitation

    Automatic metrics are complemented with a user study on intuitiveness, friendliness, comprehensibility, and understandability of generated explanations.

    “Automatic metrics are complemented with a user study on intuitiveness, friendliness, comprehensibility, and understandability of generated explanations.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Findingcitation

    ML-specific counterfactual explanations are designed to answer the question: 'Why was the outcome Y observed instead of Y?'

    “More precisely, ML-specific contfactual explanations are designed to answer the question: ''Why was the outcome Y observed instead of Y ?''[148].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [148]

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Fang et al. referred to contrastive reasoning as a procedure operating on but-statements.

    “Alternatively, Fang et al. [43] referred to contrastive reasoning as a procedure operating on ''butstatements'', as in ''all cars are polluting, but hybrid cars are not polluting'', which serves a principally different explanation generation task in comparison with the other aforementioned approaches.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [43] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S1 (asserted), S3 (load-bearing).

    Premisecitation

    Supporters of the pragmatic approach to explanation argue that the ability to distinguish the answer to an explanatory question from a set of contrastive hypothesized alternatives provides the explainee with sufficiently comprehensive information on the reasoning behind the question.

    “Thus, supporters of the pragmatic approach to explanation argue that it is exactly the ability to distinguish the answer to an explanatory question from a set of contrastive hypothesized alternatives that provides the explainee with sufficiently comprehensive information on the reasoning behind the question [13].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [13] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Counterfactuals describe events or states of the world that did not occur and implicitly or explicitly contradict factual world knowledge.

    “Counterfactuals describe events or states of the world that did not occur and implicitly or explicitly contradict factual world knowledge [27].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [27] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    No agreement about a definition of explanation has been reached despite the attention explanation has received in philosophy of science.

    “However, no agreement about a definition of explanation has been reached despite the fact that explanation has called a significant amount of attention in, e.g., philosophy of science [7], [8].”
    Quote in the paperNot a substantial claim0 of 2 sources checked
    • cites [7]

      Not checked in the free run.

    • cites [8]

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S2 (checkable), S3 (load-bearing).

    Premisecitation

    Counterfactual reasoning in computer science is defined as the process of evaluating conditional claims about alternative possibilities and their consequences.

    “Thus, counterfactual reasoning in computer science is defined as the process of evaluating conditional claims about alternative possibilities and their consequences [33].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [33] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Contrastive reasoning forms the basis of abductive inference.

    “In addition, contrastive reasoning forms the basis of abductive inference [19], i.e., the process of inferring certain facts that render some observation plausible [20].”
    Quote in the paperNot a substantial claim0 of 2 sources checked
    • cites [19] source

      Not checked in the free run.

    • cites [20] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Counterfactual reasoning is claimed to be a key mechanism for explaining adaptive behavior in a changing environment.

    “In addition, counterfactual reasoning is claimed to be a key mechanism for explaining adaptive behavior in a changing environment [25], [26].”
    Quote in the paperNot a substantial claim0 of 2 sources checked
    • cites [25] source

      Not checked in the free run.

    • cites [26] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Counterfactuality is among the most fundamental concepts in theories of causation.

    “Moreover, counterfactuality is among the most fundamental concepts in theories of causation [36], [37].”
    Quote in the paperNot a substantial claim0 of 2 sources checked
    • cites [36] source

      Not checked in the free run.

    • cites [37]

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    The pragmatic approach is claimed to set a minimum criterion that an explanation must fulfill: it must favor the probability of the observed event P to all the hypothetical alternatives.

    “This approach is also claimed to set a minimum criterion that an explanation must fulfill: it must favor the probability of the observed event P to all the hypothetical alternatives (Q 1 , Q 2 , . . ., Q n ) [14].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [14] source

      Not checked in the free run.

  • Classified as probably not a substantial claim.

    Study design and conductcitation

    The present survey was undertaken as a systematic literature review following the guidelines by Kitchenham and Charters, Kitchenham et al., and Wohlin.

    “The present survey has been undertaken as a systematic literature review following the guidelines by Kitchenham and Charters [58], Kitchenham et al. [59], and Wohlin [60].”
    Quote in the paperSubstantial claim0 of 3 sources checked
    • cites [58] source

      Not checked in the free run.

    • cites [59] source

      Not checked in the free run.

    • cites [60] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    The property of contrastiveness presupposes that an explanation answers the why-question regarding the cause of the event in question in terms of hypothesized non-occurring alternatives.

    “The property of contrastiveness presupposes that an explanation answers the given why-question regarding the cause of the event in question (''Why did P happen?'') in terms of hypothesized non-occurring alternatives (''Why did P happen rather than Q?'') [12].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [12] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    The ability to explain a decision contrastively is claimed to lead to responsible decision-making.

    “Finally, the ability to explain a decision contrastively is claimed to lead to responsible decision-making [47].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [47] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Over et al.'s findings point to a strong correlation between the probability of the counterfactual conditional and causal strength judgments.

    “Their findings point to a strong correlation between the probability of the counterfactual conditional and causal strength judgments.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [40]

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    McGill and Klein distinguished contrastive reasoning from its counterfactual counterpart.

    “In contrast, McGill and Klein distinguished contrastive reasoning from its counterfactual counterpart [42].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [42]

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    The truth of a counterfactually inferred statement is resolved by modeling a situation where the smallest possible change in features of the actual world leads to a different state of things and estimating what is true in that setting.

    “In this setting, the truth of a counterfactually inferred statement is resolved by: (1) modeling a situation where the smallest possible change in features of the actual world (as set in the antecedent) leads to a different (possibly, desired) state of things (the so-called ''closest'' or ''nearest'' possible world); and (2) estimating what is true in that setting [35].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [35] source

      Not checked in the free run.

  • Classified as probably not a substantial claim.

    Study design and conductnone given

    The review provides readers with a thorough and reproducible analysis of the interdisciplinary research field under study.

    “In this work we conduct a systematic literature review which provides readers with a thorough and reproducible analysis of the interdisciplinary research field under study.”
    Quote in the paperSubstantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Pearl extended the definition of the causal counterfactual to estimate the probability of the truth of the consequent caused by the antecedent.

    “Thus, Pearl extended the definition of the causal counterfactual to esti-mate the probability of the truth of the consequent caused by the antecedent (''a probability statement about the truth of y, had x been true, when it is known that y had been false when x was false'') [37].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [37]

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Over et al. proposed that the subjective probability of the counterfactual at the present time is the same as the conditional probability P(y|x) at some earlier time.

    “Thus, they proposed that the subjective probability of the counterfactual at the present time is the same as the conditional probability P(y|x) at some earlier time.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [40]

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    The stochastic nature of predictions made by various AI algorithms is claimed to be among the main obstacles in reaching a true explanation.

    “The stochastic nature of predictions made by various AI algorithms is claimed to be among the main obstacles in reaching a true explanation [44].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [44] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Edgington regarded counterfactual judgments as uncertain conditional statements and therefore evaluated them by estimating their conditional probability given some endorsing event.

    “On a similar note, Edgington regarded counterfactual judgments as uncertain conditional statements and therefore evaluated them by estimating their conditional probability given some endorsing event [41].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [41]

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Contrastive explanations are claimed to be inherent to human cognition.

    “Thus, contrastive explanations are claimed to be inherent to human cognition [16].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [16]

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    A counterfactual definition of a cause of an arbitrary event traces back to Hume.

    “A counterfactual definition of a cause of an arbitrary event traces back to Hume [38].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [38] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisenone given

    Counterfactual explanations specify necessary minimal changes in the input so that a contrastive output is obtained.

    “On the other hand, counterfactual explanations specify necessary minimal changes in the input so that a contrastive output is obtained.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Counterfactuals are argued to represent a causal relation between the event happened in reality and its imaginary counterpart.

    “Indeed, counterfactuals are argued to represent a causal relation between the event happened in reality and its imaginary counterpart.”
    Quote in the paperNot a substantial claim0 of 2 sources checked
    • cites [36] source

      Not checked in the free run.

    • cites [37]

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Counterfactual conditional statements are claimed to enable people to produce utterances that are factually false yet truthful irrespective of the interpretation adopted.

    “All in all, counterfactual conditional statements are claimed to enable people to produce utterances that are factually false yet truthful irrespective of the interpretation adopted [32].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [32] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    In the context of AI, explanation often bases on judgments about why a certain outcome is predicted by an AI algorithm and hypotheses about causes with respect to given effects.

    “In the context of AI, it often bases on judgments about why a certain outcome is predicted by an AI algorithm and hypotheses about causes with respect to given effects [10].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [10] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisenone given

    The need for explaining reasoning mechanisms behind AI applications is legally regulated in the European Union by the General Data Protection Regulation.

    “For instance, the need for explaining reasoning mechanisms behind such applications is now legally regulated in the European Union by means of the General Data Protection Regulation.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisenone given

    Contrastive explanations point to the difference between the actual and a hypothetical decision.

    “It is important to note that contrastive explanations point to the difference between the actual and a hypothetical decision.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    The need to motivate automatic decisions with a clear explanation of why the algorithm outputs a particular decision has made the XAI research field grow quickly.

    “As a result, the need to motivate automatic decisions with a clear explanation of why the algorithm outputs a particular decision has made the XAI research field grow quickly [5].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [5] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    In its most general form, explanation is normally treated as an answer to the question of why something is the case.

    “In its most general form, explanation is normally treated as ''an answer to the question of why something is the case'' [9].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [9]

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    A counterfactual explanation of an ML-based algorithm prediction may describe the smallest change to the feature values that changes the prediction to a predefined output.

    “For instance, a counterfactual explanation of an ML-based algorithm prediction may describe ''the smallest change to the feature values that changes the prediction to a predefined output'' [53].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [53] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    The terms contrastive explanation and counterfactual explanation are sometimes used interchangeably in the context of XAI.

    “However, these terms are sometimes used interchangeably in the context of XAI [48], [49].”
    Quote in the paperNot a substantial claim0 of 2 sources checked
    • cites [48]

      Not checked in the free run.

    • cites [49] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Study design and conductown data

    Six queries were performed over the title, abstract, and author keywords in Scopus and Web of Science.

    “Subsequently, we performed six queries over the title, abstract, and author keywords in the aforementioned libraries (see the overall structure of the query pipeline in Fig. 1).”
    Quote in the paperNot a substantial claim
  • Classified as probably not a substantial claim.

    Study design and conductreasoning

    The preprocessed collection of publications was split into two overlapping subsets to distinguish publications covering theoretical accounts of contfactual explanation and existing computational frameworks for contfactual explanation generation.

    “Subsequently, the preprocessed collection of publications was split into two overlapping subsets aiming to distinguish the publications covering theoretical accounts of contfactual explanation with the aim of extracting the related definitions, theories (or their inferences or implications) (q 4 ) and existing computational frameworks for contfactual explanation generation (q 5 ).”
    Quote in the paperSubstantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Study design and conductreasoning

    A window span of three words was used to ensure that the attributes counterfactual and contrastive relate to explanation.

    “In addition, we used a window span of three words (i.e., ''NEAR/3'') to ensure that the attributes ''counterfactual'' and ''contrastive'' relate to explanation.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

    Premisecitation

    Counterfactual explanations are normally considered contrastive by nature and therefore present a source of valuable complementary information to a given automatic prediction.

    “Counterfactual explanations are normally considered contrastive by nature and therefore present a source of valuable complementary information to a given automatic prediction [52].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [52] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing), S4 (based).

    Study design and conductnone given

    Publications obtained as a result of q5 address RQ2.

    “Similarly, publications obtained as a result of q 5 address RQ 2 .”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Keane et al. argue that applying case-based reasoning techniques for generating counterfactuals increases their explanatory competence.

    “Furthermore, Keane et al. argue that applying case-based reasoning techniques for generating counterfactuals increases their explanatory competence [51].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [51]

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Study design and conductnone given

    Duplicate reports of the same studies appearing in both Scopus and Web of Science were excluded.

    “In contrast, we excluded duplicate reports of the same studies appeared in both Scopus and WoS.”
    Quote in the paperNot a substantial claim
  • Classified as probably not a substantial claim. May combine two claims.

    Study design and conductnone given

    For RQ2, publications not related to AI algorithms or applications and those where the proposed framework did not provide any human-comprehensible contfactual explanations as output were discarded.

    “As for the publications related to RQ 2 , we discarded: (1) the publications which were not related to AI algorithms or applications as well as (2) those where the proposed framework did not provide any human-comprehensible contfactual explanations as output.”
    Quote in the paperSubstantial claim
  • Classified as probably not a substantial claim. May combine two claims.

    Study design and conductnone given

    For RQ1, studies whose contents did not introduce any contfactual theory of explanation or containing no formal or informal definition of contrastive or counterfactual or contrastive-counterfactual explanation were removed.

    “As for the publications related to RQ 1 , we also removed: (1) the studies whose contents did not introduce any contfactual theory of explanation or (2) those containing no formal or informal definition of contrastive or counterfactual or contrastivecounterfactual explanation.”
    Quote in the paperSubstantial claim
  • Classified as probably not a substantial claim. May combine two claims.

    Study design and conductreasoning

    For RQ2, inclusion criteria required publications to present a novel approach, method, or framework for contfactual explanation generation whose output can serve to explain the reasoning of an AI algorithm and to be found in computer science, mathematics, or engineering.

    “In order to capture existing computational frameworks for contfactual explanation generation, we included publications that: (1) present a novel approach, method, or framework for contfactual explanation generation whose output can serve to explain the reasoning of an AI algorithm and (2) are found in such subject areas as computer science, mathematics, engineering as well as in their sub-fields.”
    Quote in the paperSubstantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Study design and conductnone given

    The search web tools of the selected digital libraries allow researchers to reproduce the original study.

    “The search web tools of the selected digital libraries allow researchers to reproduce the original study.”
    Quote in the paperNot a substantial claim
  • Classified as probably not a substantial claim.

    Study design and conductown data

    The search strategy selected the digital libraries Scopus and Web of Science to retrieve relevant publications.

    “We selected the digital libraries Scopus and Web of Science (WoS) to retrieve relevant publications from.”
    Quote in the paperSubstantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    In the context of XAI, an explanation for an automatic decision or prediction can be obtained abductively by attempting the search problem over the set of the known information concerning that observation.

    “In the context of XAI, an explanation for an automatic decision or prediction, treated as an observation, can be obtained abductively by attempting the search problem over the set of the known information concerning that observation [50].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [50] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Study design and conductnone given

    The number of publications in 2020 is limited to the search date.

    “It is worth noting that the number of publications in 2020 is limited to the search date.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S4 (based). May combine two claims.

    Study design and conductnone given

    Queries q1 and q2 embrace all up-to-date publications containing mentions of counterfactual and contrastive explanation, respectively, found across all subject areas.

    “Queries q 1 and q 2 embrace all the up-to-date publications containing mentions of counterfactual and contrastive explanation, respectively, found across all subject areas.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S4 (based). May combine two claims.

    Premisenone given

    Scopus and Web of Science include research publications in computing and index studies across all scientific fields, which allows for an objective analysis of the interdisciplinary literature relevant to the research questions.

    “These libraries do not only include research publications in computing but also index studies across all scientific fields, which allows for an objective analysis of the interdisciplinary literature relevant to the research questions posed.”
    Quote in the paperNot a substantial claim
  • Classified as probably not a substantial claim.

    Study design and conductreasoning

    Word-stems were used to allow for maximal diversity of the retrieved papers.

    “In order to capture all relevant publications, we only used the corresponding word-stems to allow for maximal diversity of the retrieved papers.”
    Quote in the paperSubstantial claim
  • Probably not a substantial claim: may not pass S2 (checkable).

    Interpretationreasoning

    Counterfactuals are particularly suitable for informing the end-user why a given data example is assigned a particular class label.

    “Indeed, contfactuals are particularly suitable for informing the end-user why a given data example is assigned a particular class label.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S4 (based).

    Study design and conductnone given

    Publications retrieved as a result of q4 form an exhaustive set of papers addressing RQ1.

    “It is important to note that publications retrieved as a result of q 4 form an exhaustive set of papers addressing RQ 1 .”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Counterfactual explanation is widely addressed in the paradigm of case-based reasoning.

    “Alternatively, counterfactual explanation is widely addressed in the paradigm of case-based reasoning, i.e., a family of problem solving methods based on appeals to precedent solutions.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [14] source

      Not checked in the free run.

  • May combine two claims.

    Interpretationown data

    The keywords identified in studies related to q3 testify that the issue of counterfactual explanation is highly interdisciplinary and finds application in both humanities and natural sciences.

    “The keywords identified in the studies related to q 3 testify that the issue of contfactual explanation is highly interdisciplinary and finds application in both humanities and natural sciences.”
    Quote in the paperNot a substantial claim
    • Rests on an assumption: Publication counts and author keyword maps are valid indicators of research attention and interdisciplinarity in the field.
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Study design and conductnone given

    Papers that q6 returned address RQ3.

    “Finally, the papers that q 6 returned address RQ 3 .”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing), S4 (based).

    Study design and conductnone given

    The use of the search web tools guarantees performing equivalent queries across both libraries.

    “Furthermore, their use guarantees performing equivalent queries across both libraries.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    In Stepin et al.'s method [122], the generated counterfactuals are ranked using a XOR-based distance to find the most relevant counterfactual pertinent to the given contrast class.

    “Subsequently, the generated counterfactuals are ranked using a XOR-based distance to find the most relevant counterfactual pertinent to the given contrast class.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [122] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Russell et al. adopt a similar approach to encompass continuous and discrete variables as well as the combination of the two [153].

    “Russell et al. adopt a similar approach to encompass continuous and discrete variables as well as the combination of the two [153].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [153] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisenone given

    The framework [93] is not designed to provide explanations for ML algorithms.

    “It is worth noting that the framework is not designed to provide explanations for ML algorithms.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [93]

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    In Hendricks et al.'s framework [86], the best counterfactual explanation is selected to be the most class-specific to the counterfactual image while being the most relevant to the input image.

    “The best counterfactual explanation is then selected to be the most class-specific to the counterfactual image while being the most relevant to the input image.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [86]

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Stepin et al.'s method [122] is further extended to generating counterfactuals for fuzzy decision trees.

    “This method is further extended to generating counterfactuals for fuzzy decision trees.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [122] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Fernández et al. [80] present a recursive algorithm which extracts counterfactuals in the form of contrast-class decision tree nodes.

    “For instance, Fernández et al. [80] present a recursive algorithm which extracts counterfactuals in the form of contrast-class decision tree nodes.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [80] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Hendricks et al. bind an input visual image with a paired textual counterfactual explanation generated by a recurrent neural network [86].

    “Hendricks et al. bind an input visual image with a paired textual counterfactual explanation generated by a recurrent neural network [86].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [86]

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Ghazimatin et al. obtain a counterfactual explanation by removing a minimal set of user actions so that the output recommendation changes.

    “They obtain a counterfactual explanation by removing a minimal set of user actions so that the output recommendation changes.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [84] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    In order to guarantee the coherence of the counterfactual data example used for explanation, Russell et al. propose an integer programming-based method [153].

    “In order to guarantee the coherence of the counterfactual data example used for explanation, an integer programming-based method is proposed.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [153] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Russell et al. claim that the generated counterfactual explanations are diverse, as diversity constraints are applied iteratively to a set of candidate counterfactuals [153].

    “In addition, the generated counterfactual explanations are claimed to be diverse, as diversity constraints are applied iteratively to a set of candidate counterfactuals.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [153] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Mosca et al. introduce an argumentation-based framework for social network management [149].

    “Mosca et al. introduce an argumentation-based framework for social network management [149].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [149] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    In Fernández et al.'s framework [80], the relevance of the generated counterfactuals is measured by calculating a variant of the Gower distance.

    “The relevance of the generated counterfactuals is then measured by calculating a variant of the Gower distance.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [80] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Aguilar-Palacios et al. make use of the weighted Euclidean distance to present the forecast as a contrast to the neighbouring vectorized promotions.

    “The researchers make use of the weighted Euclidean distance to present the forecast as a contrast to the neighbouring vectorized promotions.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [61] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    The first of the considered frameworks (in chronological order) [93] offers explanations by reasoning abductively over the information extracted from a given knowledge base to answer a specific contrastive question.

    “The first of the considered frameworks (in chronological order) [93] offers explanations by reasoning abductively over the information extracted from a given knowledge base to answer a specific contrastive question.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [93]

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    In Akula et al.'s study [128], the explanations based on such graphs are passed on to human subjects to evaluate the contrastive answers to the predefined questions.

    “The explanations based on such graphs are passed on to human subjects to evaluate the contrastive answers to the predefined questions.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [128] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Ustun et al. tackle the problem of actionability, i.e., constraining the generated counterfactuals in such a manner that the imposed changes ''do not alter immutable features'' and that they ''do not alter mutable features in an infeasible way'' [158].

    “Thus, Ustun et al. tackle the problem of actionability, i.e., constraining the generated counterfactuals in such a manner that the imposed changes ''do not alter immutable features'' and that they ''do not alter mutable features in an infeasible way'' [158].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [158] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

    Premisecitation

    In Kanehira et al.'s framework [91], a counterfactual explanation is dependent on how likely a selected region in the given frame is classified positive and not negative, hence all such regions are scored and normalized.

    “A counterfactual explanation is, in this case, dependent on how likely a selected region in the given frame is classified positive and not negative, hence all such regions are scored and normalized.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [91] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Sokol and Flash's ''Glass-box'' framework, designed specifically for decision trees, is argued to be easily extendable to capture the output of other logical (rule-based) models.

    “Designed specifically for decision trees, their ''Glass-box'' frame- work is argued to be easily extendable to capture the output of other logical (rule-based) models.”
    Quote in the paperNot a substantial claim0 of 2 sources checked
    • cites [46] source

      Not checked in the free run.

    • cites [155] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    In the framework [93], an explanation is considered to be a consistent set of disjunctive literals for the explanation-seeking question.

    “In this setting, an explanation is considered to be a consistent set of disjunctive literals for the explanation-seeking question.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [93]

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Ghazimatin et al. propose a graph-based recommendation system in a counterfactual setup [84].

    “Ghazimatin et al. propose a graph-based recommendation system in a counterfactual setup [84].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [84] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    In Hendricks et al.'s framework [86], a number of candidate explanations (both image-relevant and non-relevant) are generated, paired, and ranked.

    “In their framework, a number of candidate explanations (both image-relevant and non-relevant) are generated, paired, and ranked.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [86]

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    To approach the actionability problem, Ustun et al. employ a mixed integer programming method.

    “To approach this problem, a mixed integer programming method is employed.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [158] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    The proposed metric in Fernández et al.'s framework [80] penalizes the number of feature changes when traversing the tree so that sparsity is promoted.

    “The proposed metric penalizes the number of feature changes when traversing the tree so that sparsity is promoted.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [80] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Kanehira et al. train a post-hoc explanatory model to justify a video classifier's output [91].

    “Alternatively, Kanehira et al. train a post-hoc explanatory model to justify a video classifier's output [91].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [91] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Aguilar-Palacios et al. generate contrastive explanations using gradient boosted decision trees to forecast promotional sales [61].

    “Aguilar-Palacios et al. generate contrastive explanations using gradient boosted decision trees to forecast promotional sales [61].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [61] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Sokol and Flash rely on the Manhattan distance measuring leaf-to-leaf distance in the tree to retrieve the most relevant counterfactuals [46], [155].

    “Alternatively, Sokol and Flash rely on the Manhattan distance measuring leaf-to-leaf distance in the tree to retrieve the most relevant counterfactuals [46], [155].”
    Quote in the paperNot a substantial claim0 of 2 sources checked
    • cites [46] source

      Not checked in the free run.

    • cites [155] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Mosca et al. use contrastive explanations to answer critical questions about agent actions in the context of multi-user privacy conflict.

    “They use contrastive explanations to answer critical questions about agent actions in the context of multi-user privacy conflict.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [149] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Akula et al. [128] present an empirical study where input video frames are paired with the corresponding AND-OR graphs, i.e., compositional recursively defined graph-based knowledge representations capturing contextual information.

    “For instance, Akula et al. [128] present an empirical study where input video frames are paired with the corresponding AND-OR graphs, i.e., compositional recursively defined graphbased knowledge representations capturing contextual information.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [128] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Stepin et al. retrieve counterfactuals from a rule matrix where each rule is encoded in terms of all possible feature values [122].

    “Stepin et al. retrieve counterfactuals from a rule matrix where each rule is encoded in terms of all possible feature values [122].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [122] source

      Not checked in the free run.

  • May combine two claims.

    Premisecitation

    Russell et al.'s framework [153] is limited to: (1) explaining predictions of only linear classifiers and (2) a simple structure of the textual explanation template.

    “However, this framework is limited to: (1) explaining predictions of only linear classifiers and (2) a simple structure of the textual explanation template.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [153] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    In the extended framework [129], the continuous output is subsequently converted to a lower-scale discrete value mapped to a textual description similar to that typical of a classification problem.

    “However, the continuous output is, in this case, subsequently converted to a lower-scale discrete value mapped to a textual description similar to that typical of a classification problem.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [129] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    In Laugel et al., counterfactuals are selected from a local neighbourhood circling around the test example with the radius of the distance to the closest correctly predicted data point of a contrast-class.

    “Counterfactuals are selected from a local neighbourhood circling around the test example with the radius of the distance to the closest correctly predicted data point of a contrast-class.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [144] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Labaien et al. generate contrastive explanations for time-series data.

    “Labaien et al. generate contrastive explanations for time-series data [141].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [141] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Anjomshoae et al. focus on contrastive explanations that maximize contextual importance and contextual utility.

    “Anjomshoae et al. [129] focus on contrastive explanations that maximize contextual importance and contextual utility.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [129] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S2 (checkable), S3 (load-bearing).

    Premisecitation

    A similar limitation is observed due to possibly high variability of the input.

    “A similar limitation is observed due to possibly high variability of the input.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [129] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Plan explicability is reformulated in terms of its comprehensibility by an end-user.

    “As plan explicability is reformulated in terms of its comprehensibility by an end-user.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [132] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Sreedharan et al. consider the task of automatic analysis of counterfactual explanations in their ''Hierarchical Expertise-Level Modeling'' framework [156].

    “Conversely, Sreedharan et al. consider the task of automatic analysis of counterfactual explanations in their ''Hierarchical Expertise-Level Modeling'' framework [156].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [156] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    In Kim et al.'s framework [94], the problem of obtaining contrastive explanations is designed as a Bayesian inference problem, with the posterior distribution to be maximized defined as the probability of a contrastive explanation given a set of positive and negative plan traces.

    “The problem of obtaining contrastive explanations is designed as a Bayesian inference problem, with the posterior distribution to be maximized defined as the probability of a contrastive explanation given a set of positive and negative plan traces.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [94] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    van der Waa et al. randomly sample or generate a data set in the neighbourhood local to the data point in question.

    “Similarly, van der Waa et al. randomly sample or generate a data set in the neighbourhood local to the data point in question [159].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [159] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Sukkerd et al.'s objective is to find an optimal policy that minimizes the expected cumulative cost of reaching a goal state over all closed policies.

    “Hence, their objective is to find an optimal policy ''that minimizes the expected cumulative cost of reaching a goal state over all closed policies''.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [157] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    The researchers attempt to find the best counterfactual explanation by minimizing the number of attributes changed.

    “The researchers attempt to find the best counterfactual explanation by minimizing the number of attributes changed.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [148]

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Laugel et al. argue that a synthesized counterfactual data point must be connected to the training data.

    “They argue that a synthesized counterfactual data point must be connected to the training data.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [144] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Martens and Provost suggest the model-agnostic Search for Explanations for Document Classification algorithm for retrieving counterfactual explanations.

    “Hence, they suggest the model-agnostic ''Search for Explanations for Document Classification'' algorithm for retrieving counterfactual explanations.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [146] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Pawelczyk et al. make use of an autoencoder architecture for a pretrained classifier performing counterfactual search in the nearest neighbor style.

    “Pawelczyk et al. make use of an autoencoder architecture for a pretrained classifier performing counterfactual search in the nearest neighbor style [151].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [151] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Zhao and Sukkerd explain an autonomous system's behaviour modeling it as a Markov decision process.

    “In addition, Zhao and Sukkerd explain an autonomous system's behaviour modeling it as a Markov decision process [161].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [161]

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    A decision tree is then trained to select the foil based on the minimum number of nodes between the original data point and the candidate foils.

    “A decision tree is then trained to select the foil based on the minimum number of nodes between the original data point and the candidate foils.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [159] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

    Premisecitation

    The Search for Explanations for Document Classification algorithm is only directly applicable to binary linear classifiers, whereas heuristics are proposed for nonlinear models.

    “However, it is only directly applicable to binary linear classifiers, whereas heuristics are proposed for nonlinear models.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [146] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    In Wachter et al., fixing the optimal set of weights of a trained classifier, the objective function minimizes the distance between the nearest data points of opposing classes.

    “Fixing the optimal set of weights of a trained classifier, the objective function minimizes the distance between the nearest data points of opposing classes.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [6] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Martens and Provost argue that decision trees are an inadequate tool for representing large documents.

    “In contrast, Martens and Provost argue that decision trees are an inadequate tool for representing, e.g., large documents [146].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [146] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

    Premisecitation

    In Guidotti et al.'s Local Rule-based Explanation framework, they generate a local neighbourhood for the given pre-classified data example using a genetic algorithm and subsequently train a decision tree on that newly obtained dataset to select a minimally distant foil within that local neighbourhood.

    “In their ''Local Rule-based Explanation'' framework, they generate a local neighbourhood for the given pre-classified data example using a genetic algorithm and subsequently train a decision tree on that newly obtained dataset to select a minimally distant foil within that local neighbourhood.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [140] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    The explanation is believed to justify the rejection of the policies alternative to the optimal one.

    “The explanation is believed to justify the rejection of the policies alternative to the optimal one.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [157] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    The gradient direction is constrained to ensure the ethical adequacy of the explanation generated.

    “Furthermore, the gradient direction is constrained to ensure the ethical adequacy of the explanation generated.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [148]

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    The context-based values are calculated for each feature used by a black-box model observing the changes in the output as the input varies across the range of all possible input values.

    “Thus, the context-based values are calculated for each feature used by a black-box model observing the changes in the output as the input varies across the range of all possible input values.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [129] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    A contrastive explanation is presented as a product of the analysis of the optimal policy at the next time step and an opposing policy on the basis of the objective values.

    “Thus, a contrastive explanation is presented as a product of the analysis of the optimal policy at the next time step and an opposing policy on the basis of the objective values.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [161]

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    The generated contrastive explanations are attributed to a specific group of users by means of ontology engineering at the cognitive level of the framework to make the explanations adaptive.

    “Subsequently, the generated contrastive explanations are attributed to a specific group of users by means of ontology engineering at the cognitive level of the framework to make the explanations adaptive.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [150] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S2 (checkable), S3 (load-bearing), S4 (based).

    Interpretationnone given

    In accordance with the findings in the previous Section IV-C1, counterfactual explanations have a great potential for automatic planning-related tasks.

    “In accordance with the findings in the previous Section IV-C1, contfactual explanations have a great potential for automatic planning-related tasks.”
    Quote in the paperNot a substantial claim
  • May combine two claims.

    Premisereasoning

    Anjomshoae et al.'s framework is shown to be universally applicable to various classification and regression algorithms, being based on model-agnostic and problem-independent concepts.

    “Being based on model-agnostic and problem-independent concepts, this framework is shown to be universally applicable to various classification and regression algorithms.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [129] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

    Premisecitation

    Sukkerd et al. formulate the planning problem as the shortest stochastic path problem and develop the corresponding problem solver to obtain a contrastive explanation.

    “For instance, Sukkerd et al. formulate the planning problem as the shortest stochastic path problem and develop the corresponding problem solver to obtain a contrastive explanation [157].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [157] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Wachter et al. suggest the use of the Manhattan distance weighted by the inverse median absolute deviation to calculate the proximity of a counterfactual to the input data example.

    “The researchers suggest the use of the Manhattan distance weighted by the inverse median absolute deviation to calculate the proximity of a counterfactual to the input data example.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [6] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Kim et al. employ a Bayesian probabilistic model for generating contrastive explanations [94].

    “For instance, Kim et al. employ a Bayesian probabilistic model for generating contrastive explanations [94].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [94] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Laugel et al. raise the issue of justification for counterfactual explanation.

    “Laugel et al. raise the issue of justification for counterfactual explanation [144].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [144] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Kim et al.'s framework [94] operates on a pair of plan traces defined in terms of linear temporal logic templates.

    “Thus, the framework operates on a pair of plan traces defined in terms of linear temporal logic templates.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [94] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    The robot's model is adapted to the updates of human's model of the problem.

    “The robot's model is adapted to the updates of human's model of the problem.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [132] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    In the Constrained Adversarial Examples framework, adversarial examples that could serve as the basis for the counterfactual explanation of the output of deep learning models are searched for with the aim of minimizing the loss with respect to the attributes (features) between the original and counterfactual data examples.

    “Adversarial examples that could serve as the basis for the counterfactual explanation of the output of deep learning models are searched for with the aim of minimizing the loss with respect to the attributes (features) between the original and counterfactual data examples.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [148]

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Chakraborti et al. formulate the multi-model planning problem as a tuple consisting of the planner's model of the problem and the corresponding human approximation thereof.

    “In addition, Chakraborti et al. formulate the multi-model planning problem as a tuple consisting of the planner's model of the problem and the corresponding human approximation thereof [132].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [132] source

      Not checked in the free run.

  • May combine two claims.

    Premisecitation

    Multiple-sentence counterfactual explanations provide end-users with specific details for the given decision or explain multiple decisions at once.

    “In contrast, multiple-sentence explanations provide end-users with specific details for the given decision [153], [156], [157], [161] or explain multiple decisions at once [146].”
    Quote in the paperNot a substantial claim0 of 3 sources checked
    • cites [153] source

      Not checked in the free run.

    • cites [156] source

      Not checked in the free run.

    • cites [157] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Fernández et al. introduce the notion of counterfactual sets to enhance counterfactual diversity.

    “Fernández et al. introduce the notion of counterfactual sets to enhance counterfactual diversity [81].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [81] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Visual-linguistic counterfactual explanations allow for dialogic interaction.

    “and allow for dialogic interaction [150].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [150] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Visual input data are explained by contrastive patterns between the given data example and that of an opposing class in one iteration or a series thereof.

    “or explained by contrastive patterns between the given data example and that of an opposing class in one iteration [130], [144] or a series thereof [49]”
    Quote in the paperNot a substantial claim0 of 3 sources checked
    • cites [130] source

      Not checked in the free run.

    • cites [144] source

      Not checked in the free run.

    • cites [49] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Single-sentence textual counterfactual explanations answer end-user's inquiries with respect to the automatic decision in question.

    “They also answer end-user's inquiries with respect to the automatic decision in question [128], [159].”
    Quote in the paperNot a substantial claim0 of 2 sources checked
    • cites [128] source

      Not checked in the free run.

    • cites [159] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Numerical counterfactual explanations can be extracted from interpretable feature-value pairs as a result of pruning in the search space.

    “They can be extracted from interpretable featurevalue pairs as a result of pruning in the search space [132].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [132] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    The candidate counterfactuals are then clustered, as the initial local neighbourhood is updated to become a more extensive hyperspherical layer, until it can no longer be extended.

    “The candidate counterfactuals are then clustered, as the initial local neighbourhood is updated to become a more extensive hyperspherical layer, until it can no longer be extended.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [144] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Single-sentence textual counterfactual explanations suggest feature-value based instructions or alternative actions for a possible output change.

    “Such explanations suggest featurevalue based instructions [48], [122], [131] or alternative actions for a possible output change [84], [149].”
    Quote in the paperNot a substantial claim0 of 3 sources checked
    • cites [48]

      Not checked in the free run.

    • cites [122] source

      Not checked in the free run.

    • cites [131] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Fernández et al. explain random forest predictions by fusing different tree predictors so that the resulting counterfactual set contains the most relevant counterfactual.

    “They explain random forest predictions by fusing different tree predictors so that the resulting counterfactual set contains the most relevant counterfactual.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [81] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Visual-linguistic counterfactual explanations identify counterfactuality in videos.

    “In addition, visual-linguistic explanations identify counterfactuality in videos [91]”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [91] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    In Kusner et al., counterfactuals are presented in the form of conditional distributions and not structural equations despite the fact that the causal model employed follows Pearl's formalism.

    “It is worth noting that counterfactuals are presented in the form of conditional distributions and not structural equations despite the fact that the causal model employed follows Pearl's formalism [37].”
    Quote in the paperNot a substantial claim0 of 2 sources checked
    • cites [55]

      Not checked in the free run.

    • cites [37]

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Visual input data are explained by depicting critical regions absent in the input data example that determine what lacks in the image to be classified differently.

    “by depicting critical regions absent in the input data example that determine what lacks in the image to be classified differently [135]”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [135] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    The other neighboring counterfactuals serve to diversify the output explanation.

    “The other neighboring counterfactuals serve to diversify the output explanation.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [81] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

    Premisecitation

    A textual explanation summarizes the degree of importance of the selected features, while a visual explanation may present contextual in-method metrics that justify the classifier's reasoning.

    “While a textual explanation summarizes the degree of importance of the selected features, a visual explanation may present contextual in-method metrics that justify the classifier's reasoning [129].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [129] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Chang et al. employ a generative model to construct a saliency map while masking the other regions of the input image.

    “They employ a generative model to construct a saliency map while masking the other regions of the input image.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [133] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    In computer vision-related classification tasks, Chang et al. find the smallest region in the image whose substitution would change the classifier's prediction.

    “In computer vision-related classification tasks, Chang et al. find the smallest region in the image whose substitution would change the classifier's prediction [133].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [133] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Counterfactual explanations, as a mixture of tabular and visual output representations, appear also in an augmented reality framework.

    “Contfactual explanations, as a mixture of tabular and visual output representations, appear also in an augmented reality framework [137].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [137] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Single-sentence textual counterfactual explanations combine a textual description with explicitly stated numerical feature values.

    “Single-sentence textual explanations combine a textual description with explicitly stated numerical feature values [6].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [6] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Kusner et al. propose a causal model to assess the so-called ''counterfactual fairness''.

    “Kusner et al. propose a causal model to assess the so-called ''counterfactual fairness'' [55].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [55]

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Visual input data (images) are associated with saliency maps in counterfactual explanations.

    “On the other hand, visual input data (i.e., images) are associated with saliency maps [133]”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [133] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Laugel et al. argue that the distance from the test instance to a counterfactual does not sufficiently measure counterfactual's relevance, as the counterfactual in question may appear disconnected from the ground-truth data.

    “They argue that the distance from the test instance to a counterfactual does not sufficiently measure counterfactual's relevance, as the counterfactual in question may appear disconnected from the ground-truth data.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [100] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Laugel et al. enhance the work on justified counterfactual explanations.

    “Laugel et al. [100] enhance the work on justified counterfactual explanations.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [100] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Visual input data are explained by visualizing spatial regions associated to data examples of opposed classes.

    “or by visualizing spatial regions associated to data examples of opposed classes [139].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [139]

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    It is common to distinguish between intrinsic and extrinsic evaluation methods in natural language generation.

    “For instance, it is common to distinguish between intrinsic and extrinsic evaluation methods in natural language generation [163].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [163] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Gatt and Krahmer make a distinction between ''objective'' (automatic, corpus-based) and ''subjective'' (human judgements) metrics.

    “In addition, Gatt and Krahmer make a distinction between ''objective'' (automatic, corpus-based) and ''subjective'' (human judgements) metrics [164].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [164] source

      Not checked in the free run.

  • May combine two claims.

    Interpretationreasoning

    Subjective metrics can be extrapolated to other (non-linguistic) modalities of generated explanations and are therefore used to form the basis of the evaluation method classification in this review.

    “Thanks to their methodological universality, they can be extrapolated to other (non-linguistic) modalities of generated explanations (e.g., numerical, visual, or multi-modal) and are therefore used to form the basis of the evaluation method classification in this review.”
    Quote in the paperSubstantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing), S4 (based).

    Interpretationreasoning

    Establishing causal relations appears to be among the AI problems that are yet to attract global attention.

    “As most of the current ML-tasks are centered around singling meaningful patterns out from unstructured data, establishing causal relations appears to be among the AI problems that are yet to attract global attention.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing), S4 (based).

    Interpretationnone given

    Explanations of different modalities are not necessarily merged.

    “Nevertheless, explanations of different modalities are not necessarily merged.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    Interaction with users can be enhanced by means of voice-based explanations combined with textual explanations.

    “Finally, interaction with users can be enhanced by means of voice-based explanations combined with textual explanations [46], [155].”
    Quote in the paperNot a substantial claim0 of 2 sources checked
    • cites [46] source

      Not checked in the free run.

    • cites [155] source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S2 (checkable), S3 (load-bearing), S4 (based).

    Interpretationnone given

    Several metrics can be extended to be applied to other approaches.

    “Several metrics can be extended to be applied to other approaches.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

    Interpretationcitation

    Some rule-based approaches used in expert systems are justified theoretically, but newly emerging tasks present novel challenges for theorists and call for updating the theories developed so far.

    “While some rule-based approaches used in expert systems are justified theoretically (e.g., see [93]), newly emerging tasks present novel challenges for theorists and call for updating the theories developed so far.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [93]

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S2 (checkable), S3 (load-bearing), S4 (based). May combine two claims.

    Interpretationnone given

    Promoting interactivity is expected to make explanation social and further increase user's trust in the system's output.

    “Promoting interactivity (e.g., by engaging the end-user to participate in an explanatory dialogue with the system) is expected to make explanation social and further increase user's trust in the system's output.”
    Quote in the paperNot a substantial claim
  • Classified as probably not a substantial claim. May combine two claims.

    Interpretationnone given

    Mainly applied to a wide range of tasks in computer vision and natural language processing, contrastive and counterfactual explanations present a powerful tool that enhances human-machine interaction and allows for further personalization of the output generated by various AI algorithms, including ML-based black-box algorithms.

    “Mainly applied to a wide range of tasks in computer vision and natural language processing, they present a powerful tool that enhances human-machine interaction and allows for further personalization of the output generated by various AI algorithms, including ML-based black-box algorithms.”
    Quote in the paperSubstantial claim
  • Probably not a substantial claim: may not pass S2 (checkable), S4 (based).

    Study design and conductreasoning

    This research methodology allowed us to carry out an unbiased reproducible study from an interdisciplinary topic-specific search in reputable and trustworthy sources.

    “This research methodology allowed us to carry out an unbiased reproducible study from an interdisciplinary topic-specific search in reputable and trustworthy sources.”
    Quote in the paperNot a substantial claim
  • Classified as probably not a substantial claim.

    Interpretationreasoning

    The amount of publications for RQ3 may be somewhat misleading, as counterfactual explanations are often redefined without specifically referring to theoretical contributors in explanation.

    “However, the amount of publications for RQ 3 may be somewhat misleading, as contfactual explanations are often redefined without specifically referring to theoretical contributors in explanation.”
    Quote in the paperSubstantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation

    The consistency of output explanations is shown by measuring their accuracy on the basis of mean error, mean absolute error, and mean absolute percentage error.

    “The consistency of output explanations is otherwise shown by measuring their accuracy on the basis of mean error, mean absolute error, and mean absolute percentage error [61].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [61] source

      Not checked in the free run.

213 of 213
  • The paper relies on this without support.

    There is a gap between theoretical approaches to contrastive and counterfactual explanation and the corresponding computational frameworks.

    “It is of crucial importance to bridge the gap between theoretical approaches to contrastive and counterfactual explanation and the corresponding computational frameworks.”
  • The paper relies on this without support.

    Publication counts and author keyword maps are valid indicators of research attention and interdisciplinarity in the field.

    “The bibliometric analysis over the queries q 1 , q 2 , and q 3 allows us to obtain a big picture of the research area of contfactual explanation generation and spot its key characteristics.”
    “Author keyword maps allow us to present an overview of the terms most relevant to those specified in the preparatory queries (q 1 , q 2 , and q 3 ).”
  • The paper relies on this without support.

    Counterfactual explanation encompasses contrastive, counterfactual, and contrastive-counterfactual explanation.

    “Remind that contfactual explanation embraces contrastive, counterfactual, and contrastive-counterfactual explanation.”
3 of 3

Claims other papers make about this one

Each is checked against this paper’s own text: does it say what the citing paper says it does?

  • Explainability is a growing issue for financial institutions who seek to ensure that AI conclusions and procedures are easily comprehensible by bank officials.

    “Furthermore, explainability is a growing issue for financial institutions who seek to ensure that AI conclusions and procedures are ''easily comprehensible'' by bank officials.”

    From A Review of Trustworthy and Explainable Artificial Intelligence (XAI) (2023) · cites this paper as [51]

    The Introduction says that the need to explain AI decisions clearly has driven rapid growth in explainable-AI research, and that AI applications should justify decisions comprehensively to end-users. It does not specifically discuss financial institutions or bank officials, so the claim's banking-specific framing is not supported. (LLM, conf=0.85)

    Experimental — accuracy not yet measured
  • Articulating all of the system's components and operations is a barrier when trying to break the system down into its constituent aspects because all input variables have to be easy to comprehend.

    “Since all of the input variables have to be easy to comprehend, articulating all of the system's components and operations is a barrier when trying to break the system down into its constituent aspects [45], [51].”

    From A Review of Trustworthy and Explainable Artificial Intelligence (XAI) (2023) · cites this paper as [51]

    The Introduction says that hard-to-interpret parameters make some AI outputs difficult to explain, and the Output Representation section discusses explanations using interpretable feature–value pairs. Neither passage says that all input variables must be easy to comprehend or that articulating every component and operation obstructs breaking a system into constituent aspects. Searches for those requirements and the proposed barrier found no supporting passage; page numbers were unavailable in our copy. (LLM, conf=0.74)

    Experimental — accuracy not yet measured
  • Counterfactual explanations offer another avenue for achieving explanatory depth in XAI by providing insights into 'what-if' scenarios.

    “In the work of Stepin et al. [141] counterfactual explanations offer another avenue for achieving explanatory depth in XAI by providing insights into”

Self-check

Percentages, sums and reported differences re-computed from the paper’s own numbers.

Each contradiction between two passages listed here was confirmed by an independent check.

  • All frameworks are said to be evaluated, but 17 are said not to be

    Minor

    The evaluation-method section says all considered frameworks are evaluated with intrinsic metrics, then states that 17 of the 52 publications do not evaluate their frameworks by either automatic metrics or a human survey.

1 of 1

Cites

Flagged first, then by citations

6 of the 176 references couldn’t be matched to a known paper.

Research works printed but not linked: 3

  1. lewis, 1973, Counterfactuals
  2. lewis, 1986, On the Plurality of Worlds
  3. molnar, 2019, Interpretable Machine Learning A Guide for Making Black Box Models Explainable

Cited by

Sorted by citations

Authors
Stepin, I., Alonso, J. M., Catala, A., & Pereira-Farina, M.
Affiliations
Universidade de Santiago de Compostela (ES)
Venue
IEEE Access
Published
2021
Volume
9
Pages
11974-12001
ISSN
2169-3536 (ISSN-L)
OpenAlex
W3125997628
Cited by
376
References
176
Citations by year
2026: 47 · 2025: 80 · 2024: 75 · 2023: 79 · 2022: 55 · 2021: 39 · 2020: 1
FWCI
21.91
Type
journal article
Language
en
Open access
Locations
  • IEEE Access (publishedVersion, cc-by-nc-nd)
  • Repositorio institucional da Universidade de Santiago de Compostela (University of Santiago de Compostela) (submittedVersion, cc-by-nc-nd)
  • DOAJ (DOAJ: Directory of Open Access Journals) (submittedVersion, cc-by-sa)
  • Hispana (submittedVersion, cc-by-nc-nd)
Funders
  • Spanish Ministry of Science, Innovation and Universities (RTI2018-099646-B-I00, RED2018-102641-T)
  • Galician Ministry of Education, University and Professional Training (ED431F 2018/02, ED431C 2018/29, ED431G/08, ED431G2019/04)
  • European Regional Development Fund
Topics
  • Physical Sciences › Computer Science › Artificial Intelligence › Explainable Artificial Intelligence (XAI)
  • Physical Sciences › Computer Science › Software › Software Testing and Debugging Techniques
  • Social Sciences › Safety Research › Ethics and Social Impacts of AI
Keywords
contrastive explanations, counterfactual explanations, explanation generation, explainable AI, evidence-based explanations, model interpretability

About these checks

Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.

Claims read by deepseek-v4.1-flash under definition version 3 (extract-v3) on 2026-10-08.

Classified by jev-1.13-20260917 (gold-guideline-v0.2) on 2026-10-08.

Statistics and arithmetic are recomputed, not judged.

Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.

What counts as a claim ›How we measure confidence ›How we check this ›

Are you an author, or do you see a problem with this page? Request a review