一种基于交换环的命题逻辑代数推理算法

一种基于交换环的命题逻辑代数推理算法 老实说,我一直觉得类似深度学习的纯数值方法(那些个Neural-Symbolic其实也是意识流的掩耳盗铃,完全没有理论基础,全靠"艺术创作")实在难以胜任逻辑推理,一个可行的、有希望实现计算地进行逻辑推理的方案就是借助构造一种抽象代数结构(最后借助代数结构间的同态性来实现); 构造一种Logic-Ring的意义(Motivation) 最终目的是更好地进行逻辑

>>阅读原文<<