PulseAugur
中
实时 08:57:15
实体 Riesz MV axioms

Riesz MV axioms

PulseAugur coverage of Riesz MV axioms — every cluster mentioning Riesz MV axioms across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_235479 ·

    研究人员使用卢卡西维茨逻辑识别深度 ReLU 网络

    研究人员采用卢卡西维茨逻辑开发了一种全新的方法来完全识别深度 ReLU 网络。该方法与香农使用布尔逻辑分析开关电路的方法类似，将网络等价性和简化转化为公式推导。该框架包括一个提取算法，将网络转换为替换图；一个用于功能等价公式的完备性定理；以及一个从图返回网络的构造算法。该方法为 MV 逻辑提供了一种新的范式，该范式保留了网络的代数结构。