Efficient Computation of Shap Explanation Scores for Neural Network Classifiers via Knowledge Compilation.
Leopoldo E. BertossiJorge E. LeonPublished in: JELIA (2023)
Keyphrases
- efficient computation
- knowledge compilation
- product configuration
- prime implicates
- computational efficiency
- normal form
- model counting
- decomposable negation normal form
- abductive reasoning
- databases
- decision support
- constraint satisfaction
- binary decision diagrams
- target language
- process planning
- knowledge based systems
- data analysis