【正文】 母親 ） ? （ 賈寶玉 是 男性 ） ? （ 賈元春 是 女性 ） ? （ 薛蟠 是 男性 ） ? （ 薛寶釵 是 女性 ） ? 可推出新事實： ? （ 薛王氏 是 賈寶玉 的 姨母 ） ? （ 賈寶玉 是 薛蟠 的 表兄弟 ） ? （ 賈寶玉 是 薛寶釵 的 表兄弟 ） ? 在檢查規(guī)則中某前提是否成立時 ， 帶變量的正向演繹與不帶變量的正向演繹是有區(qū)別的 。 這種匹配正是我們在歸結(jié)推理中講的合一算法 ?？紤]規(guī)則中是否帶有變量，這種匹配可分為三種：數(shù)據(jù)與數(shù)據(jù)的匹配、數(shù)據(jù)與變量的匹配、變量與變量的匹配。 Procedure Achieve（ G） 掃描數(shù)據(jù)庫 ， 如果找到 G， 返回 T 否則找到能導(dǎo)出 G的規(guī)則集 S； while S非空 do begin 調(diào)用過程 Choose— Rule（ S） ， 從 S中選出規(guī)則 R while R在 S中且 R的前提部分非空 do begin G??HEAD(R的前提部分 )； R的前提部分 ? TAIL(R的前提部分 ) M=Achieve（ G?） if M為 F， then 從 S中去掉 R end If R在 S中 then返回 T end 當(dāng) S為空時 ， 返回 F end R1 ：如果 葉子脫落 則 是落葉樹 R2 ：如果 葉子保持 則 是常青樹 R3 ：如果 松樹球果 則 是裸子植物 R4 ：如果 針葉 則 是裸子植物 R5 ：如果 二針葉 or 三針葉 or 五針葉 則 是針葉 R6：如果 是裸子植物 and 常青樹 and 五針葉 則 是白松樹 R7：如果 是裸子植物 and 落葉樹 and 簇針葉 則 是落葉松樹 例 :已知有如下數(shù)據(jù)庫和規(guī)則庫 數(shù)據(jù)庫：葉子保持、五針葉 規(guī)則庫： 解：產(chǎn)生式系統(tǒng)的正向推理的一般策略為： 1） 找出可用規(guī)則集 2） 若可用規(guī)則集空或已找到目標(biāo)則結(jié)束 ， 否則 3） 選擇一條規(guī)則 （ 本題可按自然順序 ） 4） 將結(jié)論放入數(shù)據(jù)庫 5） 找出可用規(guī)則集 ， 轉(zhuǎn) 2） 。 反向推理的優(yōu)點： 適合解空間教小的問題 不必使用與總目標(biāo)無關(guān)的規(guī)則 有利于向用戶提供明確的解釋 反向推理的缺點： 目標(biāo)選擇盲目 ， 不允許用戶主動提供信息指導(dǎo)推理 當(dāng)規(guī)則的 then是動作時 ， 反向推理無法使用 。如何判斷規(guī)則可用？是簡單匹配、比較，還是計算。下述的過程 Respond是這種策略的基本思想。 一個產(chǎn)生式系統(tǒng)由三個基本部分組成：一個綜合數(shù)據(jù)庫、一組產(chǎn)生式規(guī)則和一個控制系統(tǒng)。 產(chǎn)生式系統(tǒng) 知識之間存在著大量的因果關(guān)系 ， 可以用 一種稱之為“ 產(chǎn)生式 ”的形式來 描述 。 ? 例：一切固體都可以被某些液體所溶解。 (?x)(學(xué)校 (x) ?老同學(xué) (母親 (趙亮 ), 校長 (x))) 8） 趙亮的母親和某校的校長是老同學(xué) 書 (a) ?臺燈下面 (a) ?(是 (a, 數(shù)據(jù)結(jié)構(gòu) ) ?是 (a, 編譯原理 )) 重迭量詞 ? 對于二元謂詞 R(x,y)，可以連續(xù)兩次引用量詞，有四種形式： ? (?x) (?y) R(x,y)：一切 x和一切 y有關(guān)系 R。 (?x) ((桌子 (x) ??上面放書 (x)) ?配有臺燈 (x)) (?x)((桌子 (x) ?(?y)(書 (y) ??在上面 (y , x))) ?(?z)(臺燈 (z) ?在上面 (z , x))) (?x)((桌子 (x) ??在上面 (書 , x))?在上面 (臺燈 , x)) 5） 張宏的母親和誰都沒吵過架 。 例：是學(xué)生（ X） 謂詞比命題有更強的表達(dá)能力： 1） 有概括能力 2） 引進(jìn)了變量 3） 在知識之間建立聯(lián)系 ? 是學(xué)生 （ X） ： X是學(xué)生 ? 受紀(jì)律約束 （ X） ： X受紀(jì)律約束 ? 犯錯誤 （ X） ： X犯錯誤 ? 受紀(jì)律懲罰 （ X） ： X受紀(jì)律懲罰 連接后： 是學(xué)生（ X） ?受紀(jì)律約束（ X） 犯錯誤（ X） ?受紀(jì)律懲罰（ X） (6)? ?X [是學(xué)生 (X) ? ?學(xué)籍 (X)] ? ? ?Y [是教師 (Y) ? ?職稱 (Y)] 例：沒有無學(xué)籍的學(xué)生 ， 也沒有無職稱的教師 。 考慮推理機的效率 （ 適合機器實現(xiàn) ） ， 一階謂詞邏輯最弱 。 表示觀：注重形式化的認(rèn)知觀 注重模擬客觀世界本體的本體觀 產(chǎn)生式規(guī)則是一種使用最廣泛的表示方法 。第五章 知識表示 表示是使用人造的體系對自然界事物的運算規(guī)律進(jìn)行概括與抽象的模型 。 語義網(wǎng)絡(luò) 、 框架 、 腳本都是結(jié)構(gòu)化的表示方法 ， 結(jié)構(gòu)化表示法適合描述那些帶有結(jié)構(gòu) 、 層次 、 比較復(fù)雜的事物 ， 反映了人們使用知識的方式 ， 提供了結(jié)構(gòu)的描述關(guān)系 。 經(jīng)典人工智能的主要表示方法： 一階謂詞邏輯是最基本的表示方法，具有嚴(yán)謹(jǐn)?shù)墓眢w系。 (1) Q (2) 沒有無學(xué)籍的學(xué)生 ? 也沒有無職稱的教師 (3) ? 存在無學(xué)籍的學(xué)生 ? ? 存在無職稱的教師 (4)? ?X [無學(xué)籍的學(xué)生 (X)] ? ? ?Y [無職稱的教師 (Y)] (5)? ?X [是學(xué)生 (X) ? 無學(xué)籍 (X)] ? ? ?Y [是教師 (Y) ? 無職稱 (Y)] 第一種謂詞簡單 ， 個數(shù)多 ， 較靈活 第二種謂詞復(fù)雜 ， 個數(shù)少 ， 利于檢索 。 (?x)(人 (x) ??吵架 (母親 (張宏 ), x)) 6）型號 B的所有機器都有電源故障。 ? (?x) (?y) R(x,y)：