从深度神经网络中提取多值逻辑公式

Yani Zhang; Helmut Bölcskei

从深度神经网络中提取多值逻辑公式

机器学习 2025-03-07 v2 人工智能计算机科学中的逻辑

作者: Yani Zhang , Helmut Bölcskei

摘要

我们为深度ReLU网络提出了一种新的视角，即将其视为Łukasiewicz无穷值逻辑——布尔逻辑的一种多值（MV）推广——的电路对应物。本文提出了一种从深度ReLU网络中提取MV逻辑公式的算法。由于该算法适用于具有一般权重（特别是实值权重）的网络，因此可用于从在数据上训练的深度ReLU网络中提取逻辑公式。

关键词

深度ReLU网络多值逻辑 Łukasiewicz逻辑公式提取可解释人工智能电路理论知识提取

引用

@article{arxiv.2401.12113,
  title  = {Extracting Formulae in Many-Valued Logic from Deep Neural Networks},
  author = {Yani Zhang and Helmut Bölcskei},
  journal= {arXiv preprint arXiv:2401.12113},
  year   = {2025}
}

备注

Signicant extension of the previous version

从深度神经网络中提取多值逻辑公式

摘要

关键词

引用

备注

相关论文