期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
AI推理:从沉寂走向新生
1
作者
陈小平
《智能系统学报》
CSCD
北大核心
2021年第2期I0001-I0001,共1页
推理在人工智能的创立中扮演了关键角色。哥德尔在他的不完全性定理证明中,建立了一个对AI发端具有重大意义的中间结果:KN可表示的推理可以通过递归函数的计算实现。根据车赤-图灵论题,递归函数是图灵机可计算的。于是上述中间结果隐含...
推理在人工智能的创立中扮演了关键角色。哥德尔在他的不完全性定理证明中,建立了一个对AI发端具有重大意义的中间结果:KN可表示的推理可以通过递归函数的计算实现。根据车赤-图灵论题,递归函数是图灵机可计算的。于是上述中间结果隐含着一个猜想:任何推理都是图灵机可计算的。在此基础上,1950年图灵提出了图灵假说:推理、决策、学习、理解和创造都可以用图灵机实现。图灵测试是图灵假说的一种检验手段,不是人工智能的定义。
展开更多
关键词
递归函数
人工智能
不完全性定理
图灵机
哥德尔
检验手段
图灵测试
AI
在线阅读
下载PDF
职称材料
题名
AI推理:从沉寂走向新生
1
作者
陈小平
机构
中国科学技术大学机器人技术标准创新基地
中国科学技术大学
计算机学院
出处
《智能系统学报》
CSCD
北大核心
2021年第2期I0001-I0001,共1页
文摘
推理在人工智能的创立中扮演了关键角色。哥德尔在他的不完全性定理证明中,建立了一个对AI发端具有重大意义的中间结果:KN可表示的推理可以通过递归函数的计算实现。根据车赤-图灵论题,递归函数是图灵机可计算的。于是上述中间结果隐含着一个猜想:任何推理都是图灵机可计算的。在此基础上,1950年图灵提出了图灵假说:推理、决策、学习、理解和创造都可以用图灵机实现。图灵测试是图灵假说的一种检验手段,不是人工智能的定义。
关键词
递归函数
人工智能
不完全性定理
图灵机
哥德尔
检验手段
图灵测试
AI
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
AI推理:从沉寂走向新生
陈小平
《智能系统学报》
CSCD
北大核心
2021
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部