AI推理:从沉寂走向新生

摘要：

推理在人工智能的创立中扮演了关键角色.哥德尔在他的不完全性定理证明中,建立了 一个对AI发端具有重大意义的中间结果:KN可表示的推理可以通过递归函数的计算实现.根据车赤-图灵论题,递归函数是图灵机可计算的.于是上述中间结果隐含着一个猜想:任何推理都是图灵机可计算的.在此基础上,1950年图灵提出了图灵假说:推理、决策、学习、理解和创造都可以用图灵机实现.图灵测试是图灵假说的一种检验手段,不是人工智能的定义.

所属期刊栏目：16

在线出版日期：2021-07-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共1页

页码：前插1