淘客熙熙

主题:【原创】《文艺作品的创作是有规律的 ——Musk为什么会急》 -- Ace

共:💬34 🌺116
全看分页树展 · 主题 跟帖
家园 我说的思考这个词可能会引起误解

我说的思考主要是说推理和逻辑演绎,特别是逻辑演绎。

归纳和演绎的重要区别在于归纳方法可以是不完全归纳,但是逻辑演绎方法一定是确定的(soundness),或者是完全演绎(这里不考虑极大可能推理或概率演绎等)。

在我看来,逻辑演绎系统是人类智能的最高峰。一般而言,逻辑演绎系统包含两个部分,符号系统(signature)和推理规则(derived rules)。

以前我认为AGI最困难的突破点是推理规则,现在看来未必如此。符号系统是从无穷到符号的抽象,这一点对AGI是真正的挑战。AGI目前使用的符号系统是人类预先做好的,这一步反而是取巧。

现在看来,对AGI真正的试金石是看AGI能否自主证明某些问题是不可判定的(例如图灵停机问题)。如果能的话,说明AGI内部对符号系统和推理规则都有了确定的认知。

通宝推:铁手,
全看分页树展 · 主题 跟帖


有趣有益,互惠互利;开阔视野,博采众长。
虚拟的网络,真实的人。天南地北客,相逢皆朋友

Copyright © cchere 西西河