eXpLogic: Explaining Logic Types and Patterns in DiffLogic Networks
摘要
Constraining deep neural networks (DNNs) to learn individual logic types per node, as performed using the DiffLogic network architecture, opens the door to model-specific explanation techniques that quell the complexity inherent to DNNs. Inspired by principles of circuit analysis from computer engineering, this work presents an algorithm (eXpLogic) for producing saliency maps which explain input patterns that activate certain functions. The eXpLogic explanations: (1) show the exact set of inputs responsible for a decision, which helps interpret false negative and false positive predictions, (2) highlight common input patterns that activate certain outputs, and (3) help reduce the network size to improve class-specific inference. To evaluate the eXpLogic saliency map, we introduce a metric that quantifies how much an input changes before switching a model’s class prediction (the SwitchDist) and use this metric to compare eXpLogic against the Vanilla Gradients (VG) and Integrated Gradient (IG) methods. Generally, we show that eXpLogic saliency maps are better at determining which inputs will change the class prediction. These maps help reduce the network size and inference times by up to 87% and 8%, respectively, while having a limited impact (−3.8% change in accuracy) on class-specific predictions. The broader value of this work is in demonstrating how certain DNN architectures promote explainability, which is relevant when understanding Artificial Intelligence (AI) is critical.