• 汇集公众科学智慧交流科学思想见解
  • 点燃科学智慧火花构建互动交流平台
科学智慧火花
发表评论  2                

人工智能必须等待逻辑学的进展

投稿时间:2017-11-02 18:22 投稿人:王晓明 【字号: 访问量:

命题变量在什么情况下无法证明,还是一个有待解决问题。人工智能发展必须依赖这个问题的解决,因为,如果我们不能给出合理的命题,机器也就无法思考。机器不能自己出题给自己做。

人工智能等级:

第一级(最低级),沿着人类指出的问题方向,例如解方程。

第二级,遇到多个节点处自己选择一个或者多个方向逐一思考,把储存的各种信息重新排列,直到问题解决。

第三极,将问题提交给人类,告诉人类,哪一些问题是无法解决的,就是说命题出现了逻辑上不可解的情况。例如,多个变量必须固定一部分变量才能继续思考。但是,面对无穷多个变量,机器无法确定。

数论是非常困难的工作,几百年以来,几乎没有重大数论问题获得解决。数论命题又是非常重要的,重要到什么程度?

让我告诉大家:如果不能解决数论命题的逻辑规则,人工智能根本无法进行,你也许会问:计算机下围棋把世界冠军打败了,怎么可以说人大智能不行呢?计算机只是储存了以往的知识,并没有创造知识。数论命题是逻辑命题最简洁的命题,数论命题的逻辑问题不彻底解决,人工智能就是空话。

参考文献:

1 为什么100年以来哥德巴赫猜想的证明都是错误的

2 费马大定理,弱智者最后的盛宴

3 吴文俊机器证明是个什么东东

顺便说一句,刚刚发现丘成桐教授居然与我有同样感觉,他在2017年10月26日的【第14届中国计算机大会】上发言说“人工智能需要一个可被证明的理论作为基础”。