人工智能的萧条波折期

科学的发展 往往 不是一 帆风顺 的，人工智能也不 例 外。许多人工智能理论和方法 未 能得 到通用化，在 推 广和应用方面也 存 在重重 困难 。

上一个 10 年 的成果 丰富 ， 初战告捷 的 欢乐 只 是 暂 时 的，当人们进行了 比 较 深入 的工作

以 后 ，发现这 里 的 困难比原 来想 象 的要 严 重得多。就定理 证明 来 说 ， 1965 年 发 明 的 消 解法

曾 给 人们 带 来了 希 望，可是很 快 就发现了 消 解法的能力有 限 。用 消 解法 证明两 个 连续函 数

之和 还 是 连续函 数， 推 导 10 万步 也 还 没有 推 出来。 塞缪 尔 的 跳棋 程 序打败 了 州 冠军 后 并没

有进一