【正文】 算法描述： (1) 將要求證的目標(biāo)（稱為假設(shè)）構(gòu)成一個(gè)假設(shè)集； (2) 從假設(shè)集中選出一個(gè)假設(shè)，檢查該假設(shè)是否在綜合數(shù)據(jù)庫中，若在，則該假設(shè)成立，此時(shí)，若假設(shè)集為空，則成功退出，否則仍執(zhí)行 (2)；若該假設(shè)不在數(shù)據(jù)庫中，則執(zhí)行下一步； (3) 檢查該假設(shè)是否可由知識庫的某個(gè)知識導(dǎo)出，若不能由某個(gè)知識導(dǎo)出，則詢問用戶該假設(shè)是否為可由用戶證實(shí)的原始事實(shí)，若是，該假設(shè)成立，并將其放入綜合數(shù)據(jù)庫，再重新尋找新的假設(shè)，若不是，則轉(zhuǎn) (5)；若能由某個(gè)知識導(dǎo)出，則執(zhí)行下一步； (4) 將知識庫中可以導(dǎo)出該。此時(shí)，r15的兩個(gè)前提條件均滿足，即 r15的前提條件滿足，因此 r15可用，承認(rèn)的 r15結(jié)論，即推出新的事實(shí)“動物是信天翁” 。假設(shè)已知有以下事實(shí)： 動物有羽毛，動物善飛 求滿足以上事實(shí)的動物是何種動物。 B A C 初始證據(jù) 推理規(guī)則 r1 r2 求證目標(biāo) 71 2. 產(chǎn)生式的正向推理 例子 (2/2) 簡化的動物識別例子，僅包括其中的 r3和 r15，完整例子后面討論。 例 假設(shè)知識庫中包含有以下 2條規(guī)則： r1： IF B THEN C r2： IF A THEN B 已知初始證據(jù) A，求證目標(biāo) C。從該知識集中取出 r1，推出新的實(shí)事 C，將 C加入綜合數(shù)據(jù)庫，檢查綜合數(shù)據(jù)庫中是否含有目標(biāo) C，回答為“ Y”。從該知識集中取出 r2，推出新的實(shí)事 B，將 B加入綜合數(shù)據(jù)庫，檢查綜合數(shù)據(jù)庫中是否含有目標(biāo) C，回答為“ N”。 其流程圖如下： 69 把初始證據(jù)放入 DB DB中有解嗎？ KB中有可用知識嗎？ 形成可用知識集 可用知識集空嗎？ 按照沖突消解策略從該知識 集中選出一條知識進(jìn)行推理 推出的是新事實(shí)嗎？ 將新事實(shí)加入到 DB 把用戶補(bǔ)充的新事 實(shí)加入到 DB中 用戶可補(bǔ)充新事實(shí)嗎？ 失敗退出 成功退出 Y N N Y N N N Y Y Y 70 2. 產(chǎn)生式的正向推理 例子 (1/2) 推理開始后，先把 A放入綜合數(shù)據(jù)庫，然后檢查綜合數(shù)據(jù)庫中是否含有該問題的解，回答為“ N”。 至于如何根據(jù)綜合數(shù)據(jù)庫中的事實(shí)到知識庫中選取可用知識，當(dāng)知識庫中有多條知識可用時(shí)應(yīng)該先使用那一條知識等。 (4) 按照某種沖突消解策略，從當(dāng)前可用知識集中選出一條規(guī)則進(jìn)行推理，并將推出的新事實(shí)加入綜合數(shù)據(jù)庫種，然后轉(zhuǎn) (2)。 68 2. 產(chǎn)生式的正向推理 算法 從已知事實(shí)出發(fā)、正向使用規(guī)則，也稱為數(shù)據(jù)驅(qū)動推理或前向鏈推理。 終止推理： 檢查綜合數(shù)據(jù)庫中是否包含有目標(biāo)，若有，則停止推理。 沖突消解： 對匹配成功的規(guī)則，按照某種策略從中選出一條規(guī)則執(zhí)行。 控制系統(tǒng)的主要任務(wù) 選擇匹配： 按一定策略從規(guī)則庫種選擇規(guī)則與綜合數(shù)據(jù)庫中的已知事實(shí)進(jìn)行匹配。 是產(chǎn)生式系統(tǒng)能夠進(jìn)行推理的根本。該結(jié)論若不是目標(biāo)，將作為新的事實(shí)放入 DB，成為以后推理的已知事實(shí)。 可匹配的規(guī)則稱為可用規(guī)則。 如： 問題的初始狀態(tài) 輸入的事實(shí) 中間結(jié)論及最終結(jié)論 (2) 作為推理過程選擇可用規(guī)則的依據(jù)。本章重點(diǎn)討論確定性推理，不確定性推理放到第 5章。 如果要修改 Master2的 Major，需要沿 ISA鏈到 Master框架，執(zhí)行 Major槽 IfAdded側(cè)面的 CheckMajor操作，對 Field、 Advisor進(jìn)行修改，以保持知識的一致性。 64 4. 框架系統(tǒng)問題求解的基本過程 特性繼承 (2/2) 特性繼承的例 如前面的學(xué)生框架 若要查詢 Master1的 Sex，則可直接回答；但要查詢 Master2的 Sex，則需要沿 ISA鏈和 AKO鏈到 Student框架取其默認(rèn)值 male。 IfNeeded與 IfAdded過程的區(qū)別 它們的主要區(qū)別在于激活時(shí)機(jī)和操作目的不同。 如果該槽提供有 IfNeeded側(cè)面供繼承，則執(zhí)行 IfNeeded操作，去產(chǎn)生一個(gè)值作為查詢結(jié)果。 當(dāng)需要查詢某一事物的某個(gè)屬性，且描述該事物的框架未提供其屬性值時(shí)，系統(tǒng)就沿 ISA和 AKO鏈追溯到具有相同槽的類或超類框架。如下圖中 Student框架與 SAddre框架之間就是一種橫向聯(lián)系。 縱向聯(lián)系通過預(yù)定以槽名 AKO和 ISA等來實(shí)現(xiàn)。如下圖，學(xué)生可按照接受教育的層次分為本生、碩和博。 62 3. 框架系統(tǒng) 框架之間的聯(lián)系 Student Collegian Master Doctor Master1 … SAddress ISA ISA AKO Address AKO AKO 框架系統(tǒng)由框架之間的橫向或縱向聯(lián)系構(gòu)成。例如， Major槽， 由于 專業(yè) 的變化，可能會引起 Field和 Advisor的變化，因此需要調(diào)用 IfAdded側(cè)面提供的 CheckMajor過程進(jìn)行后繼處理。 IfAdded： 該側(cè)面的作用是提供一個(gè)因相應(yīng)槽值變化而引起的 后繼處理過程 。當(dāng)某個(gè)槽不能提供統(tǒng)一的缺省值時(shí)，可在該槽增加一個(gè) IfNeeded側(cè)面，系統(tǒng)通過調(diào)用該側(cè)面提供的過程，產(chǎn)生相應(yīng)的屬性值。例如， Paper槽的默認(rèn)值為 Core。 Default： 該側(cè)面的作用是為相應(yīng)槽提供 缺省值 。并且，由 AKO所聯(lián)系的框架之間具有屬性的繼承關(guān)系。例如，對前面例 “ MASTER”可分為： “ Student”框架，描述所有學(xué)生的共性，上層框架 “ Master”框架，描述碩士生的個(gè)性，子框架，繼承“ Student”框架的屬性 學(xué)生框架 Frame Student Name： Unit（ Lastname， Firstname） Sex： Area（ male， female） Default： male //缺省 Age： Unit（ Years） IfNeeded： AskAge //詢問賦值 Address： SAddress Telephone： Home Unit（ Number） Mobile Unit（ Number） IfNeeded： AskTelephone //詢問賦值 59 2. 框架結(jié)構(gòu)和框架表示 框架表示 (2/3) 碩士生框架 Frame Master AKO： Student //預(yù)定義槽名 Major： Unit（ Major） //專業(yè) IfNeeded： Ask Major //詢問賦值 IfAdded： CheckMajor //后繼處理 Field： Unit（ DirectionName） //方向 If Needed： Ask – Field //詢問賦值 Advisor： Unit（ Lastname， Firstname） //導(dǎo)師 If Needed： Ask Visor //詢問賦值 Project ： Area（ National， Provincial， Other） //項(xiàng)目 Default： National //缺省 Paper： Area（ SCI， EI， Core， General） //論文 Default： Core //缺省 這里，用到了一個(gè)系統(tǒng) 預(yù)定義槽名 AKO，其含義為“是一種” 。 框架系統(tǒng)推理： 由框架之間的協(xié)調(diào)來完成。 實(shí)例框架： 對于一個(gè)框架，當(dāng)人們把觀察或認(rèn)識到的具體細(xì)節(jié)填入后，就得到了該框架的一個(gè)具體實(shí)例，框架的這種具體實(shí)例被稱為實(shí)例框架。 框架： 是人們認(rèn)識事物的一種通用的數(shù)據(jù)結(jié)構(gòu)形式。 它認(rèn)為人們對現(xiàn)實(shí)世界中各種事物的認(rèn)識都是以一種類似于框架的結(jié)構(gòu)存儲在記憶中的，當(dāng)遇到一個(gè)新事物時(shí)，就從記憶中找出一個(gè)合適的框架，并根據(jù)新的情況對其細(xì)節(jié)加以修改、補(bǔ)充，從而形成對這個(gè)新事物的認(rèn)識。 復(fù)雜性 語義網(wǎng)絡(luò)表示知識的手段是多種多樣的，這雖然對其表示帶來了靈活性，但同時(shí)也由于表示形式的不一致，使得它的處理增加了復(fù)雜性。 自然性 語義網(wǎng)絡(luò)可以比較直觀把知識表示出來，符合人們表達(dá)事物間關(guān)系的習(xí)慣。在這種方法中，下層結(jié)點(diǎn)可以繼承、新增、變異上層結(jié)點(diǎn)的屬性。 若還想知道職員王強(qiáng)的其它情況，則可在語義網(wǎng)絡(luò)中增加相應(yīng)的空結(jié)點(diǎn)。 匹配的例子 例 ： 假設(shè)圖 218的語義網(wǎng)絡(luò)已在知識庫中，問王強(qiáng)在哪個(gè)公司工作？ 解： 根據(jù)這個(gè)問題的要求，可構(gòu)造如如下語義網(wǎng)絡(luò)片斷。 (2) 根據(jù)該語義片斷到知識庫中去尋找所需要的信息。 繼承的例子 在圖 217 所示的語義網(wǎng)絡(luò)中，通過繼承關(guān)系可以得到“鳥”具有“會吃”、“能運(yùn)動”的屬性 52 匹配 ？ 王強(qiáng) 匹配是指在知識庫的語義網(wǎng)絡(luò)中尋找與待求解問題相符的語義網(wǎng)絡(luò)模式。 (3) 重復(fù) (2)，直到結(jié)點(diǎn)表為空。如果有，就把該弧所指的所有結(jié)點(diǎn)放入結(jié)點(diǎn)表的末尾，記錄這些結(jié)點(diǎn)的所有屬性，并從結(jié)點(diǎn)表中刪除第一個(gè)結(jié)點(diǎn)。初始情況下，表中只有待求解結(jié)點(diǎn)。通過繼承可以得到所需結(jié)點(diǎn)的一些屬性值，它通常是沿著 ISA、 AKO等繼承弧進(jìn)行的。語義網(wǎng)絡(luò)的推理過程主要有兩種，一種是 繼承 ，另一種是 匹配 。 例 用于語義網(wǎng)絡(luò)表示： “常河給江濤一個(gè)優(yōu)盤” 解： 用 事件節(jié)點(diǎn) 表示如圖 。其中，事件節(jié)點(diǎn) 由一些向外引出的弧來指出事件行為及發(fā)出者與接受者。 例 ： 用語義網(wǎng)絡(luò)表示： “小燕子這只燕子從春天到秋天占有一個(gè)巢” 解： 需要設(shè)立一個(gè) 占有權(quán) 結(jié)點(diǎn)，表示占有物和占有時(shí)間等。 多元關(guān)系的表示法 用語義網(wǎng)絡(luò)表示多元關(guān)系時(shí)，可把它轉(zhuǎn)化為一個(gè)或多個(gè)二員關(guān)系的組合，然后再利用下一節(jié)討論的合取關(guān)系的表示方法，把這種多元關(guān)系表示出來。 47 表示多元關(guān)系 可用多元謂詞 P(x1， x2， ……) 表示的關(guān)系。 王紅的汽車是“凱越”、紅色。 解： 其語義網(wǎng)絡(luò)表示如圖 217所示 45 表示二元關(guān)系 (2/3) Locatedat 中關(guān)村 理想公司 王強(qiáng) Workfor 經(jīng)理 Headship 28歲 Age 圖 218 經(jīng)理王強(qiáng)的語義網(wǎng)絡(luò) 例 29 用語義網(wǎng)絡(luò)表示： 王強(qiáng)是理想公司的經(jīng)理； 理想公司在中關(guān)村； 王強(qiáng) 28歲。 鳥是一種動物，鳥有翅膀、會飛。 復(fù)雜關(guān)系，可通過一些相對獨(dú)立的二元或一元關(guān)系的組合來實(shí)現(xiàn)。其中， x,y為實(shí)體， P為實(shí)體之間的關(guān)系。 例 用語義網(wǎng)絡(luò)表示“動物能運(yùn)動、會吃” 。其中，結(jié)點(diǎn)1表示實(shí)體，結(jié)點(diǎn) 2表示實(shí)體的性質(zhì)或?qū)傩缘?，弧表示語義關(guān)系。如，“雪是白的” 。謂詞 P說明實(shí)體的性質(zhì)、屬性等。常用的有： Locatedon： 含義為“