不懂哥德尔对逻辑实证主义的批评,不懂逻辑和直觉的问题,怎么能正确验证人工智能?


所有跟贴·加跟贴·新语丝读书论坛

送交者: scott 于 2020-08-24, 11:12:18:

回答: 以前Google和D-Wave合作,买了声称是上千qbit的处理器,把quantum computing炒翻天 由 scott 于 2020-08-24, 06:30:45:

主流教科书AI:A Modern Approach第三版不懂哥德尔的研究,所以倒退到亚里斯多德的体系。

他们用utility function和一组utility function的公理来表达人工智能agent的preferences,用maximum expected utility来make decisions。这就是他们问题的关键。

该书第四版引入uncertain的utility function,能解决他们的问题吗?

It is widely suspected that deterministic Turing machines can efficiently simulate all probabilistic Turing machines with at most a polynomial slowdown。这就是BPP = P是否成立的问题。

这也是quantum computing和教科书AI:A Modern Approach第四版的问题。

不过解决这个问题是否一定要证明或证伪BPP=P?如果人类特有智力跟Turing Machine根本不是一回事,不管是deterministic的还是probabilistic的,还有必要去钻BPP是否等于P的牛角尖吗?

所以前面我说:这些问题,靠计算复杂性是无法理解的,智力研究是新的科学。

精英大学的学生,小心别给引入歧途?

回过头来想想逻辑和直觉,想想我的逻辑新理论,想想我的智力入门练习,有没有什么新的思路?我的智力入门练习可不是胡乱放在一起的。

不过现在学术不公正,我的文章被封杀,我的研究得不到报酬,更没有进一步的资源去研究。

如果别人愿意让子女的思想倒退到亚里斯多德体系,让文明倒退到中世纪或两千多年前,我是无力阻止。




所有跟贴:


加跟贴

笔名: 密码: 注册笔名请按这里

标题:

内容: (BBCode使用说明