Learning Explainable Decision Rules via Maximum Satisfiability
Decision trees are a popular choice for providing explainable machine learning, since they make explicit how different features contribute towards the prediction. We apply tools from constraint satisfaction to learn optimal decision trees in the form of sparse k-CNF (Conjunctive Normal Form) rules....
Main Authors: | Henrik E. C. Cao, Riku Sarlin, Alexander Jung |
---|---|
Format: | Article |
Language: | English |
Published: |
IEEE
2020-01-01
|
Series: | IEEE Access |
Subjects: | |
Online Access: | https://ieeexplore.ieee.org/document/9272729/ |
Similar Items
-
The Impact of Implied Constraints on MaxSAT B2B Instances
by: Miquel Bofill, et al.
Published: (2022-08-01) -
An Exact Algorithm for Minimum Vertex Cover Problem
by: Luzhi Wang, et al.
Published: (2019-07-01) -
Dynamic Initial Weight Assignment for MaxSAT
by: Abdelraouf Ishtaiwi, et al.
Published: (2021-03-01) -
Oscillator-Inspired Dynamical Systems to Solve Boolean Satisfiability
by: Mohammad Khairul Bashar, et al.
Published: (2023-01-01) -
Iterative Oblique Decision Trees Deliver Explainable RL Models
by: Raphael C. Engelhardt, et al.
Published: (2023-05-01)