人工智能第四章基于知識(shí)的系統(tǒng)69(參考版)
2025-02-22 15:25本頁面
【正文】 新一代 KB系統(tǒng)技術(shù)這兩節(jié)有興趣自己看，了解一下！本章小結(jié)演講完畢，謝謝觀看！。n 每個(gè) KS包括三個(gè)部分：觸發(fā)模式、直接碼和體。n 用黑板法組織問題求解首先出現(xiàn)于 70年代對(duì)取名為 HEARSAYⅡ 的口語理解系統(tǒng)的研究。任務(wù)推理模塊優(yōu)先級(jí)理由表事務(wù)表n 事務(wù)表 (Agenda)是一張應(yīng)由系統(tǒng)執(zhí)行的事務(wù)的列表，也稱任務(wù)表，是面向動(dòng)作的問題求解組織方式之一。前者面向 怎么做 知識(shí)的組織，后者面向 是什么 知識(shí)的組織。n 模塊化的一個(gè)重要議題就是如何協(xié)調(diào)模塊在問題求解過程中的相互合作。 n 單一的表示形式。 n 選擇規(guī)則的低效性。結(jié)構(gòu)化組織的要求n 表示和組合應(yīng)用領(lǐng)域知識(shí)的最簡單策略，是把問題求解所用的全部知識(shí)統(tǒng)統(tǒng)表示為 規(guī)則 ，利用規(guī)則搜索從問題求解的初始狀態(tài)到目標(biāo)狀態(tài)的路徑。n 問題求解行為是通過目標(biāo)集和動(dòng)作集加以刻畫的，知識(shí)作為關(guān)聯(lián)動(dòng)作到目標(biāo)的媒介，基于簡單的合理性原則。問題求解的結(jié)構(gòu)化組織n 原因：傳統(tǒng)的知識(shí)表示技術(shù)與人組織問題求解的思維方式嚴(yán)重失配。n CLOT： 1980年，用于診斷血液凝結(jié)系統(tǒng)的疾病；n DART： 1981年，用于診斷 IBM計(jì)算機(jī)遠(yuǎn)程處理系統(tǒng)中出現(xiàn)的軟件和硬件故障。n SACON： 1979年，面向機(jī)械結(jié)構(gòu)分析； 對(duì)象 :=:=:=條件 動(dòng)作])前提 動(dòng)作 前提 := n D就會(huì)產(chǎn)生這種不一致問題。????顯然，讓系統(tǒng)自動(dòng)發(fā)現(xiàn)該問題是容易的。172。B的情況下，增加新規(guī)則 An 單一規(guī)則的不一致n 在知識(shí)庫包含規(guī)則 A?172。B究竟保存哪條規(guī)則于知識(shí)庫取決于是否存在這樣的情況： AD。CB： ABA 知識(shí)庫維護(hù)n MYCIN系統(tǒng)知識(shí)庫中包含的推理規(guī)則，盡管形式上相互獨(dú)立，但語義上卻相互關(guān)聯(lián)，并由此形成推理樹。n 復(fù)雜性 用以指示為理解 知識(shí)單元，需要用戶自身具備的知識(shí)水平。n WHYNOT: 醫(yī)生詢問某條規(guī)則為何未被使用，系統(tǒng)的解釋通常是該規(guī)則的前提不能滿足。推理解釋n WHY: 主要用于推理過程中系統(tǒng)請(qǐng)求醫(yī)生提供觀測(cè)數(shù)據(jù)時(shí)。n 知識(shí)庫中已包含一組治療規(guī)則，每條規(guī)則為一種病菌制定一個(gè)藥物治療方案。FINDOUT的程序流程不確定推理n 鑒于推理過程生成了與或推理樹， MYCIN的不確定推理既要處理 CF沿推理鏈的傳遞，又要處理 CF的與或組合。 n MYCIN系統(tǒng)通過兩個(gè)相互調(diào)用的程序MONITOR和 FINDOUT去推進(jìn)整個(gè)推理（咨詢）過程。n 規(guī)則鏈的形成導(dǎo)致推理樹（或稱目標(biāo)樹）的建立 n 以建立病人的治療方案 (REGIMEN)為目標(biāo)，激活上述規(guī)則 092。 規(guī)則 092? 如果： 1）存在一種病原體需要治療，且???? 2）可能存在其它需要治療的病原體，盡管它們尚未從目前的培養(yǎng)物中分離出來；? 那么： 1）依據(jù)病原體對(duì)藥物的敏感情況，制定能有效抑制這些病原體的治療方案（可以有多個(gè)），且???? 2）從中制定最佳的綜合治療方案；? 否則： 病人不必治療。推理機(jī)的設(shè)計(jì) 4）病原體的形態(tài)為桿狀，且???? 5）病人被燒傷；? 那么：該病原體的身份應(yīng)鑒別為假單胞細(xì)菌，且可信度為 。TALLYIDENT(CONCLUDEACTIONT))CNTXTMORPH(SAMEGRAMNEG)???????? CNTXTCNTXTSITE(SAMEPREMISE047TALLY屬性 值 )n (CONCLUDE對(duì)象 {簡單條件 }+）。簡單條件 {動(dòng)作 }+條件 {條件 }+)???? PREMISERULEn 規(guī)則 n 從 KB系統(tǒng)的組成來看，規(guī)則庫就是 MYCIN的知識(shí)庫 ，綜合數(shù)據(jù)庫和控制系統(tǒng)聯(lián)合形成 推理機(jī) 。n 圍繞著 MYCIN的各種研究工作一直延續(xù)了 10年，對(duì)于推動(dòng)知識(shí)工程以及專家系統(tǒng)學(xué)科的建立和發(fā)展具有重要影響。專家系統(tǒng)實(shí)例 ——MYCINn MYCIN是一個(gè)通過提供咨詢服務(wù)來幫助普通內(nèi)科醫(yī)生診治細(xì)菌感染性疾病的專家系統(tǒng)，其于 1972年開始研制， 74年基本完成，并投入實(shí)際應(yīng)用。n 優(yōu)點(diǎn)體現(xiàn)在能夠定制控制要求以適應(yīng)于問題特征和更有效地求解問題，也有利于知識(shí)庫維護(hù)；n 缺點(diǎn)體現(xiàn)在要求專家系統(tǒng)開發(fā)者具有一定的技術(shù)水平，無經(jīng)驗(yàn)的開發(fā)者會(huì)感覺到難以使用。定制建立在二個(gè)重要概念的基礎(chǔ)上： 目標(biāo)模式 和 控制元素 。{AncestorsRequest^Target^TypeNIL)）來表示；n OPS5中規(guī)則前提部分的模式則以帶變量的類實(shí)例（對(duì)象）來實(shí)現(xiàn)更為方便和緊湊的表示。(EQUAL3）規(guī)則條件n 規(guī)則條件部分匹配模式中的模式變量常會(huì)受到一些值束縛限制，例如要求模式變量 ?X非空。 OPS5以 LITERALIZE格式定義類。Jeremy)指示屬性名2)^Parents^Sex^Age^NamePenelopePenelopeJessica(Parents}+）n 例如 Xps用一組事實(shí)元素來描述某個(gè)人 Penelope：?? 屬性 {n Xps較好地模仿了 OPS5的實(shí)現(xiàn)，主要差別在下面三個(gè)方面。n 能提供比骨架型工具更為通用的推理控制機(jī)制和知識(shí)表示語言去適應(yīng)于較寬范圍的應(yīng)用領(lǐng)域，尤其是專家系統(tǒng)開發(fā)者可以通過 OPS5的表示語言去設(shè)計(jì)特別的控制要求。n Xps的主要功能與 OPS5相當(dāng)，推理控制機(jī)制也相同；主要區(qū)別在于知識(shí)表示形式和內(nèi)部存儲(chǔ)方式。n （ 2）記載規(guī)則的部分滿足狀態(tài)。 n 對(duì) Xps作以下改進(jìn)：n （ 1）將規(guī)則條件部分的匹配模式置于另一樹狀層次索引網(wǎng)，并記載匹配模式在規(guī)則條件部分中的排列次序和模式變量束縛值。n 改進(jìn)： Xps應(yīng)設(shè)計(jì)成不是每個(gè)循環(huán)重新生成一個(gè)沖突集，而是始終保持一個(gè) 全局沖突集 。n 每個(gè)識(shí)別 行動(dòng)循環(huán)都重新生成一個(gè)沖突集，但系統(tǒng)只從中選一個(gè)規(guī)則激活例執(zhí)行，其余規(guī)則激活例全部拋棄。Stephanie)Homer)18. (RequestMaryElizabeth)17. (RequestJason)16. (RequestLoree)15. (RequestSteven)14. (RequestJenny)13. (RequestJere
數(shù)學(xué)相關(guān)推薦
鄂ICP備17016276號(hào)-1