Binary Spiking Neural Networks as Causal Models

Dieses Papier bietet eine kausale Analyse von Binären Spiking Neural Networks (BSNNs) zur Erklärung ihres Verhaltens, indem ihre Spiking-Aktivität als binäres kausales Modell dargestellt wird. Mithilfe von SAT- und SMT-Lösern werden abduktive Erklärungen für Netzwerklassifikationen berechnet, die im Gegensatz zu SHAP keine völlig irrelevanten Merkmale enthalten.