AI推理:从沉寂走向新生

• 作者: 陈小平
• 来源期刊: 智能系统学报
• 年，卷（期）: 2021,（2）
• 所属期刊栏目: 卷首语
• 页码范围: 前插1
• 页数: 1页
• 语种: 中文

摘要

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