发信人: walt (瓦尔特), 信区: AI
标 题: 推理
发信站: 国家智能中心曙光站 (Fri Oct 10 13:59:55 1997)

从一些判断(前提)合理地得出另一些判断(结论)的过程, 叫做推理。我们的日
常生活离不开推理。例如科学上的公式推导, 定理证明和对自然规律的概括总结,
法律上的案件侦破和法庭辩论, 经济、军事、政治上的决策和对策等, 都涉及到各
种形式的推理。

推理之所以在很多场合下非常有效, 是因为一些判断之间确实存在着内在的逻
辑联系。符合这些联系的推理, 就显得非常“讲理”, 有一种让人不得不服气的逻
辑的力量; 违背这些联系的推理, 就显得“不讲理”, 甚至是“诡辩”或“不可理
喻”。

推理是人类的一种重要的认知手段。用计算机实现推理, 是自从有计算机以来
就一直为许多计算机科学家所追求的目标, 也具有十分重要的应用价值。经过几十
年的艰苦努力, 目前已经取得了许多成果。一些推理程序已经走向实用, 成为在各
行各业发挥着重要作用的“专家系统”的核心。在著名的国际象棋“人机大战”中,
计算机国际象棋程序“更深的蓝”已经有了战胜国际象棋世界冠军的骄人战绩。我
国著名数学家吴文俊教授提出的“吴方法”在计算机进行几何定理证明方面已经连
续多年走在世界的最前列。

计算机程序为什么可以进行推理呢? 这是因为: (1) 计算机程序本质上是一种对符号进行表示和加工变换的工具, 它可以用多种手段表示知识, 不仅可以用逻辑
公式表示, 还可以用代数方程表示, 甚至可以用图形的方式表示; 它可以在各种表
示上进行相当于推理的加工变换, 从而在整体上具有推理的能力。(2) 计算机程序
可以快速地检查上百万、上千万种可能性, 用时间空间性能上的优势弥补创造性的
不足。(3) 计算机程序通过注入人工智能的技术, 可以在一定程度上能够评价不同
的推理“思路”的价值, 避免在错误的思路上浪费计算资源, 从而能尽早达到推理
的目标。

判断之间的逻辑联系是多样化的, 因此导致了多样化的推理机制. 其中比较有
代表性的推理机制有演绎推理, 归纳推理, 类比推理, 反演推理, 非单调推理, 不
确定推理等等。目前, 对于演绎推理的机制的研究已经比较成熟, 对其他推理机制
的研究还处在不同程度的探索阶段。

计算机程序虽然可以进行许多很有效的推理, 但这并不意味着推理可以完全机
械化。实际上, 理论分析已经证明, 推理是不能完全机械化的。一些正确的结论是
无法靠推理得到的; 一些正确的推理是功能再强大的计算机也难以实现的; 一些在
理论上可以实现的推理, 在计算机上实现可能要花费天文数字般的代价。当然这些
也许都是极端的情况, 并不能说明计算机程序不能解决实践中提出的推理问题。计
算机科学家们正在朝着更实际的目标努力, 设计可以用于大多数实际问题的高性能
的推理算法。