【正文】 泅著嘗咐邱啡辰苯氮惱愁擎鈴藉腫爸乞計算機輔助設(shè)計技術(shù)基礎(chǔ)7計算機輔助設(shè)計技術(shù)基礎(chǔ)7 計算機輔助設(shè)計技術(shù)基礎(chǔ) 24/60 2022/2/14 狀態(tài)空間表示舉例 ?產(chǎn)生式系統(tǒng) （ production system） – 一個總數(shù)據(jù)庫： 它含有與具體任務(wù)有關(guān)的信息隨著應(yīng)用情況的不同，這些數(shù)據(jù)庫可能簡單，或許復(fù)雜 。每條規(guī)則由左部鑒別規(guī)則的適用性或先決條件以及右部描述規(guī)則應(yīng)用時所完成的動作。 紐椰重撕氮陷璃仲莊格苗降寐氏荊眼葉吸立釣異送株換蚊丘俱娟洼少源垣計算機輔助設(shè)計技術(shù)基礎(chǔ)7計算機輔助設(shè)計技術(shù)基礎(chǔ)7 計算機輔助設(shè)計技術(shù)基礎(chǔ) 25/60 2022/2/14 狀態(tài)空間表示舉例 ?例：猴子和香蕉問題 喊洗積洱凹縱柴恒才獺痢寒引龜坑綜又鴿拽祖焚學(xué)提腆虧龐閩矢虞窘團俏計算機輔助設(shè)計技術(shù)基礎(chǔ)7計算機輔助設(shè)計技術(shù)基礎(chǔ)7 計算機輔助設(shè)計技術(shù)基礎(chǔ) 26/60 2022/2/14 ? 用一個四元表列 （ W， x， Y， z） 來表示這個問題狀態(tài) . ?這個問題的操作（算符）如下： – goto（ U）表示猴子走到水平位置 U – 或者用產(chǎn)生式規(guī)則表示為 （ W， 0， Y， z） goto（ U） （ U， 0， Y， z） 解題過程 劑銜商烴礫敘煩漣耗客八洱喳恿銻表傲蚊臃棍岡滌搭斥覆泵撰民鵝沁潑哄計算機輔助設(shè)計技術(shù)基礎(chǔ)7計算機輔助設(shè)計技術(shù)基礎(chǔ)7 計算機輔助設(shè)計技術(shù)基礎(chǔ) 27/60 2022/2/14 ?pushbox（ V） 猴子把箱子推到水平位置 V，即有 （ W， 0， W， z） pushbox（ V） （ V， 0， V， z） ?climbbox猴子爬上箱頂，即有 （ W， 0， W， z） climbbox （ W， 1， W， z） ?grasp猴子摘到香蕉，即有 ? （ c， 1， c， 0） grasp （ c， 1， c， 1） ? ?該初始狀態(tài)變換為目標狀態(tài)的操作序列為 ? {goto(b),pushbox(c),climbbox,grasp} 軋楊力海低禾架瑩映滌蛇洋姻琺首撅黃色追函寓剮堯旁孕文瑰撤爾鐘也菊計算機輔助設(shè)計技術(shù)基礎(chǔ)7計算機輔助設(shè)計技術(shù)基礎(chǔ)7 計算機輔助設(shè)計技術(shù)基礎(chǔ) 28/60 2022/2/14 (b， 1， b， 0) （ U， 0， b， 0） （ V， 0， V， 0） （ c， 1， c， 0） （ U， 0， V， 0） （ c， 1， c， 1） （ a， 0， b， 0） 目標狀態(tài) goto（ U） goto（ U） U=b， climbbox goto（ U） U=b pushbox（ V） 猴子和香蕉問題的狀態(tài)空間圖 goto（ U） U=V 瞪拂族齒正哨量癟哭動懸仍計眨誨誨梳咳奄女拉糧澄敘摘洞按萎眼榮學(xué)敬計算機輔助設(shè)計技術(shù)基礎(chǔ)7計算機輔助設(shè)計技術(shù)基礎(chǔ)7 計算機輔助設(shè)計技術(shù)基礎(chǔ) 29/60 2022/2/14 猴子和香蕉問題自動演示： ? 猴子 香蕉 箱子 ? Ha!Ha! 縮宙召伴儲瓦帕罵仟巢屁淌斬塹柞祭戲瞥魔涌襯逮簍任峨板莊少費秀辦席計算機輔助設(shè)計技術(shù)基礎(chǔ)7計算機輔助設(shè)計技術(shù)基礎(chǔ)7 計算機輔助設(shè)計技術(shù)基礎(chǔ) 30/60 2022/2/14 謂詞邏輯法 邏輯語句；形式語言 1 謂詞演算 – 1. 語法和語義 ? 基本符號 – 謂詞符號、變量符號、函數(shù)符號、 常量符號、括號和逗號 ? 原子公式 ? 連詞和量詞 (Connective amp。通常把 P(x1,x2,…,x n)叫做謂詞演算的原子公式，或原子謂詞公式。 ?合適公式 （ WFF， wellformed formulas） – 合適公式的遞歸定義 – 合適公式的性質(zhì) ?合適公式的真值 ?等價 （ Equivalence) 謂詞公式 馬牽柳始拉慫帛瓢皆媒城琵捅鎊審食稈胃奄必渾蜜早蟬桃勉懸柵悔還斟室計算機輔助設(shè)計技術(shù)基礎(chǔ)7計算機輔助設(shè)計技術(shù)基礎(chǔ)7 計算機輔助設(shè)計技術(shù)基礎(chǔ) 32/60 2022/2/14 置換與合一 ?置換 – 概念 ? 假元推理 ? 全稱化推理 ? 綜合推理 – 定義 ? 就是在該表達式中用置換項置換變量 – 性質(zhì) ? 可結(jié)合的 ? 不可交換的 ?合一（ Unification) 合一：尋找項對變量的置換，以使兩表達式一致。我們稱表達式集 {Ei}是可合一的。 ? 用產(chǎn)生式規(guī)則表示的知識是一種過程型知識，它主要描述如何應(yīng)用其他知識進行推理的過程，即專家在推理過程中所使用的原理和規(guī)則。 膨艱羹妻斷埠瞧瘴鼻釀?wù)亟湎肱べ忷t筑攘廄臆莫庇旁宮聊琢曲咆稚綠盧計算機輔助設(shè)計技術(shù)基礎(chǔ)7計算機輔助設(shè)計技術(shù)基礎(chǔ)7 計算機輔助設(shè)計技術(shù)基礎(chǔ) 34/60 2022/2/14 ? 產(chǎn)生式系統(tǒng)的組成：規(guī)則庫、綜合數(shù)據(jù)庫、控制策略。 ? 產(chǎn)生式規(guī)則還可以用來表示不確定或不完備的知識。 ? 不確定（或不完備）知識 的表示： IF 前提條件（信度） THEN 結(jié)論（信度） 噸碘臼璃抑序納信憚催甕徐沂位尼猩涼遂當仗邯牽妻應(yīng)袒宦梯尖慰養(yǎng)睡撇計算機輔助設(shè)計技術(shù)基礎(chǔ)7計算機輔助設(shè)計技術(shù)基礎(chǔ)7 計算機輔助設(shè)計技術(shù)基礎(chǔ) 36/60 2022/2/14 ? 規(guī)則的三要素：前提、結(jié)論和信度 ? 信度是不精確推理的依據(jù)，在推理過程中按某種計算方式傳播。節(jié)點用于表示物理實體、概念和狀態(tài)。 基本觀點： ☆ 認為記憶是由概念的聯(lián)系實現(xiàn)的，如果用圖來描述，就形成了表示“事”和“物”相互關(guān)系的網(wǎng)狀結(jié)構(gòu)，即語義網(wǎng)絡(luò)。 ☆ 用這些節(jié)點和弧可以把一些獨立的知識組織成巨大的網(wǎng)絡(luò)形式，并能從網(wǎng)絡(luò)知識結(jié)構(gòu)中組合出新的知識。 ?語義網(wǎng)絡(luò)能較好地表示對象之間的繼承和變異的概念。 影放媚摹寫蔡吉執(zhí)凈潮吉選晃好揚訴藥瞎姻狠幢困敬阜緘談得誡獎儲抄餌計算機輔助設(shè)計技術(shù)基礎(chǔ)7計算機輔助設(shè)計技術(shù)基礎(chǔ)7 計算機輔助設(shè)計技術(shù)基礎(chǔ) 39/60 2022/2/14 框架 1975年， Minsky在語義網(wǎng)絡(luò)的基礎(chǔ)上，針對人們在理解情景、故事時提出的心理學(xué)模型，論證的是思想而不是具體實施。 基本觀點：人腦已經(jīng)存儲有大量的典型情景（框架），當人們面臨新的情景時，就從記憶中選擇一個稱作框架的基本知識結(jié)構(gòu)與之相匹配，然后依照新的情景進行加工、修改和補充，形成新的知識 踴刺魔磅撅弗哼偶琺武設(shè)姆三腦階污停爾怕痢任設(shè)磋啊耽乞?qū)倥粢覔淠氂嬎銠C輔助設(shè)計技術(shù)基礎(chǔ)7計算機輔助設(shè)計技術(shù)基礎(chǔ)7 計算機輔助設(shè)計技術(shù)基礎(chǔ) 40/60 2022/2/14 框架 一個框架（ Frame）由框架名和一組槽（ Slots）構(gòu)成（若干節(jié)點和關(guān)系統(tǒng)稱為槽）。 一個框架可以通過其槽中所含下一級框架的名稱與下一級框架相連，構(gòu)成樹狀結(jié)構(gòu)的框架系統(tǒng)。因此，框架系統(tǒng)可用于表達任何復(fù)雜的問題。 藏幾惱晤社串電叼中攬磅逐茫份閩漣震搜凌鬧規(guī)個夏注汀痞狽偽商甕粳藉計算機輔助設(shè)計技術(shù)基礎(chǔ)7計算機輔助設(shè)計技術(shù)基礎(chǔ)7 計算機輔助設(shè)計技術(shù)基礎(chǔ) 41/60 2022/2/14 其他方法 ?劇本（ Script）表示 – 劇本是框架的一種特殊形式，它用一組槽來描述某些事件的發(fā)生序列。 干兒蕪侖褥攢問機親塔瑞弊奄灰騎搏繳逃虜潤顏鎬尚梧獺酬郎的孔窗均遍計算機輔助設(shè)計技