第一章 绪论

1.1 司各脱法则

对于各种知识信息，我们经常会遇到包含不协调信息的知识系统。例如，至少在下列场合常常如此：

1.人类早期关于自然的认识；

2.神话传说，历史记载；

3.人们的经验、常识；

4.伦理道德规范、行为准则、法律系统；

5.带有辩证法思想的形而上学理论；

6.包含不同宗教的信仰体系；

7.一些呈现爆炸性增长的科学理论系统；

8.计算机数据库中的海量信息。

在处理这些系统的推理问题时，如果仅仅使用经典逻辑作为推理工具，那么一旦涉及到不协调的知识信息，就会遇到一个非常棘手的问题。

北京时间2009年6月1日法国航空公司的AF447航班在大西洋上空失事，机上228人全部遇难。法国航空安全调查部门主管阿尔斯拉尼安称，失事飞机在最后时刻出现了多个系统故障。这架飞机最后时刻发出的自动讯息显示，在收到前后矛盾的飞行速度显示后，自动驾驶仪停止运转。由此可见，法航飞机失事的主要原因之一是：在收到前后矛盾的数据信息后，自动驾驶系统停止运转。

为什么在接受到相互矛盾的数据信息，自动驾驶系统就会停止运转呢？

因为现行的智能系统其最底层的逻辑工具一般都是经典二值逻辑系统。而在经典二值逻辑系统中，有一条重要的定理：├（α∧﹁α）→β，该定理表明，从相互矛盾的信息可以推出任意结论，即矛盾蕴涵一切，这就是司各脱法则（Scotus Law）。这表明：在包含不协调信息的知识系统中，如果我们使用经典逻辑作为推理工具，那么任何结论都可以从该系统中推演出来。这种爆炸性的结果对于一个知识系统来说显然是灾难性的，是不能容忍的。

为了合理地使用这些大量存在的、包含不协调信息的知识系统，在推理上又不至于导致这种灾难性的结果，我们必须研究包含不协调信息的知识系统的推理机制。