Interpretable decision trees through MaxSAT

We present an approach to improve the accuracy-interpretability trade-off of Machine Learning (ML) Decision Trees (DTs). In particular, we apply Maximum Satisfiability technology to compute Minimum Pure DTs (MPDTs). We improve the runtime of previous approaches and, show that these MPDTs can outperf...

Descripción completa

Detalles Bibliográficos
Autores: Alòs Pascual, Josep, Ansótegui Gil, Carlos José, Torres, Eduard
Tipo de recurso: artículo
Estado:Versión publicada
Fecha de publicación:2023
País:España
Institución:Universitat de Lleida (UdL)
Repositorio:Repositori Obert UdL
OAI Identifier:oai:repositori.udl.cat:10459.1/464235
Acceso en línea:https://doi.org/10.1007/s10462-022-10377-0
https://hdl.handle.net/10459.1/464235
Access Level:acceso abierto
Palabra clave:Decision trees
MaxSAT
Explainable AI
Descripción
Sumario:We present an approach to improve the accuracy-interpretability trade-off of Machine Learning (ML) Decision Trees (DTs). In particular, we apply Maximum Satisfiability technology to compute Minimum Pure DTs (MPDTs). We improve the runtime of previous approaches and, show that these MPDTs can outperform the accuracy of DTs generated with the ML framework sklearn.