paper-with-me

Papers

Globally Interpretable Classifiers via Boolean Formulas with Dynamic Propositions

2024-06-03 · Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander

Interpretability and explainability are among the most important challenges of modern artificial intelligence, being mentioned even in various legislative sources. In this article, we develop a method for extracting immediately human interpretable classifiers from tabular data. The classifiers are given in the form of short Boolean formulas built with propositions that can either be directly extracted from categorical attributes or dynamically computed from numeric ones. Our method is implemented using Answer Set Programming. We investigate seven datasets and compare our results to ones obtainable by state-of-the-art classifiers for tabular data, namely, XGBoost and random forests. Over all datasets, the accuracies obtainable by our method are similar to the reference methods. The advantage of our classifiers in all cases is that they are very short and immediately human intelligible as opposed to the black-box nature of the reference methods.

📄 PDF Abstract BibTeX arXiv:2406.01114

Code (0)

등록된 구현이 없습니다.

Methods 이 논문이 사용한 방법론

SET Dynamic Sparse Training method where weight mask is updated randomly periodically

Similar Papers 제목 키워드 기반

Interpretable classifiers for tabular data via discretization and feature selection

2024-02-08 · Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh 외

We introduce a method for computing immediately human interpretable yet accurate classifiers from tabular data. The classifiers obtained are short Boolean formulas, computed via first discretizing the original data and t…

feature selection

Explainable AI using expressive Boolean formulas

2023-06-06 · Gili Rosenberg, J. Kyle Brubaker, Martin J. A. Schuetz, Grant Salton 외

We propose and implement an interpretable machine learning classification model for Explainable AI (XAI) based on expressive Boolean formulas. Potential applications include credit scoring and diagnosis of medical condit…

BenchmarkingExplainable Artificial Intelligence (XAI)Interpretable Machine Learning

Short Boolean Formulas as Explanations in Practice

2023-07-13 · Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh 외

We investigate explainability via short Boolean formulas in the data model based on unary relations. As an explanation of length k, we take a Boolean formula of length k that minimizes the error with respect to the targe…

Attribute

Understanding Boolean Function Learnability on Deep Neural Networks: PAC Learning Meets Neurosymbolic Models

2020-09-13 · Marcio Nicolau, Anderson R. Tavares, Zhiwei Zhang, Pedro Avelar 외

Computational learning theory states that many classes of boolean formulas are learnable in polynomial time. This paper addresses the understudied subject of how, in practice, such formulas can be learned by deep neural …

Combinatorial OptimizationLearning TheoryPAC learning

Graph Neural Networks and Boolean Satisfiability

2017-02-12 · Benedikt Bünz, Matthew Lamm

In this paper we explore whether or not deep neural architectures can learn to classify Boolean satisfiability (SAT). We devote considerable time to discussing the theoretical properties of SAT. Then, we define a graph r…

Feature Engineering