1、第三章思考題莃3.1什么是推理、正向推理、逆向推理、混合推理？試列出常引用的幾羈種推理方式并列出每種推理方式的特點。肈答：1）推理是指從已知事實出發(fā)，運用已掌握的知識，推導(dǎo)出其中蘊含的事實性結(jié)論或歸納出某些新的結(jié)論的過程。莄2）正向推理是一種從已知事實出發(fā)、正向使用推理規(guī)則的推理方式，它是一種數(shù)據(jù)（或證據(jù)）驅(qū)動的推理方式，又稱前項鏈推理或自底向上推理。螁3）反向推理是一種以某個假設(shè)目標(biāo)為出發(fā)點，反向運用推理規(guī)則的推理方式，它是一種目標(biāo)驅(qū)動的推理方式，又稱反向鏈推理或自頂向下推理。肁4）混合推理是把正向推理和反向推理結(jié)合起來所進行的推理。膈常引用的推理方式有演繹推理、歸納推理和默認(rèn)推理。螅演繹推

2、理是從全稱判斷推倒出單稱判斷的過程，即有一般性只是推導(dǎo)出適合于某一具體情況的結(jié)論。是一種從一般到個別的推理。蒃歸納推理是從足夠的事例中歸納出一半般結(jié)論的推理過程，是一種從個別到一般的推理。螀默認(rèn)推理是在知識不完全的情況下假設(shè)某些條件已經(jīng)具備所進行的推理。膈膆3.2什么是沖突？在產(chǎn)生式系統(tǒng)中解決沖突的策略有哪些？羀答：1）已知事實與知識庫中的多個知識匹配成功稱發(fā)生了沖突。薈2）解決沖突的策略有1）按針對性排序2）按已知事實的新鮮性排序3）按匹配度排序4）按條件個數(shù)排序5）按上下文限制排序6）按冗余限制排序7）根據(jù)領(lǐng)域問題的特點排序。羋節(jié)3.3什么是子句？什么是子句集？請寫出求謂詞公式子句集的步驟

3、。螞答：1）任何原子謂詞公式及其否定的析取式為子句。莇2）由子句構(gòu)成的集合稱為子句集。莈求謂詞公式子句集的步驟：1）消去謂詞公式中的“”和“?”符號，2）把否定符號移到靠緊謂詞的位置上，3）變量標(biāo)準(zhǔn)化，4）消去存在量詞，5）化為前束型，6）化為Skolem標(biāo)準(zhǔn)型，7）略去全稱量詞，8）子句變量標(biāo)準(zhǔn)化。蚃膀3.4謂詞公式與它的子句集等價嗎？在什么情況下它們才會等價？莀答：1）謂詞公式與它的子句集不是總等價的。蒈肄袂2)在謂詞公式不可滿足的情況下是等價的。3.5為什么要引入Herbrand理論？什么是H域？如何求子句集的H域？腿答：1）引入Herbrand理論能夠構(gòu)造一個特殊域，判定子句在域上的解

4、釋，從而判定該自居的不可滿足性，從而可以判定子句集的不可滿足性，繼而判定謂詞公式的不可滿足性。薇2）H域也稱海倫伯域。滿足以下條件：蒅令H0是S中所有個體常量的集合。若S中不包含個體常量，則令H0=a。其中a為任意指定的一個個體常量。芀令Hi+1=HiS中所有的形如f(t1,tn)的元素其中f(t1,tn)是出現(xiàn)于G中的任一函數(shù)符號，而t1，tn是Hi中的元素。i=0，1，2，。袈3）如果該子句集中既有個體常量也有函數(shù)，則可根據(jù)H域的定義構(gòu)造H域，若沒有個體常量或者沒有函數(shù)，即可指定任意一個常量a為個體常量，再根據(jù)H域的第二條定義構(gòu)造H域。蚇3.6什么是子句集在域D上的解釋？什么是H域的解釋？

5、如何用D域上袆的一個解釋I構(gòu)造H域上的解釋I*？肂1答：）子句集在D域上的解釋就是對字句集中的字句在任何非空個體域上的任何一個解釋。羈2）子句集S在H域上的解釋就是對S中出現(xiàn)的常量、函數(shù)及謂詞取值，一次取值就是S的一個H解釋。螇3）將子句集S在D上的不可滿足問題轉(zhuǎn)化成在H上的不可滿足問題，可解決用D域上的一個解釋I構(gòu)造H域上的解釋I*。肅3.7引入Robinson的歸結(jié)原理有何意義？什么是歸結(jié)原理？什么是歸螄結(jié)式？蝕答：1）引入Robinson的歸結(jié)原理解決了海伯倫定理的不足，簡化了判定子句集的不可滿足性的判定步驟，使推理算法達到了可實用的程度，使機器定理證明變?yōu)楝F(xiàn)實。螇2）魯濱遜歸結(jié)原理又稱

6、為消解原理，是魯濱遜提出的一種證明子句集不可滿足性，從而實現(xiàn)定理證明的一種理論及方法。蒄3）設(shè)C1與C2是子句集中任意兩個子句，如果C1中的文字L1與C2中的文字互補，那么從C1中和C2中分別消去L1和L2，并將兩個子句中余下的部分吸取，構(gòu)成的一個新子句C12即是C1和C2的歸結(jié)式。膂3.83.9葿請寫出利用歸結(jié)原理求解問題答案的步驟。袇答：（1）把已知前提條件用謂詞公式表示出來，并化成相應(yīng)的子句集，設(shè)該子句（2）把待求解的問題也用謂詞公式表示出來，然后將其否定，并與一謂詞ANSWER集的名字為S。裊構(gòu)成析取式。謂詞ANSWER是一個專為求解問題而設(shè)置的謂詞，其變量必須與問題公式的變量完全一致

7、。袃（3）把問題公式與謂詞ANSWER構(gòu)成的析取式化為子句集，并把該子句集與S1（4）對子句集S應(yīng)用謂詞歸結(jié)原理進行歸結(jié)，在歸結(jié)的過程中，通過合一置換，合并構(gòu)成子句集S。芇改變ANSWER中的變元。如果得到歸結(jié)式ANSWER，則問題的答案即在ANSWER謂詞中。羇以下無正文僅供個人用于學(xué)習(xí)、研究；不得用于商業(yè)用途。Forpersonaluseonlyinstudyandresearch;notforcommercialuse.僅供個人用于學(xué)習(xí)、研究；不得用于商業(yè)用途。NurfrdenpersnlichenfrStudien,Forschung,zukommerziellenZweckenverwendetwerden.Pourltudeetlarechercheuniquementdesfinspe