实现符号逻辑推理的最佳方法是什么？
原文中文，约1200字，阅读约需3分钟。
📝
内容提要
作者发现曲线拟合是错误的符号推理建模方法，尝试使用基于LSTM/GRU的模型进行一阶逻辑分类，但无法学习实际的一阶逻辑。作者认为问题在于学习过程，而不是函数空间的表示能力。推友讨论了Transformer的优势和符号方法的潜力。作者认为智能缺少讲故事的模型。
🏷️
