【正文】 117 演講完畢，謝謝觀看！ 。 OUT結(jié)點(diǎn)則指那些當(dāng)前無(wú)任何有效證實(shí)的節(jié)點(diǎn)。 114 在 TMS中，每一命題或規(guī)則均稱(chēng)為節(jié)點(diǎn)，且對(duì)任一節(jié)點(diǎn)，以下兩種狀態(tài)必居其一： IN 相信為真 OUT 不相信為真，或無(wú)理由相信為真，或當(dāng)前沒(méi)有可相信的理由。它用以協(xié)助其它推理程序維持系統(tǒng)的正確性，所以它的作用不是生成新的推理，而是在其它程序所產(chǎn)生的命題之間保持相容性。 112 一個(gè)安排會(huì)議程序：程序必須求解一個(gè)約束滿足問(wèn)題，即找出每個(gè)參加者都有空閑的開(kāi)會(huì)日期與時(shí)刻，并有可供開(kāi)會(huì)的房間。 缺省推理的定義 2：如果 X不能被證明，那么得結(jié)論 Y。構(gòu)造這種猜想稱(chēng)為缺省推理 (default reasoning)。 教學(xué)要求：了解缺省推理和正確性維持系統(tǒng) TMS的基本原理。 教學(xué)難點(diǎn)：無(wú)特別要求。本節(jié)簡(jiǎn)要介紹兩種非單調(diào)推理技術(shù)：缺省推理和正確性維持系統(tǒng) TMS。這樣就求得這個(gè)事實(shí)的可信度?？尚判员壤?r和可信度 c之間的關(guān)系可表示為 把各證據(jù)的可信性比例簡(jiǎn)單地相乘就可以求得這些證據(jù)所支持的事實(shí)的可信性比例。 109 這里介紹的只是基于概率的方法中的一種。如何根據(jù)證據(jù)的可信度求得事實(shí)的可信度 ? 與關(guān)于證據(jù)的可信度類(lèi)似，也有兩種方法，分別基于模糊集理論和概率理論。 (2)按照某種概率論的解釋?zhuān)覀兗僭O(shè)規(guī)則的條件部分的可信度 Cin和其結(jié)論部分的可信度Cout存在某種關(guān)系，這種關(guān)系可用來(lái)代表規(guī)則的不確定性。 以上規(guī)則表示，如果“啟動(dòng)器發(fā)生刺耳的噪聲”這事實(shí)完全肯定的可信度為 ，那么得出“這個(gè)啟動(dòng)器壞”的結(jié)論的可信度為 。它也是以賦予規(guī)則在 0和 1之間的系數(shù)的方法來(lái)表示的。但當(dāng)把單獨(dú)條件的可信度結(jié)合起來(lái)求取總的可信度時(shí)，它取決于各可信度的乘積。這種方法類(lèi)似于當(dāng)把幾根繩子連接起來(lái)使用時(shí)，總的繩子強(qiáng)度與強(qiáng)度最差的繩子的相同。 103 當(dāng)規(guī)則具有一個(gè)以上的條件時(shí)，就需要根據(jù)各條件的可信度來(lái)求得總條件部分的可信度。 1代表完全確定， 0代表完全不確定。 教學(xué)要求：了解不確定性的表示和推理方法。 教學(xué)難點(diǎn)：不確定性的推理。 101 不確定性推理 教學(xué)內(nèi)容：本節(jié)介紹兩種不確定性(uncertainty)，即關(guān)于證據(jù)的不確定性和關(guān)于結(jié)論的不確定性。由這些級(jí)別計(jì)算出的 Δ 值，表示一假設(shè)的級(jí)別與參加競(jìng)爭(zhēng)的最佳假設(shè)的級(jí)別之差。 100 工作過(guò)程 一次接受一串輸入，順序地處理，使其形成一個(gè)關(guān)于輸入的統(tǒng)一而相容的解釋。當(dāng)時(shí)間表沒(méi)有發(fā)現(xiàn)未解決的活動(dòng)記錄時(shí)，系統(tǒng)便停止執(zhí)行。這里，知識(shí)資源含有系統(tǒng)中專(zhuān)門(mén)領(lǐng)域的知識(shí)，而黑板則是一切 KS可以訪問(wèn)的公用數(shù)據(jù)結(jié)構(gòu)。它的思想比較簡(jiǎn)單。這樣，議程表方法便具有大系統(tǒng)中模塊化的一切優(yōu)點(diǎn)，而無(wú)相互隔離的缺點(diǎn)。這樣就使系統(tǒng)能夠選出從各方面都有充分證據(jù)的任務(wù)。 96 從組織大系統(tǒng)的觀點(diǎn)看，議程表方法的意義在于它允許幾個(gè)獨(dú)立模塊進(jìn)行通訊。 95 議程表 (agenda)是一個(gè)系統(tǒng)能夠執(zhí)行的任務(wù)表列。 教學(xué)方法：課堂教學(xué)。 教學(xué)重點(diǎn)：系統(tǒng)組織技術(shù)如何實(shí)現(xiàn)模塊之間的合作。 93 說(shuō)明 ： 請(qǐng)同學(xué)們課后認(rèn)真閱讀本部分內(nèi)容，并以此為參考進(jìn)行實(shí)驗(yàn)準(zhǔn)備！ 思考 ： 規(guī)則演繹系統(tǒng)和產(chǎn)生式系統(tǒng)有哪幾種推理方式 ?各自的特點(diǎn)為何 ? 94 系統(tǒng)組織技術(shù) 教學(xué)內(nèi)容：系統(tǒng)組織技術(shù)屬于高級(jí)搜索推理技術(shù)，能夠用于求解比較復(fù)雜的系統(tǒng)。這樣反復(fù)進(jìn)行推理，直到所有目標(biāo)均獲證明或者所有路徑都得到測(cè)試為止。若在總數(shù)據(jù)庫(kù)中，則該假設(shè)目標(biāo)成立；否則，若該假設(shè)為終葉（證據(jù)）節(jié)點(diǎn)，則詢(xún)問(wèn)用戶。 91 從表示目標(biāo)的謂詞或命題出發(fā)，使用一組產(chǎn)生式規(guī)則證明事實(shí)謂詞或命題成立，即首先提出一批假設(shè)目標(biāo)，然后逐一驗(yàn)證這些假設(shè)。系統(tǒng)利用這些事實(shí)與規(guī)則的前提相匹配，觸發(fā)匹配成功的規(guī)則，把其結(jié)論作為新的事實(shí)添加到總數(shù)據(jù)庫(kù)中。 90 產(chǎn)生式系統(tǒng)的推理 從一組表示事實(shí)的謂詞或命題出發(fā)，使用一組產(chǎn)生式規(guī)則，用以證明該謂詞公式或命題是否成立。 89 （ 3）操作 操作就是執(zhí)行規(guī)則的操作部分，經(jīng)過(guò)操作以后，當(dāng)前數(shù)據(jù)庫(kù)將被修改。在復(fù)雜的情況下，在數(shù)據(jù)庫(kù)和規(guī)則的條件部分之間可能要進(jìn)行近似匹配。當(dāng)按規(guī)則的操作部分去執(zhí)行時(shí)，稱(chēng)這條規(guī)則為啟用規(guī)則。 87 （ 1）匹配 在這一步，把當(dāng)前數(shù)據(jù)庫(kù)與規(guī)則的條件部分相匹配。 86 控制策略的作用是說(shuō)明下一步應(yīng)該選用什么規(guī)則，也就是如何應(yīng)用規(guī)則。 85 控制策略 為一推理機(jī)構(gòu)，由一組程序組成，用來(lái)控制產(chǎn)生式系統(tǒng)的運(yùn)行，決定問(wèn)題求解過(guò)程的推理線路，實(shí)現(xiàn)對(duì)問(wèn)題的求解。 84 產(chǎn)生式規(guī)則 是一個(gè)規(guī)則庫(kù)，用于存放與求解問(wèn)題有關(guān)的某個(gè)領(lǐng)域知識(shí)的規(guī)則之集合及其交換規(guī)則。例如在上述例子中，在得出該動(dòng)物是食肉動(dòng)物的結(jié)論之前，必須在總數(shù)據(jù)庫(kù)中存有“該動(dòng)物是哺乳動(dòng)物”和“該動(dòng)物吃肉”這兩個(gè)事實(shí)?？倲?shù)據(jù)庫(kù)是產(chǎn)生式規(guī)則的注意中心。 82 產(chǎn)生式系統(tǒng)的組成 產(chǎn)生式系統(tǒng)由 3個(gè)部分組成，即總數(shù)據(jù)庫(kù) (或全局?jǐn)?shù)據(jù)庫(kù) )、產(chǎn)生式規(guī)則和控制策略，如圖 。 81 ? 定義： 在基于規(guī)則系統(tǒng)中，每個(gè) if可能與某斷言 (assertion)集中的一個(gè)或多個(gè)斷言匹配，then部分用于規(guī)定放入工作內(nèi)存的新斷言。充分利用網(wǎng)絡(luò)課程中的多媒體素材來(lái)表示抽象概念。 教學(xué)方法：課堂教學(xué)和實(shí)驗(yàn)相結(jié)合。 教學(xué)重點(diǎn)：產(chǎn)生式系統(tǒng)與規(guī)則演繹系統(tǒng)的差別和產(chǎn)生式系統(tǒng)的組成。若能夠斷定在給定方法限度內(nèi)找不到證明時(shí)過(guò)程則以失敗告終。 在完成兩個(gè)圖間的所有可能匹配之后，目標(biāo)圖中根節(jié)點(diǎn)上的表達(dá)式是否已經(jīng)根據(jù)事實(shí)圖中根節(jié)點(diǎn)上的表達(dá)式和規(guī)則得到證明的問(wèn)題仍然需要判定。 79 組合演繹系統(tǒng)的主要復(fù)雜之處在于其終止條件，終止涉及兩個(gè)圖結(jié)構(gòu)之間的適當(dāng)交接處。 78 (正向和逆向 )組合演繹系統(tǒng)的構(gòu)成 正向和逆向組合系統(tǒng)是建立在兩個(gè)系統(tǒng)相結(jié)合的基礎(chǔ)上的。逆向演繹系統(tǒng)能夠處理任意形式的 then表達(dá)式，但被限制在 if表達(dá)式為文字合取組成的一些表達(dá)式。 （ 3）作為終止條件的事實(shí)節(jié)點(diǎn)的一致解圖 逆向系統(tǒng)成功的終止條件是與或圖包含有某個(gè)終止在事實(shí)節(jié)點(diǎn)上的一致解圖。不過(guò)，我們現(xiàn)在把這些 B規(guī)則限制為 W→L () 形式的表達(dá)式。首先，采用與變換事實(shí)表達(dá)式同樣的過(guò)程，把目標(biāo)公式化成與或形。 75 規(guī)則逆向演繹系統(tǒng) 定義 基于規(guī)則的逆向演繹系統(tǒng)，其操作過(guò)程與正向演繹系統(tǒng)相反，即為從目標(biāo)到事實(shí)的操作過(guò)程，從 then到 if的推理過(guò)程。用文字集表示此目標(biāo)公式，并設(shè)該集各元都為析取關(guān)系。 74 （ 4）作為終止條件的目標(biāo)公式 應(yīng)用 F規(guī)則的目的在于從某個(gè)事實(shí)公式和某個(gè)規(guī)則集出發(fā)來(lái)證明某個(gè)目標(biāo)公式。這個(gè)子句集包括在 F(L)的子句形和 L=W的子句形間對(duì) L進(jìn)行所有可能的消解而得到的整集。 F(W)是用 W代替 F中的所有 L而得到的。 73 將這類(lèi)規(guī)則應(yīng)用于與或圖進(jìn)行推演。 72 （ 3）與或圖的 F規(guī)則變換 這些規(guī)則是建立在某個(gè)問(wèn)題轄域中普通陳述性知識(shí)的蘊(yùn)涵公式基礎(chǔ)上的。 71 一般把事實(shí)表達(dá)式的與或圖表示倒過(guò)來(lái)畫(huà)，即把根節(jié)點(diǎn)畫(huà)在最下面，而把其后繼節(jié)點(diǎn)往上畫(huà)。 注意：我們不想把這些事實(shí)化為子句形，而是把它們表示為謂詞演算公式，并把這些公式變換為叫做與或形的非蘊(yùn)涵形式。 68 正向推理過(guò)程 （ 1）事實(shí)表達(dá)式的與或形變換 把事實(shí)表示為非蘊(yùn)涵形式的與或形，作為系統(tǒng)的總數(shù)據(jù)庫(kù)。在這種系統(tǒng)中，通常稱(chēng)每個(gè) if部分為前項(xiàng) (antecedent)，稱(chēng)每個(gè) then部分為后項(xiàng) (consequent)。在許多基于規(guī)則系統(tǒng)中， then部分用于規(guī)定放入工作內(nèi)存的新斷言。 在所有基于規(guī)則系統(tǒng)中，每個(gè) if可能與某斷言 (assertion)集中的一個(gè)或多個(gè)斷言匹配。 教學(xué)要求：掌握規(guī)則演繹系統(tǒng)的定義和正向推理、逆向推理的過(guò)