Extracting Actionability from Machine Learning Models by Sub-optimal Deterministic Planning
Qiang Lyu, Yixin Chen, Zhaorong Li, Zhicheng Cui, Ling Chen, Xing, Zhang, Haihua Shen

TL;DR
This paper introduces a novel method combining machine learning and planning to derive actionable insights from models like random forests, enabling cost-effective modifications to achieve desired outcomes.
Contribution
It formulates the actionability problem as a sub-optimal planning task and solves it using Max-SAT, extending automated planning to machine learning applications.
Findings
Effective in deriving actionable plans from random forests
Demonstrates efficiency on credit and benchmark datasets
Extends AI planning to machine learning model interpretability
Abstract
A main focus of machine learning research has been improving the generalization accuracy and efficiency of prediction models. Many models such as SVM, random forest, and deep neural nets have been proposed and achieved great success. However, what emerges as missing in many applications is actionability, i.e., the ability to turn prediction results into actions. For example, in applications such as customer relationship management, clinical prediction, and advertisement, the users need not only accurate prediction, but also actionable instructions which can transfer an input to a desirable goal (e.g., higher profit repays, lower morbidity rates, higher ads hit rates). Existing effort in deriving such actionable knowledge is few and limited to simple action models which restricted to only change one attribute for each action. The dilemma is that in many real applications those action…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAI-based Problem Solving and Planning · Machine Learning and Algorithms · Formal Methods in Verification
MethodsSupport Vector Machine
