人類常用的推理方法不能直接在人工智能中應(yīng)用從而實現(xiàn)機(jī)器的自動推理，本文論述了自動推理中的歸結(jié)和合一算法的規(guī)則和詳細(xì)步驟，達(dá)到使讀者容易理解和掌握這一方法的目的，使更多人了解這一方法的作用和前景。

　　人類思維中嚴(yán)格的推理主要是兩種，一種是使用真值表，一種是使用演繹規(guī)則。真值表方法，有兩個特點，其一，是機(jī)械性；其二是，每一個要素，都需要用固定的對象表達(dá)出來，假設(shè)用n 表示推理中一個命題中含有對象的數(shù)目，當(dāng)n 大到一定程度的時候，2n 會是一個極其龐大的數(shù)目，這就限制了它在機(jī)器推理當(dāng)中的應(yīng)用。

　　思維中還可以使用演繹推理規(guī)則來進(jìn)行推理，如常用的分離規(guī)則，下面兩個是利用分離規(guī)則的具體例子：

　　1、如果得了肺炎，那么就會發(fā)燒；某人得了肺炎，他一定會發(fā)燒。

　　2、如果得了肺炎，那么，就會出去旅游；某人得了肺炎，所以他會出去旅游。

　　1 是正確的推理，2 是錯誤的推理，這依賴于人類的經(jīng)驗。讓機(jī)器從知識庫中，學(xué)會人類的整體經(jīng)驗，顯然存在很大的難度，即使一個庫中包含著人類絕大多數(shù)經(jīng)驗，檢索耗時也限制了其應(yīng)用。因此這種方法也不適用于機(jī)器推理。

　　歸結(jié)和合一算法的出現(xiàn)，為解決機(jī)器的自動推理提供了很好的方法并得到廣泛應(yīng)用，這一點早已為相關(guān)的研究者熟悉。但從事邏輯學(xué)研究的人員，往往限于依據(jù)羅素和懷特海在《數(shù)學(xué)原理》中構(gòu)建的推理體系，不了解機(jī)器自動推理的進(jìn)展。這在人工智能興起的今天，顯然是不滿足時代要求的。更多的非專業(yè)人士其實也有一窺機(jī)器推理的需求，實際工作中，越來越需要構(gòu)架起《數(shù)學(xué)原理》中的為人熟知的推理體系與人工智能中自動推理之間的橋梁，讓更多的非人工智能領(lǐng)域的研究人員深入認(rèn)識與了解該方法，這也是本文的主要目的。