第一章 緒論

1.1 司各脫法則

對(duì)于各種知識(shí)信息，我們經(jīng)常會(huì)遇到包含不協(xié)調(diào)信息的知識(shí)系統(tǒng)。例如，至少在下列場(chǎng)合常常如此：

1.人類早期關(guān)于自然的認(rèn)識(shí)；

2.神話傳說，歷史記載；

3.人們的經(jīng)驗(yàn)、常識(shí)；

4.倫理道德規(guī)范、行為準(zhǔn)則、法律系統(tǒng)；

5.帶有辯證法思想的形而上學(xué)理論；

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

7.一些呈現(xiàn)爆炸性增長(zhǎng)的科學(xué)理論系統(tǒng)；

8.計(jì)算機(jī)數(shù)據(jù)庫中的海量信息。

在處理這些系統(tǒng)的推理問題時(shí)，如果僅僅使用經(jīng)典邏輯作為推理工具，那么一旦涉及到不協(xié)調(diào)的知識(shí)信息，就會(huì)遇到一個(gè)非常棘手的問題。

北京時(shí)間2009年6月1日法國航空公司的AF447航班在大西洋上空失事，機(jī)上228人全部遇難。法國航空安全調(diào)查部門主管阿爾斯拉尼安稱，失事飛機(jī)在最后時(shí)刻出現(xiàn)了多個(gè)系統(tǒng)故障。這架飛機(jī)最后時(shí)刻發(fā)出的自動(dòng)訊息顯示，在收到前后矛盾的飛行速度顯示后，自動(dòng)駕駛儀停止運(yùn)轉(zhuǎn)。由此可見，法航飛機(jī)失事的主要原因之一是：在收到前后矛盾的數(shù)據(jù)信息后，自動(dòng)駕駛系統(tǒng)停止運(yùn)轉(zhuǎn)。

為什么在接受到相互矛盾的數(shù)據(jù)信息，自動(dòng)駕駛系統(tǒng)就會(huì)停止運(yùn)轉(zhuǎn)呢？

因?yàn)楝F(xiàn)行的智能系統(tǒng)其最底層的邏輯工具一般都是經(jīng)典二值邏輯系統(tǒng)。而在經(jīng)典二值邏輯系統(tǒng)中，有一條重要的定理：├（α∧﹁α）→β，該定理表明，從相互矛盾的信息可以推出任意結(jié)論，即矛盾蘊(yùn)涵一切，這就是司各脫法則（Scotus Law）。這表明：在包含不協(xié)調(diào)信息的知識(shí)系統(tǒng)中，如果我們使用經(jīng)典邏輯作為推理工具，那么任何結(jié)論都可以從該系統(tǒng)中推演出來。這種爆炸性的結(jié)果對(duì)于一個(gè)知識(shí)系統(tǒng)來說顯然是災(zāi)難性的，是不能容忍的。

為了合理地使用這些大量存在的、包含不協(xié)調(diào)信息的知識(shí)系統(tǒng)，在推理上又不至于導(dǎo)致這種災(zāi)難性的結(jié)果，我們必須研究包含不協(xié)調(diào)信息的知識(shí)系統(tǒng)的推理機(jī)制。