符号推理不可微怎么办?松弛化与可微逻辑如何让规则可训练 把离散的逻辑规则接入神经网络训练时,最棘手的问题不是规则表达,而是反向传播经过合取、析取、比较这些操作后梯度几乎消失。硬判决只输出0或1,偏导在阈值附近不连续,优化器只能反复试探。为了绕开这个障碍,松弛化先把逻辑真值从二值空间推广到连续区间,让与、或、非变成可导函... 栏目:AI社区 时间:09-29 符号推理 可微逻辑 松弛化