智能科学技术导论周乐昌第讲展望模板.docxVIP

的理论计算机模型 的理论计算机模型 机器的极限能力的 第13讲展望导语 面对智能科学技术众多成就和美好 的前景，或者读者会提出一个尖锐的问 题，那就是机器的心智水平能不能达到、 甚至超过人类的水平呢？换句话讲，我 们能不能完全仿造人脑呢 ？课程在最后 这一讲展望之中就是首先来讨论这一基 本问题的，然后在此基础上来憧憬智能 科学技术未来的发展趋势。为此让我们 首先给出有关逻辑计算局限性的一些经 典理论，以便我们的讨论有一个基点。 第13.1节机器困境 公元一九三一年是一个具有划时代 意义的年份，正是在这一年，伟大的奥地 利逻辑学家库尔特哥德尔发表了题为 《PM及有关系统中的形式不可判定命 题》的论文。在这篇论文中，哥德尔用严 密的数学论证方法，指出了任意足够强 大的一致性逻辑系统（强大到足以描述 初等数论中的全部命题），一定是不完备 的，即起码有一个命题在该逻辑系统中 既不为真又不为假（存在着不能证明的 命题）；反之，如果一个逻辑统要避免这 样的不完备的结局，那么其又肯定是描 述能力有限的或不一致的（即这一逻辑 系统能够导致自相矛盾）。更有甚者，- 个逻辑系统是不是一致的、 是不是完备 的这一问题本身，对于这一逻辑系统而 言也是不能证明的。 这意味着什么？这意味着，根据哥 德尔定理，逻辑系统不再是无所不能了 ， 其存在着致命的局限性，除非你放弃是 非分别，否则靠逻辑的手段是无法企及 完美至善的事物。于是哥德尔定理彻底 动摇了作为理想和权威的逻辑思维的基 础,其结果是震撼人心的。因为正是哥德 尔定理，抽掉了一切理性思维活动完备 性的支点，逻辑思维的局限性亦暴露无 遗。 是的，由于直接受到哥德尔定理的 影响，1936年，英国年轻的数学家阿 兰?图灵提出了一种被人们称为图灵机 ,就是为了寻找计算 腐臥无隈延酋的?毎带 腐臥无隈延酋的?毎带 如图所示，图灵机由控制器、存储 带和读写头组成。控制器代表图灵机所 处的状态，图灵机在不同的状态下采取 不同的操作，用来驱动存储带左右移动 和控制读写头的操作。存储带则是一条 可向两端无限延伸的带子，带上分成一 个个方格，每一方格能够存储规定字符 表中的一个字符，也可保持空白。读写头 主要对存储带进行扫描，每次读出或写 入一个字符。读写头正描准的格子中字 符，称为当前字符。当前字符与当前状态 一起决定着图灵机的一步计算，使得图 灵机进入一个新状态，相应地带子或不 动或左移一格或右移一格，以及当前字 符或不变或改写为新字符或清空都也发 生变化。 如果把一开始带上的字符串看作为 输入数据，那么经过一系列的计算步操 作后，当图灵机处于终止状态时带上的 字符串就是输出结果。于是，对于给定的 图灵机（规定了初始状态和终止状态在 内的所有状态及其变换和操作规则）就 对应地规定了该图灵机的计算功能。因 此我们也称图灵机定义了一种计算函数 不同的图灵机完成不同的计算功能 ，也 就对应了不同的计算函数。进一步，图灵 证实存在着这样的图灵机，其能够模拟 实现任意给定图灵机的功能，这便是通 用图灵机的概念。 现有理论表明，任何计算装置，包括 理论模型和实际机器，其计算能力均不 大于图灵机的计算能力。如果我们规定 带上的符号仅由” 0 ”和” 1”两种数字组 成并约定n + 1个”1”连写表示自然数 n ,而用” 0 ”（不论连写几次均作为一个 看待）来作为数与数之间的间隔符，那 么同样能够证明任何计算装置的计算能 力均不大于这种自然数上的图灵机。也 就是说，任意一个可计算的问题，使用编 码方法，都能够对应为相应的一个自然 数上的图灵机。 那么是不是所有的问题都是图灵机 可计算解决的呢？根据上述说明，这个 问题能够归结为是不是所有的自然数函 数都是可计算函数呢 ? 也就是说存在不 存在图灵机不能计算的自然数函数呢 ? 回答是肯定的 , 因为确实存在着图灵机 不可计算的自然数函数。如果设 fi（ x） 为 所有自然数可计算函数 , 那么经过 g（x）二fx‘（x）+1 导出悖论 , 就能够证明存在不可计算函 数。 不但如此 , 实际上从理论上讲 , 几乎 处处都有不可计算 （ 不可判定 ） 问题 , 就 拿数论命题的可判定性来说 , 就存在着 不可数的不可判定命题 , 而可判定命题 则是可数。打个比喻说 , 如果可计算 （ 可 判定） 问题看作有整数集那么大 , 那么 不可计算 （ 不可判定 ） 问题就有实数集 那么大 , 其差距之大 , 不言而喻。比较著 名的不可计算问题有图灵停机问题、 刁 番图方程解的问题、 铺地砖问题等。 因此 , 图灵机及其存在着不可计算 问题是具有普适性意义的。 不但如此 , 我 们还知道问题不可判定性本身也是不可 判定的。现在我们还想补充告诉读者的 是 , 要想让计算机解决问题 , 还必须首先