人工智能中的自動(dòng)邏輯推理的算法介紹

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

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

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

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

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

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

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