【正文】 識模式不完全一樣，但從總體上看它們的相似程度又落在規(guī)定的限度內(nèi)。 ? 模式匹配可以有確定性匹配和不確定性匹配 2種。若完全一致或不完全一致但其相似程度在指定的范圍內(nèi) ,就稱它們是匹配的，否則為不可匹配。 ? 限制策略 ? 所謂限制策略是指為了防止無窮的推理過程，以及由于推理過長增加時間及空間上的復(fù)雜度，可在控制策略中指定推理的限制條件，以對推理的深度、寬度、時間、空間等進行限制。 ? 基本思想： ? 一方面根據(jù)已知事實進行正向推理，但并不推到最終目標；另一方面從某假設(shè)目標出發(fā)進行逆向推理，但并不推至原始事實，而是讓它們在中途相遇，即由正向推理所得的中間結(jié)論恰好是逆向推理此時所需要的證據(jù)，這時推理就可結(jié)束，逆向推理時所做的假設(shè)就是推理的最終結(jié)論。 ? 先逆向再正向： ? 先假設(shè)一個目標進行逆向推理，然后再利用逆向推理中得到的信息進行正向推理，以推出更多的結(jié)論。 ?為解決這些問題，可把正向推理與逆向推理結(jié)合起來，取長補短； ?象這樣既有正向又有逆向的推理稱為混合推理。 主要缺點：初始目標的選擇有盲目性，若不符合實際，就要多次提出假設(shè)，影響到系統(tǒng)效率。 14 2022/5/30 鄭州大學振動工程研究所 逆向推理過程算法描述 開始 提出假設(shè) 該假設(shè)在數(shù)據(jù)庫 DB中？ 該假設(shè)是證據(jù)？ 在知識庫中找出所有能 導(dǎo)出該假設(shè)的知識，形 成適用知識集 KS 從 KS中選出一條知識，并 將該知識的一個運用條件 作為一個新的假設(shè)目標。 12 2022/5/30 鄭州大學振動工程研究所 正向推理過程算法描述： 開始 把初始已知事實送入 DB DB中包含問題的解？ KB中有可適用知識？ KS空？ 把 KB中所有可適用知識都選出來送入 KS 推出的是新事實？ 按沖突消解策略從 KS中選出一條知識進行推理 將該新事實加入到 DB中 成功，退出 把用戶提供的新事實加入 DB中 用戶 可補充新事實？ 失敗，退出 Y Y Y Y Y N N N N N 13 2022/5/30 鄭州大學振動工程研究所 ? 逆向推理： ? 逆向推理是以某個假設(shè)目標作為出發(fā)點的一種推理 ,又稱為目標驅(qū)動推理、逆向鏈推理及后件推理等。 ? 正向推理： ? 正向推理是以已知事實作為出發(fā)點的一種推理，又稱數(shù)據(jù)驅(qū)動推理、前向鏈推理及前件推理等。 10 2022/5/30 鄭州大學振動工程研究所 ?推理的控制策略 ： ? 推理的控制策略主要包括推理方向的控制策略、搜索的控制策略、沖突消解策略、求解策略及限制策略等。 ? 統(tǒng)計推理 —— 根據(jù)對某事物的數(shù)據(jù)統(tǒng)計進行的推理 (相當于歸納推理 )。 ? 非啟發(fā)式推理 —— 比如窮舉式推理等。 ? 非單調(diào)推理 —— 指在推理過程中由于新知識的加入，不僅沒有加強已推出的結(jié)論，反而要否定它，使得推理退回到前面的某一步，重新開始。 ? 不確定性推理 —— 指推理時所用的知識不都是精確的，推出的結(jié)論也不完全是肯定的，其真值位于 “ 真 ” 和 “ 假 ” 之間，命題的外延模糊不清。 6 2022/5/30 鄭州大學振動工程研究所 ? Ⅱ. 確定性推理，不確定性推理 （按推理時所用知識的確定性來劃分） ? ? 確定性推理 —— 指推理時所用的知識都是精確的，推出的結(jié)論也是確定的，其真值或為 “ 真 ” ，或為 “ 假 ” ，沒有第三種情況出現(xiàn)。 5 2022/5/30 鄭州大學振動工程研究所 ? 默認推理 —— 又稱缺省推理，它是在知識不完全的情況下假設(shè)某些條件已經(jīng)具備所進行的推理。 ? 完全歸納：指在進行歸納時考察了相應(yīng)事物的全部對象，并根據(jù)這些對象是否都有某種屬性，從而推出這種事物是否具有這個屬性。 4 2022/5/30 鄭州大學振動工程研究所 ? 歸納推理 —— 歸納推理是從足夠多的事例中歸納出一般性納論的推理過程，是一種從個別到一般的推理。演繹推理有多種形式，經(jīng)常用的是三段論式，它包括： 1) 大前提，這是已知的一般性知識或假設(shè)； 2) 小前提，這是關(guān)于所研究的具體情況或個別事實的判斷； 3) 結(jié)論，這是由大前提推出的適合于小前提所示情況的新判斷。 ? 推理有以下不同的方式： ? 、歸納推理、默認推理 ? 、不確定性推理 ? 、非單調(diào)推理 ? 、非啟發(fā)式推理 ? 、統(tǒng)計推理、直覺推理 3 2022/5/30 鄭州大學振動工程研究所 Ⅰ . 演繹推理、歸結(jié)推理、默認推理 （從新判斷推出的途徑來劃分 ） 演繹推理 —— 從全稱判斷推導(dǎo)出特稱判斷或單稱判斷的過程，即由一般性知識推出適合于某一具體情況的結(jié)論。接下來，我們將介紹關(guān)于推理的一般概念，然后介紹幾種推理方法。1 2022/5/30 鄭州大學振動工程研究所 第四章 經(jīng)典邏輯推理 ? 為了使計算機具有智能僅僅擁有知識是不夠的，還需要讓它擁有思維能力，即能夠運用知識進行推理、求解問題。因此推理是人工智能的一個重要研究課題。 ? ? ? ? /或形演繹推理 2 2022/5/30 鄭州大學振動工程研究所 ?推理、推理方式及其分類 ? 運用已經(jīng)掌握的知識，找出其中蘊涵的事實，或歸納出新事實的過程稱為推理。這是一種從一般到 個別的推理。 例如： 1) 足球運動員的身體都是強壯的； 2) 高波是一名足球運動員； 3) 所以，高波的身體是強壯的。歸納推理又分為完全歸納和不完全歸納兩種。 ? 不完全歸結(jié)：指只考察了相應(yīng)事物的部分對象，就得出了結(jié)論。在默認推理過程中，如果到某一時刻發(fā)現(xiàn)原先所作的默認不正確，則就要撤銷所作默認，以及由此默認推出的所有結(jié)論，重新按新情況進行推理。 ? 下面將要討論的經(jīng)典邏輯推理就屬于這一類。 7 2022/5/30 鄭州大學振動工程研究所 ? Ⅲ. 單調(diào)推理、非單調(diào)推理 （按推理過程中推出的結(jié)論是否單調(diào)的增加來劃分） ? 單調(diào)推理 —— 指在推理過程中隨著推理的向前推進及新知識的加入，推出的結(jié)論呈單調(diào)增加的趨勢，并且越來越接近最終目標，在推理過程中不會出現(xiàn)反復(fù)的情況，即不會由于新知識的加入而否定了前面推出的結(jié)論，使推理又退回到前面的一步。 8 2022/5/30 鄭州大學振動工程研究所 ? Ⅳ. 啟發(fā)式推理、非啟發(fā)式推理 （按推理中是否運用與問題有關(guān)的啟發(fā)性知識分） ? 啟發(fā)式推理 —— 推理中運用與問題有關(guān)的啟發(fā)性知識，即解決問題的策略、技巧、竅門，對解的特性及規(guī)律的估計等實踐經(jīng)驗和知識，以加快推理過程、提高搜索效率、提高推理的準確性，這種推理稱為啟發(fā)式推理。 9 2022/5/30 鄭州大學振動工程研究所 ? Ⅴ. 基于知識的推理、統(tǒng)計推理、直覺推理 （從方法論的角度劃分） ? 基于知識的推理 —— 根據(jù)已掌握的事實，通過運用知識進行的推理。 ? 直覺推理 —— 又稱常識性推理，是根據(jù)常識進行的推理。 11 2022/5/30 鄭州大學振動工程研究所 ? 推理 方向的控制策略 則包括；正向推理、 逆向推理、混合推理、雙向推理。根據(jù)已知的實事，在知識庫中查找當前可用的知識，構(gòu)成可適用的知識集 KS，再安照沖突消解策略從 KS中選出一條知識進行推理，并將推出的新實事加入到數(shù)據(jù)庫中作為下一步推理的實事 ?? 再查找，再推理，直到求得了所要求的解或者知識庫中沒有可用的知識為止。 ? 逆向推理的基本思想：首先選定一個假設(shè)目標，然后尋找支持該假設(shè)的證據(jù)，若所需的證據(jù)都能找到，則說明原假設(shè)成立；若無論如何都找不到所需證據(jù)，說明原假設(shè)不成立，此時需要另作新的假設(shè)，進行一輪新的推理。 該假設(shè)成立 詢問用戶 有此事實？ 該假設(shè)成立， 并將此事實 存入數(shù)據(jù)庫 還有假設(shè)？ 退出 Y Y Y Y N N N N 15 2022/5/30 鄭州大學振動工程研究所 ? 逆向推理： 逆向推理的主要優(yōu)點：不必使用與目標無關(guān)的知識，目的性強，同時還有利