Abduction-Based Explanations for Machine Learning Models.

作者: Nina Narodytska , Joao Marques-Silva , Alexey Ignatiev

DOI:

关键词:

摘要: The growing range of applications Machine Learning (ML) in a multitude settings motivates the ability computing small explanations for predictions made. Small are generally accepted as easier human decision makers to understand. Most earlier work on is based heuristic approaches, providing no guarantees quality, terms how close such solutions from cardinality- or subset-minimal explanations. This paper develops constraint-agnostic solution any ML model. proposed exploits abductive reasoning, and imposes requirement that model can be represented sets constraints using some target constraint reasoning system which problem answered with oracle. experimental results, obtained well-known datasets, validate scalability approach well quality computed solutions.

参考文章(34)
Murray Shanahan, Prediction is deduction but explanation is abduction international joint conference on artificial intelligence. pp. 1055- 1060 ,(1989)
Paolo Liberatore, Redundancy in logic I: CNF propositional formulae Artificial Intelligence. ,vol. 163, pp. 203- 232 ,(2005) , 10.1016/J.ARTINT.2004.11.002
Thomas Eiter, Georg Gottlob, The complexity of logic-based abduction Journal of the ACM. ,vol. 42, pp. 3- 42 ,(1995) , 10.1145/200836.200838
Isil Dillig, Thomas Dillig, Kenneth L. McMillan, Alex Aiken, Minimum Satisfying Assignments for SMT Computer Aided Verification. pp. 394- 409 ,(2012) , 10.1007/978-3-642-31424-7_30
Marco Tulio Ribeiro, Sameer Singh, Carlos Guestrin, "Why Should I Trust You?": Explaining the Predictions of Any Classifier knowledge discovery and data mining. pp. 1135- 1144 ,(2016) , 10.1145/2939672.2939778
Pietro Belotti, Pierre Bonami, Matteo Fischetti, Andrea Lodi, Michele Monaci, Amaya Nogales-Gómez, Domenico Salvagnin, On handling indicator constraints in mixed integer programming Computational Optimization and Applications. ,vol. 65, pp. 545- 566 ,(2016) , 10.1007/S10589-016-9847-8
Himabindu Lakkaraju, Stephen H. Bach, Jure Leskovec, Interpretable Decision Sets: A Joint Framework for Description and Prediction knowledge discovery and data mining. ,vol. 2016, pp. 1675- 1684 ,(2016) , 10.1145/2939672.2939874
Alexey Ignatiev, Joao Marques-Silva, Antonio Morgado, Propositional Abduction with Implicit Hitting Sets arXiv: Artificial Intelligence. ,(2016)
Matti Järvisalo, Paul Saikko, Johannes P. Wallner, Implicit hitting set algorithms for reasoning beyond NP principles of knowledge representation and reasoning. pp. 104- 113 ,(2016)