many-valued logic | BriefGPT

关键词many-valued logic

搜索结果 - 4

细胞自动机、多值逻辑和深度神经网络
深度神经网络可以从演化轨迹中学习元胞自动机的逻辑规则，使用 Lukasiewicz 命题逻辑描述了元胞自动机的一般性，并且可以通过连续的分段线性函数和深度 ReLU 网络从元胞自动机的演化过程中提取出相应的公式。
PDF3 months ago
从深度神经网络中提取多值逻辑公式
提出了一种关于深层 ReLU 网络的新方法，将其视为 Lukasiewicz 无限值逻辑的电路对应物。介绍了一种从深层 ReLU 网络中提取多值逻辑公式的算法，适用于具有一般权重，包括实值权重的网络，可用于从数据上训练的深层 ReLU 网络
PDF6 months ago
通过概率多值逻辑操作在自监督学习中实现表示合成
使用混合图像的自监督学习研究了各种图像表征。我们提出了一种基于多值逻辑的新型混合图像的自监督学习方法和新的表征格式，该格式可以指示特征占有程度，即每个图像特征被表征所占有的程度。此方法在图像分类任务中与以前的表征合成方法表现竞争力，并且还通
PDF10 months ago
逻辑张量网络
本文介绍了一种名为 Logic Tensor Networks（LTN）的神经符号形式和计算模型，支持通过引入一种称为 Real Logic 的可微分一阶逻辑表示语言进行学习和推理，并说明 LTN 提供了一种统一语言来规范和计算多个人工智
PDF4 years ago