Logic-based explainability in machine learning
J Marques-Silva - … Knowledge: 18th International Summer School 2022 …, 2023 - Springer
The last decade witnessed an ever-increasing stream of successes in Machine Learning
(ML). These successes offer clear evidence that ML is bound to become pervasive in a wide …
(ML). These successes offer clear evidence that ML is bound to become pervasive in a wide …
Solving explainability queries with quantification: The case of feature relevancy
Trustable explanations of machine learning (ML) models are vital in high-risk uses of
artificial intelligence (AI). Apart from the computation of trustable explanations, a number of …
artificial intelligence (AI). Apart from the computation of trustable explanations, a number of …
Combining numerical modeling and machine learning to predict mineral prospectivity: A case study from the Fankou Pb–Zn deposit, southern China
Predictive modeling of mineral prospectivity, which integrates diverse evidence of ore-
forming processes based on an ore deposit genetic model constitutes a significant task in …
forming processes based on an ore deposit genetic model constitutes a significant task in …
Logic for explainable AI
A Darwiche - 2023 38th Annual ACM/IEEE Symposium on …, 2023 - ieeexplore.ieee.org
A central quest in explainable AI relates to understanding the decisions made by (learned)
classifiers. There are three dimensions of this understanding that have been receiving …
classifiers. There are three dimensions of this understanding that have been receiving …
No silver bullet: interpretable ML models must be explained
J Marques-Silva, A Ignatiev - Frontiers in artificial intelligence, 2023 - frontiersin.org
Recent years witnessed a number of proposals for the use of the so-called interpretable
models in specific application domains. These include high-risk, but also safety-critical …
models in specific application domains. These include high-risk, but also safety-critical …
On the failings of Shapley values for explainability
X Huang, J Marques-Silva - International Journal of Approximate …, 2024 - Elsevier
Abstract Explainable Artificial Intelligence (XAI) is widely considered to be critical for building
trust into the deployment of systems that integrate the use of machine learning (ML) models …
trust into the deployment of systems that integrate the use of machine learning (ML) models …
SpArX: Sparse argumentative explanations for neural networks
Neural networks (NNs) have various applications in AI, but explaining their decisions
remains challenging. Existing approaches often focus on explaining how changing …
remains challenging. Existing approaches often focus on explaining how changing …
Computing abductive explanations for boosted trees
G Audemard, JM Lagniez, P Marquis… - International …, 2023 - proceedings.mlr.press
Boosted trees is a dominant ML model, exhibiting high accuracy. However, boosted trees
are hardly intelligible, and this is a problem whenever they are used in safety-critical …
are hardly intelligible, and this is a problem whenever they are used in safety-critical …
Logic-based explainability: past, present and future
J Marques-Silva - International Symposium on Leveraging Applications of …, 2024 - Springer
In recent years, the impact of machine learning (ML) and artificial intelligence (AI) in society
has been absolutely remarkable. This impact is expected to continue in the foreseeable …
has been absolutely remarkable. This impact is expected to continue in the foreseeable …
Abductive explanations of classifiers under constraints: Complexity and properties
Abductive explanations (AXp's) are widely used for understanding decisions of classifiers.
Existing definitions are suitable when features are independent. However, we show that …
Existing definitions are suitable when features are independent. However, we show that …