Extracting optimal explanations for ensemble trees via automated reasoning.
Gelin ZhangZhé HóuYanhong HuangJianqi ShiHadrien BrideJin Song DongYongsheng GaoPublished in: Appl. Intell. (2023)
Keyphrases
- automated reasoning
- knowledge representation
- reasoning systems
- decision procedures
- reasoning tasks
- probabilistic reasoning
- theorem prover
- theorem proving
- knowledge representation and reasoning
- tree ensembles
- automated verification
- fuzzy logic
- inference rules
- ensemble methods
- logic programming
- software engineering
- training set
- optimal solution
- randomized trees
- high level