请选择 进入手机版 | 继续访问电脑版

人工智能网

 找回密码
 立即注册
楼主: ruiaijun

[转帖]对强人工智能的反对意见

[复制链接]
 楼主| 发表于 2007-12-20 21:46:00 | 显示全部楼层
  作者:222.66.38.*2007-12-2017:40
  歌德尔定理不否认人创造出强AI的可能性。
  但是,即便造出来了,你却无法形式化证明它达到了人的水平。
这个是歌德尔定理保证的。
---------------------------------
  哥德尔本人基本上否定了图灵提出的人工智能,但是他是一个逻辑学家,他不会提出无法证实的命题。因此他一直没有直接提出“否定人工智能”这个说法。
  哥德尔反复谈论得是“哥德尔定理证明人心(他对智能的称呼他本人是一个唯心主义者,故采用这个称呼)可以看出的定理,形式体系却不能证明。”也就是说,人的智能永远强于形式系统,不能用形式系统构建人工智能。
  显然,如果我们用形式体系证明了我们实现强人工智能,那就意味着哥德尔定理的失效
回复 支持 反对

使用道具 举报

 楼主| 发表于 2008-7-22 15:57:00 | 显示全部楼层
  作者:219.145.22.*2007-12-2018:16
  如果强AI的程序流程和人类的思维流程相同,不知道算不算形式化证明
--------------------------------
  你的“如果”真正实现了,那不过是实践证明,而不是形式体系的形式逻辑证明。实践证明相当于补充一个新的定律或公理。
  而不断补充定律和公理的体系不是形式体系。而是非形式的单调逻辑体系
回复 支持 反对

使用道具 举报

发表于 2008-7-22 16:10:00 | 显示全部楼层
快试试吧,可以对自己使用挽尊卡咯~◆◆                    我对形式逻辑的认识是,在建立几条公理和法则之后,用这些公理法则再加上命题本身的前提,进行比较死板的形式化证明.你说形式逻辑是歌德尔命题的前提,是否在间接承认它对非形式化逻辑意义不大?我想人们建立形式化逻辑系统是想让事情处理更方便,这也是莱布尼茨当年的想法.形式逻辑在我们对此逻辑系统承认的前提下省去了我们复杂的自身思考过程,可是这些思考还是"存在"的,我的意思是说形式逻辑只是人类的一种工具,或是逻辑的抽.抽象和实体之间具有等价性,那么,歌德尔定理的前提条件就不那么耀眼了.
回复 支持 反对

使用道具 举报

 楼主| 发表于 2008-7-22 21:14:00 | 显示全部楼层
  作者:123.132.10.*2008-7-2216:40
  你说形式逻辑是歌德尔命题的前提,是否在间接承认它对非形式化逻辑意义不大?
------------------------------
  这个说法绝对错误!
  形式逻辑对于人类的智能意义重大,不可小觎。
  但是形式逻辑对于前人工智能体系的构建意义不大。甚至可以说谁在形式逻辑范围内搞强人工智能,谁一定会失败
回复 支持 反对

使用道具 举报

 楼主| 发表于 2008-8-7 17:23:00 | 显示全部楼层
  哥德尔是可以与爱因斯坦齐名的人物
回复 支持 反对

使用道具 举报

发表于 2009-8-11 21:10:00 | 显示全部楼层
计算机用辩证法来思维也是能办到的,模糊计算就存在辩证关系.人脑不光是如果-那么简单的反射,计算机也不是只能如果-那么简单的推理,现在大家都知道联想和统计都是对不确定信息的处理有效的方法(不确定信息可以看成是因为受到了各种干扰或信息丢失).
回复 支持 反对

使用道具 举报

发表于 2009-8-13 11:03:00 | 显示全部楼层
双重选择系统中正确选择和逻辑确实毫无关系因为这种选择方式决定了其算法是“暴力破解”式的解决方法只不过用避免遍历的方式去解决问题而这种避免遍历的方式却是人工的高级算法
其本质应该是:选定全部对象去除不定对象进行解决
这正是判断/选择的解决途径
回复 支持 反对

使用道具 举报

发表于 2009-8-13 19:44:00 | 显示全部楼层
一般宽泛对事物的看法很难说是对事物的严格认知。在平时我们不断的做出各种判断和结论以表达自己对外在和内在的认知。即使这种认知并不一定十分精确,似乎也并不妨碍我们对事物整体的理解。所以觉得语言和文字的都是很奇怪和不可思议的。
回复 支持 反对

使用道具 举报

发表于 2009-8-13 20:51:00 | 显示全部楼层
快试试吧,可以对自己使用挽尊卡咯~◆◆                    怎么被掘坟了……
回复 支持 反对

使用道具 举报

发表于 2009-8-31 16:30:00 | 显示全部楼层
快试试吧,可以对自己使用挽尊卡咯~◆◆                    作者:2006听我的 2006-6-27 13:46:45 
  按照目前的科技水平,根本就不可能有“人工智能”。人们对人的思维、感情等的原理,几乎没有什么了解。
  一个男人可以在一秒钟内判断出一个女人是不是美女;杨过会因为深爱小龙女而跳下悬崖;你问一个人是否能借钱给你,他不回答能或不能,而是说“我想一下”,你就知道他是不肯借了。
  这些事情,难道是一大堆二极管、三极管可以完成的吗?
---------------------------你说的这些你的手指头可以完成么?呵呵你是诡辩

一个细胞不是人类两个不是三个不是。。。。。。。1万个还不是。。。。。。。。但是亿万个的时候就是人了

一个晶体管不是电脑两个不是三个不是。。。。。。。。。。也许几千个可算电脑了。。。。。。。。。亿万个具有某种类脑结构的“类晶体管”你认为它仅仅是一堆晶体管么?
回复 支持 反对

使用道具 举报

您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

QQ|人工智能实验室

GMT+8, 2024-3-29 05:37 , Processed in 0.012379 second(s), 7 queries , Redis On.

Powered by Discuz! X3.4

© 2001-2017 Comsenz Inc.

快速回复 返回顶部 返回列表