Minimal-unsatisfiable-core-driven Local Explainability Analysis for Random Forest

MA Shu-Cen,SHI Jian-Qi,HUANG Yan-Hong,QIN Sheng-Chao,HOU Zhe
DOI: https://doi.org/10.21655/ijsi.1673-7288.00280
2022-01-01
International Journal of Software and Informatics
Abstract:PDF HTML XML Export Cite reminder Minimal-unsatisfiable-core-driven Local Explainability Analysis for Random Forest DOI: 10.21655/ijsi.1673-7288.00280 Author: Affiliation: Clc Number: Fund Project: Article | Figures | Metrics | Reference | Related | Cited by | Materials | Comments Abstract:As Machine Learning (ML) is widely applied in security-critical fields, the requirements for the interpretability of ML also increase. The interpretability aims at helping people understand internal operation principles and decision principles of models, so as to improve models' credibility. However, research on the interpretability of ML models such as Random Forest (RF) is still in the infant stage. Considering the strict and standardized characteristics of formal methods and their wide application in the field of ML in recent years, this study leverages formal methods and logical reasoning to develop an ML interpretability method for interpreting the prediction of RF. Specifically, the decision-making process of RF is encoded into a first-order logical formula, and a Minimal Unsatisfiable Core (MUC) is taken as the core. Local interpretation of feature importance and counterfactual sample generation methods are provided. Experimental results on several public datasets illustrate the high quality of the proposed feature importance measurement, and the counterfactual sample generation method outperforms the existing state-of-the-art methods. Moreover, from the perspective of user-friendliness, the user report can be generated according to the analysis results of counterfactual samples, which can provide suggestions for users to improve their situation in real-life applications. Reference Related Cited by
What problem does this paper attempt to address?