一種基於交換環的命題邏輯代數推理算法

一種基於交換環的命題邏輯代數推理算法 老實說,我一直覺得類似深度學習的純數值方法(那些個Neural-Symbolic其實也是意識流的掩耳盜鈴,完全沒有理論基礎,全靠"藝術創作")實在難以勝任邏輯推理,一個可行的、有希望實現計算地進行邏輯推理的方案就是藉助構造一種抽象代數結構(最後藉助代數結構間的同態性來實現); 構造一種Logic-Ring的意義(Motivation) 最終目的是更好地進行邏輯

>>阅读原文<<