可信神经网络的形式化快速可解释方法及系统

本发明公开了一种可信神经网络的形式化快速可解释方法及系统，通过对神经网络模型的形式化建模和化简，以博弈作为模型的决策过程模型，以博弈树遍历作为模型决策的解释方法，得出神经网络模型逻辑严谨且完备的解释，实现可信的神经网络模型。本发明提出了快速计算边界输入值的方法，可直接计算函数输出发生变化时的边界输入值，无需遍历所有输入输出可能；此外，本发明方法可为连续变量的神经网络提供形式化的解释。