当前在线人数7229
首页 - 分类讨论区 - 学术学科 - 数学版 -阅读文章
未名交友
[更多]
[更多]
文章阅读:Re: 来说说人的智能和人工智能的重要分别? (转载)
[同主题阅读] [版面: 数学] [作者:niuheliang] , 2017年06月06日23:40:41
niuheliang
进入未名形象秀
我的博客
[上篇] [下篇] [同主题上篇] [同主题下篇]

发信人: niuheliang (别问我是谁), 信区: Mathematics
标  题: Re: 来说说人的智能和人工智能的重要分别? (转载)
发信站: BBS 未名空间站 (Tue Jun  6 23:40:41 2017, 美东)

在计算复杂性中,有两类问题,一类是在多项式时间内能验证;一类是在多项式时间内
能解。

多项式时间内可验证的意义在于给定一个逻辑表达式,在多项式时间内算出其为真还是
假。真的对应一个定理。

这个逻辑表达式/定理如果由已知条件一步一步地在多项式时间内推导出来,可以看作
是机械地、或人工智能的。

如果“一眼”给出来答案或给出答案的关键步骤,然后验证的确正确。则称为创造性的。



【 在 ReedToBe (ReedToBe) 的大作中提到: 】
: 发信人: ReedToBe (ReedToBe), 信区: Programming
: 标  题: 来说说人的智能和人工智能的重要分别?
: 发信站: BBS 未名空间站 (Sat Jun  3 14:56:26 2017, 美东)
: 创造性?可啥是创造性?



--
※ 来源:·WWW 未名空间站 网址:mitbbs.com 移动:在应用商店搜索未名空间·[FROM: 107.]

[上篇] [下篇] [同主题上篇] [同主题下篇]
[转寄] [转贴] [回信给作者] [修改文章] [删除文章] [同主题阅读] [从此处展开] [返回版面] [快速返回] [收藏] [举报]
 
回复文章
标题:
内 容:

未名交友
将您的链接放在这儿

友情链接


 

Site Map - Contact Us - Terms and Conditions - Privacy Policy

版权所有,未名空间(mitbbs.com),since 1996