资讯中心

　　【中国智能制造网 学术论文】蒸汽机被看作近代社会开始的标志，或许也可以把计算机看作当代社会开始的一个标志。计算机正在成为一件视而不见的事物，比如我们不会把手机当作计算机，但它确实也是计算机，或许有人会说，手机是通讯工具，但就会有人给你解释，“网络交换机”就是相互联接的计算机，手机不过是一个终端。　　当手机升级为智能手机后，问题也进了一层，手机是人工智能吗？或者稍专业一点，计算机是人工智能吗？这些看似简单的提问总是让人摸不着头脑，在硬的技术解释与软的常识的哲学性之间，人们往往没有共同的语言。
　　
　　本文首先弄清楚这些似乎简单的问题为什么这么难，在这个基础上才可能去理解“算法”、“人工智能”等概念的性质和本质。
　　
　　题解
　　
　　按照丘奇-图灵论题，“计算机是人工智能吗？”这个问题与下例问题等价：
　　
　　算法是人工智能吗？
　　
　　图灵机是人工智能吗？
　　
　　我们可以作“是”和“不是”的情况分别进行考虑：
　　
　　计算机是人工智能吗？
　　
　　如果回答“是”，就无法回答下一个必然问题：为什么会有与计算机不同的“人工智能”的广泛观念和事实？
　　
　　如果机器回答“不是”，那末这个不同于计算机的人工智能又是什么？
　　
　　这种提问和回答都要求对计算机和人工智能进行基本性质的比较和判别，这不是简单分类的问题，在商店、家中可以随习惯而定，但在生产、研究的前沿技术领域和战略决策的认知观念上，要求对问题的进行本质性的判断，这些问题的提出和回答牵涉到算法、计算机、图灵机、丘奇－图灵论题、“判定问题”、“图灵检验”等基本理论，实际上要求把可计算性理论，不确定性理论和人工智能统一在一个更大的平台上进行考察、研究，这种关于问题本质的研究是科学理论和哲学上的困难问题。
　　
　　比如的希尔伯特第十问题，图灵以“图灵机”的构造过程完满回答了，这个问题的提出和解决就是计算机时代进步的深层动力，现在，对计算机与人工智能的基本性质和关系的判断同样会有深刻的影响，在这种高度上理解，“图灵检验”就具有希尔伯特－图灵机的“判定问题”类似的意义和价值，本文以智能哲学的角度提出和分析这些问题。
　　
　　计算机与算法：丘奇－图灵论题
　　
　　计算工具是人类所有工具中特别的一种，古老又新潮，它的物理工具性与抽象形式紧密缠绕，以前只有一个直觉的观念：计算是机械步骤，现在又有一个丘奇－图灵论题：计算机是“算法”。
　　
　　当你儿时数手指头的时候，你就是在用算法了，虽然今天我们以电子计算机代替了手指头，算法的性质并未变，而且，我们却仍然难以回答“什么是算法？”这样的问题。人们认为数学家和科学家都是聪明的人，更何况是伟大的数学家和科学家，他们之中对这个问题聪明的回答就是那个丘奇－图灵论题，这似乎有些“皇帝的新衣”的感觉，我们都只看到计算机，我们不知道什么是算法，当你数手指头时，是在用算法，但手指头不是算法，现在我们可以说，软件是算法，但与机器何干？
　　
　　因此面对“人工智能”时，我们只是同样在问，机器中的“智能”与人脑袋中的智能都是算法吗？这些问题的一个关键性质“算法和人工智能究竟是基于语法的还是基于语义的？”就是哲学、逻辑学、语言学、计算机和人工智能等不同领域中的共同的基本问题，这个问题令人困惑在于物理形式与抽象形式相互紧密缠绕，层层交织。丘奇—图灵论题脱离不了这种直觉性质：我们知道皇帝穿了龙袍，但是我们看不见。