符號層級推理

深度分析

Sphere Neural Networks 與 Euler Net：資料驅動機器學習在符號層級三段論推理的挑戰

本研究探討以大量訓練資料與計算資源是否能讓資料驅動的機器學習達到符號層級的三段論推理。分析顯示訓練資料無法完整區分所有有效三段論形式，且端對端映射在模式辨識與邏輯推理目標上衝突。結論認為僅靠規模擴張無法保證邏輯嚴謹性，未來在AI領域需另尋方法。