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 …

A Conceptual Framework for Human‐Centric and Semantics‐Based Explainable Event Detection

T Kolajo, O Daramola - Wiley Interdisciplinary Reviews: Data …, 2024 - Wiley Online Library
Explainability in the field of event detection is a new emerging research area. For
practitioners and users alike, explainability is essential to ensuring that models are widely …

A fuzzy twin support vector machine based on dissimilarity measure and its biomedical applications

J Qiu, J **e, D Zhang, R Zhang, M Lin - International Journal of Fuzzy …, 2024 - Springer
Biomedical data exhibit high-dimensional complexity in its internal structure and are
susceptible to noise interference, making classification tasks in biomedical data highly …

FOLD-SE: an efficient rule-based machine learning algorithm with scalable explainability

H Wang, G Gupta - International Symposium on Practical Aspects of …, 2024 - Springer
We present FOLD-SE, an efficient, explainable machine learning algorithm for classification
tasks given tabular data containing numerical and categorical values. The (explainable) …

ABALearn: an automated logic-based learning system for ABA frameworks

C Tirsi, M Proietti, F Toni - … Conference of the Italian Association for …, 2023 - Springer
We introduce ABALearn, an automated algorithm that learns Assumption-Based
Argumentation (ABA) frameworks from training data consisting of positive and negative …

Prolog: past, present, and future

G Gupta, E Salazar, F Shakerin, J Arias… - Prolog: The Next 50 …, 2023 - Springer
We argue that various extensions proposed for Prolog—tabling, constraints, parallelism,
coroutining, etc.—must be integrated seamlessly in a single system. We also discuss how …

Logic-based explainable and incremental machine learning

G Gupta, H Wang, K Basu, F Shakerin, E Salazar… - Prolog: The Next 50 …, 2023 - Springer
Mainstream machine learning methods lack interpretability, explainability, incrementality,
and data-economy. We propose using logic programming to rectify these problems. We …

CON-FOLD Explainable Machine Learning with Confidence

L McGinness, P Baumgartner - Theory and Practice of Logic …, 2024 - cambridge.org
FOLD-RM is an explainable machine learning classification algorithm that uses training data
to create a set of classification rules. In this paper, we introduce CON-FOLD which extends …

Counterfactual explanation generation with s (CASP)

S Dasgupta, F Shakerin, J Arias, E Salazar… - arxiv preprint arxiv …, 2023 - arxiv.org
Machine learning models that automate decision-making are increasingly being used in
consequential areas such as loan approvals, pretrial bail, hiring, and many more …

Counterfactual Generation with Answer Set Programming

S Dasgupta, F Shakerin, J Arias, E Salazar… - arxiv preprint arxiv …, 2024 - arxiv.org
Machine learning models that automate decision-making are increasingly being used in
consequential areas such as loan approvals, pretrial bail approval, hiring, and many more …