实体
Łukasiewicz logic
Łukasiewicz logic
PulseAugur coverage of Łukasiewicz logic — every cluster mentioning Łukasiewicz logic across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
2
90 天内 2
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 2 条
-
新框架统一了基于证据和高阶集合的论证
研究人员引入了基于证据的高阶集合论证框架（EHSAF），这是一个统一并扩展了现有论证形式主义的新颖系统。EHSAF通过要求论证必须有证据支持，来解决在处理证据支持、高阶关系和集体交互方面的局限性。该框架包含两种不同的语义：一种用于多值逻辑的相邻完备标记语义，以及一种用于严格证据主义的基于扩展的完备语义。在支持循环存在的情况下，这两种语义会发散，但在支持无环的情况下则会收敛。该论文还提出了EHSAF的命题编码，能够在三值Łukasiew…
-
研究人员使用卢卡西维茨逻辑识别深度 ReLU 网络
研究人员采用卢卡西维茨逻辑开发了一种全新的方法来完全识别深度 ReLU 网络。该方法与香农使用布尔逻辑分析开关电路的方法类似，将网络等价性和简化转化为公式推导。该框架包括一个提取算法，将网络转换为替换图；一个用于功能等价公式的完备性定理；以及一个从图返回网络的构造算法。该方法为 MV 逻辑提供了一种新的范式，该范式保留了网络的代数结构。