期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
AI推理:从沉寂走向新生
1
作者 陈小平 《智能系统学报》 CSCD 北大核心 2021年第2期I0001-I0001,共1页
推理在人工智能的创立中扮演了关键角色。哥德尔在他的不完全性定理证明中,建立了一个对AI发端具有重大意义的中间结果:KN可表示的推理可以通过递归函数的计算实现。根据车赤-图灵论题,递归函数是图灵机可计算的。于是上述中间结果隐含... 推理在人工智能的创立中扮演了关键角色。哥德尔在他的不完全性定理证明中,建立了一个对AI发端具有重大意义的中间结果:KN可表示的推理可以通过递归函数的计算实现。根据车赤-图灵论题,递归函数是图灵机可计算的。于是上述中间结果隐含着一个猜想:任何推理都是图灵机可计算的。在此基础上,1950年图灵提出了图灵假说:推理、决策、学习、理解和创造都可以用图灵机实现。图灵测试是图灵假说的一种检验手段,不是人工智能的定义。 展开更多
关键词 递归函数 人工智能 不完全性定理 图灵机 哥德尔 检验手段 图灵测试 AI
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部