人工智能課件2

人工智能及其應(yīng)用第二章知識(shí)表示與推理人工智能及其應(yīng)用第二章知識(shí)表示與推理目錄知識(shí)表示的一般方法圖搜索策略一般搜索與推理技術(shù)A*算法消解原理規(guī)則演繹系統(tǒng)產(chǎn)生式系統(tǒng)系統(tǒng)組織技術(shù)目錄知識(shí)表示的一般方法2.1知識(shí)表示的一般方法每種以符號(hào)和邏輯為基礎(chǔ)的智能系統(tǒng)，其問(wèn)題求解方法都需要某種對(duì)解答的搜索。在搜索之前，必須先用某種方法或某幾種方法的混合來(lái)表示問(wèn)題。對(duì)同一問(wèn)題可以有不同的表示方法，問(wèn)題表示的優(yōu)劣，對(duì)求解結(jié)果及求解工程量的影響甚大。問(wèn)題求解大多采用試控搜索的方法，即通過(guò)在某個(gè)可能的解空間內(nèi)尋找一個(gè)解來(lái)求解問(wèn)題。使用行之有效的知識(shí)表示方法解決所面臨的問(wèn)題。2.1知識(shí)表示的一般方法每種以符號(hào)和邏輯為基礎(chǔ)的智能系統(tǒng)，2.1.1

狀態(tài)空間法一種基于解答空間的問(wèn)題表示和求解方法，是以狀態(tài)和操作符為基礎(chǔ)的。方法：從某個(gè)初始狀態(tài)開(kāi)始，每次加一個(gè)操作符，遞增地建立起操作符的試驗(yàn)序列，直到達(dá)到目標(biāo)狀態(tài)為止。由于狀態(tài)空間法需要擴(kuò)展過(guò)多的節(jié)點(diǎn)，容易出現(xiàn)“組合爆炸”，因而只適用于表示比較簡(jiǎn)單的問(wèn)題。2.1.1狀態(tài)空間法一種基于解答空間的問(wèn)題表示和求解方法，2.1.1狀態(tài)空間法狀態(tài)：描述某類不同事物間的差別而引入的一組最少變量q0，q1，…，qn的有序集合。矢量形式：式中每個(gè)元素為集合的分量，稱為狀態(tài)變量。給定每個(gè)分量的一組值就得到一個(gè)具體的狀態(tài)，如：操作符：使問(wèn)題從一種狀態(tài)描述變化為另一種狀態(tài)描述的運(yùn)算。操作符可為走步、過(guò)程、規(guī)則、數(shù)學(xué)算子、運(yùn)算符號(hào)或邏輯符號(hào)等。2.1.1狀態(tài)空間法狀態(tài)：描述某類不同事物間的差別而引入的2.1.1狀態(tài)空間法三數(shù)碼難題（3PuzzleProblem）2.1.1狀態(tài)空間法三數(shù)碼難題（3PuzzleProbl2.1.1狀態(tài)空間法對(duì)一個(gè)問(wèn)題的狀態(tài)描述，必須確定

3

件事：1.該狀態(tài)描述的方式，特別是初始狀態(tài)描述；2.算符集合及其對(duì)狀態(tài)描述的作用；3.目標(biāo)狀態(tài)描述的特性。2.1.1狀態(tài)空間法對(duì)一個(gè)問(wèn)題的狀態(tài)描述，必須確定3件事2.1.1狀態(tài)空間法狀態(tài)圖示法：是一個(gè)表示該問(wèn)題全部可能狀態(tài)及其關(guān)系的圖，它包含三種說(shuō)明的集合，即三元狀態(tài)（S，F(xiàn)，G）。S：

初始狀態(tài)集合；F：

操作符集合；G：目標(biāo)狀態(tài)集合。2.1.1狀態(tài)空間法狀態(tài)圖示法：是一個(gè)表示該問(wèn)題全部可能狀2.1.1狀態(tài)空間法有向圖

(directedgraph)圖：由節(jié)點(diǎn)（不一定是有限的節(jié)點(diǎn)）的集合構(gòu)成。有向圖：是指圖中的一對(duì)節(jié)點(diǎn)用弧線連接起來(lái)，從一個(gè)節(jié)點(diǎn)指向另一個(gè)節(jié)點(diǎn)。路徑某個(gè)節(jié)點(diǎn)序列（）當(dāng)j=2，3，……，k時(shí)，如果對(duì)于每一個(gè)都有一個(gè)后繼節(jié)點(diǎn)存在，那么就把這個(gè)節(jié)點(diǎn)序列叫做從節(jié)點(diǎn)至節(jié)點(diǎn)

的長(zhǎng)度為k的路徑。2.1.1狀態(tài)空間法有向圖(directedgraph)2.1.1狀態(tài)空間法尋求一種狀態(tài)變換為另一種狀態(tài)的某個(gè)算符序列問(wèn)題等價(jià)于尋求圖的某一路徑問(wèn)題。代價(jià)從節(jié)點(diǎn)指向節(jié)點(diǎn)的那段弧線的指定數(shù)值/費(fèi)用。用表示。兩節(jié)點(diǎn)間路徑的代價(jià)等于連接該路徑上各節(jié)點(diǎn)的所有弧線代價(jià)之和。最優(yōu)化問(wèn)題，即找到兩節(jié)點(diǎn)間具有最小代價(jià)的路徑。2.1.1狀態(tài)空間法尋求一種狀態(tài)變換為另一種狀態(tài)的某個(gè)算符序2.1.1狀態(tài)空間法問(wèn)題求解：即求某指定節(jié)點(diǎn)S（初始狀態(tài)）與另一節(jié)點(diǎn)T（目標(biāo)狀態(tài)）之間的一條路徑。求得節(jié)點(diǎn)S與節(jié)點(diǎn)集合中任一節(jié)點(diǎn)之間的距離。求得節(jié)點(diǎn)集合中任一節(jié)點(diǎn)與節(jié)點(diǎn)集合中任一節(jié)點(diǎn)之間的路徑。112.1.1狀態(tài)空間法問(wèn)題求解：即求某指定節(jié)點(diǎn)S（初始狀態(tài)）與2.1.1狀態(tài)空間法猴子和香蕉問(wèn)題2.1.1狀態(tài)空間法猴子和香蕉問(wèn)題2.1.1狀態(tài)空間法用一個(gè)四元表列（W，x，Y，z））來(lái)表示問(wèn)題狀態(tài)。操作（算符）：1.goto（U）表示猴子走到水平位置U或者用產(chǎn)生式規(guī)則表示為:2.pushbox（V）猴子把箱子推到水平位置V，即有:2.1.1狀態(tài)空間法用一個(gè)四元表列（W，x，Y，z））來(lái)表示2.1.1狀態(tài)空間法3.climbbox猴子爬上箱頂，即有：4.grasp猴子摘到香蕉，即有：該初始狀態(tài)變換為目標(biāo)狀態(tài)的操作序列為：

{goto(b),pushbox(c),climbbox,grasp}2.1.1狀態(tài)空間法3.climbbox猴子爬上箱頂，即有：人工智能課件22.1.2問(wèn)題歸約法從目標(biāo)（要解決的問(wèn)題）出發(fā)，逆向推理，通過(guò)一系列變化把初始問(wèn)題變換為子問(wèn)題集合和子子問(wèn)題集合，直至最后歸約為一個(gè)平凡的本原問(wèn)題集合。這些本原問(wèn)題的解可以直接得到，從而解決了初始問(wèn)題。比狀態(tài)空間法更有效地表示問(wèn)題。狀態(tài)空間法是問(wèn)題歸約法的一種特例。問(wèn)題歸約法的與或圖中包含與節(jié)點(diǎn)和或節(jié)點(diǎn)，而狀態(tài)空間法的狀態(tài)圖示法只含有或節(jié)點(diǎn)。2.1.2問(wèn)題歸約法從目標(biāo)（要解決的問(wèn)題）出發(fā)，逆向推理2.1.2問(wèn)題歸約法2.1.2問(wèn)題歸約法2.1.2問(wèn)題歸約法梵塔難題把所有的圓盤(pán)都移動(dòng)到柱子3上。每次只能移動(dòng)一個(gè)圓盤(pán)。只能先搬動(dòng)柱子頂部的圓盤(pán)。不允許把較大的圓盤(pán)放在較小的圓盤(pán)上。2.1.2問(wèn)題歸約法梵塔難題2.1.2問(wèn)題歸約法2.1.2問(wèn)題歸約法2.1.2問(wèn)題歸約法原始的樊塔問(wèn)題歸約為一個(gè)較為簡(jiǎn)單的問(wèn)題集合，其方法之一為：要把所有圓盤(pán)都移至柱子3，首先需把圓盤(pán)C移至柱子3，而且在移動(dòng)圓盤(pán)C至柱子3之前，柱子3必須是空的。需把圓盤(pán)A和B移動(dòng)至柱子2之后，才能移動(dòng)圓盤(pán)C。把圓盤(pán)C從柱子1移至柱子3，并繼續(xù)解決難題的其余部分。2.1.2問(wèn)題歸約法原始的樊塔問(wèn)題歸約為一個(gè)較為簡(jiǎn)單的問(wèn)題2.1.2問(wèn)題歸約法把原始難題歸約（簡(jiǎn)化）為下列三個(gè)子難題移動(dòng)圓盤(pán)A和B至柱子2的雙圓盤(pán)難題移動(dòng)圓盤(pán)C至柱子3的單圓盤(pán)難題（本原問(wèn)題）移動(dòng)圓盤(pán)A和B至柱子3的雙圓盤(pán)難題2.1.2問(wèn)題歸約法把原始難題歸約（簡(jiǎn)化）為下列三個(gè)子難題2.1.2問(wèn)題歸約法與或圖2.1.2問(wèn)題歸約法與或圖2.1.2問(wèn)題歸約法2.1.2問(wèn)題歸約法2.1.2問(wèn)題歸約法父節(jié)點(diǎn)，一個(gè)初始問(wèn)題或是可分解為子問(wèn)題的問(wèn)題節(jié)點(diǎn)；子節(jié)點(diǎn)，一個(gè)初始問(wèn)題或是子問(wèn)題分解的子問(wèn)題節(jié)點(diǎn)；或節(jié)點(diǎn)，只要解決某個(gè)問(wèn)題就可解決其父輩問(wèn)題的節(jié)點(diǎn)集合；與節(jié)點(diǎn)，只有解決所有子問(wèn)題，才能解決其父輩問(wèn)題的節(jié)點(diǎn)集合；弧線，是父輩節(jié)點(diǎn)指向子節(jié)點(diǎn)的圓弧連線；終葉節(jié)點(diǎn)，是對(duì)應(yīng)于原問(wèn)題的本原節(jié)點(diǎn)。2.1.2問(wèn)題歸約法父節(jié)點(diǎn)，一個(gè)初始問(wèn)題或是可分解為子問(wèn)題的2.1.2問(wèn)題歸約法可解節(jié)點(diǎn)1.終葉節(jié)點(diǎn)是可解節(jié)點(diǎn)（因?yàn)樗鼈兣c本原問(wèn)題相關(guān)連）。2.如果某個(gè)非終葉節(jié)點(diǎn)含有或后繼節(jié)點(diǎn)，那么只有當(dāng)其后繼節(jié)點(diǎn)至少有一個(gè)是可解的時(shí)，此非終葉節(jié)點(diǎn)才是可解的。3.如果某個(gè)非終葉節(jié)點(diǎn)含有與后繼節(jié)點(diǎn)，那么只要當(dāng)其后繼節(jié)點(diǎn)全部為可解時(shí)，此非終葉節(jié)點(diǎn)才是可解的。不可解節(jié)點(diǎn)1.沒(méi)有后裔的非終葉節(jié)點(diǎn)為不可解節(jié)點(diǎn)。2.全部后裔為不可解的非終葉節(jié)點(diǎn)且含有為或后繼節(jié)點(diǎn)，此非終葉節(jié)點(diǎn)才是不可解的。3.后裔至少有一個(gè)為不可解的非終葉節(jié)點(diǎn)且含有與后繼節(jié)點(diǎn)，此非終葉節(jié)點(diǎn)才是不可解的。2.1.2問(wèn)題歸約法可解節(jié)點(diǎn)2.1.2問(wèn)題歸約法2.1.2問(wèn)題歸約法2.1.2問(wèn)題歸約法與或圖構(gòu)成規(guī)則與或圖中所含起始節(jié)點(diǎn)對(duì)應(yīng)于原始問(wèn)題。終葉節(jié)點(diǎn)對(duì)應(yīng)于本原問(wèn)題的節(jié)點(diǎn)。將某一算符作用于問(wèn)題A，其目的是把問(wèn)題A變換為一個(gè)子問(wèn)題集合；有向弧線自A指向后繼節(jié)點(diǎn)，表示所求得的子問(wèn)題（或子問(wèn)題集合）。一般對(duì)于代表兩個(gè)或兩個(gè)以上子問(wèn)題集合的節(jié)點(diǎn)，有向弧線就需從此節(jié)點(diǎn)指向此子問(wèn)題集合中的每個(gè)節(jié)點(diǎn)。2.1.2問(wèn)題歸約法與或圖構(gòu)成規(guī)則2.1.2問(wèn)題歸約法樊塔問(wèn)題與或圖2.1.2問(wèn)題歸約法樊塔問(wèn)題與或圖2.1.2問(wèn)題歸約法樊塔問(wèn)題狀態(tài)空間法2.1.2問(wèn)題歸約法樊塔問(wèn)題狀態(tài)空間法2.1.2問(wèn)題歸約法猴子和香蕉問(wèn)題與或圖2.1.2問(wèn)題歸約法猴子和香蕉問(wèn)題與或圖2.1.2問(wèn)題歸約法2.1.2問(wèn)題歸約法2.1.3謂詞邏輯法一種形式語(yǔ)言，能夠把數(shù)學(xué)中的邏輯論證符號(hào)化。采用謂詞合式公式和一階謂詞演算把要解決的問(wèn)題變?yōu)橐粋€(gè)有待證明的問(wèn)題，然后采用消解定理和消解反演來(lái)證明一個(gè)新語(yǔ)句是從已知的正確語(yǔ)句導(dǎo)出的，從而證明這個(gè)新語(yǔ)句也是正確的。常與其他方法混合使用，表示比較復(fù)雜的問(wèn)題。2.1.3謂詞邏輯法一種形式語(yǔ)言，能夠把數(shù)學(xué)中的邏輯論證符2.1.4語(yǔ)義網(wǎng)絡(luò)法一種結(jié)構(gòu)化表示方法。由節(jié)點(diǎn)和弧線或鏈線組成。節(jié)點(diǎn)：表示物體、概念和狀態(tài)?；【€：表示節(jié)點(diǎn)間的關(guān)系。語(yǔ)義網(wǎng)絡(luò)的解答是一個(gè)經(jīng)過(guò)推理和匹配而得到的具有明確結(jié)果的新的語(yǔ)義網(wǎng)絡(luò)?？杀硎径嘣P(guān)系，擴(kuò)展后可表示更復(fù)雜的問(wèn)題。2.1.4語(yǔ)義網(wǎng)絡(luò)法一種結(jié)構(gòu)化表示方法。2.1.5框架一種結(jié)構(gòu)化表示方法。通常由指定事物各個(gè)方面的槽組成，每個(gè)槽擁有若干個(gè)側(cè)面，而每個(gè)側(cè)面又擁有若干個(gè)值。大多數(shù)實(shí)用系統(tǒng)必須同時(shí)使用許多框架，可聯(lián)成一個(gè)框架系統(tǒng)。劇本是框架的一種特殊形式，使用一組槽來(lái)描述事件的發(fā)生序列，特別適用于描述順序性動(dòng)作或事件。2.1.5框架一種結(jié)構(gòu)化表示方法。2.1.6過(guò)程一種知識(shí)的過(guò)程式表示方法。將某一有關(guān)問(wèn)題領(lǐng)域知識(shí)與這些使用方法一起，隱式地表示為一個(gè)問(wèn)題求解過(guò)程。用程序來(lái)描述問(wèn)題，具有很高的問(wèn)題求解效率。由于知識(shí)隱含在程序中難以操作，適用范圍較窄。2.1.6過(guò)程一種知識(shí)的過(guò)程式表示方法。2.2圖搜索策略搜索過(guò)程既是一個(gè)問(wèn)題求解的過(guò)程。搜索過(guò)程可采用適當(dāng)?shù)乃阉骷夹g(shù)，如各種規(guī)則、過(guò)程和算法等推理技術(shù)，力求找到問(wèn)題的解答。圖搜索策略可看成是一種在圖中尋找路徑的方法。圖搜索策略最終生成一個(gè)明確的搜索圖（圖G）和搜索樹(shù)（G的一個(gè)子集T）。2.2圖搜索策略搜索過(guò)程既是一個(gè)問(wèn)題求解的過(guò)程。2.2圖搜索策略從某王姓家族的四代中找王A的后代且其壽命為X=57的人。2.2圖搜索策略從某王姓家族的四代中找王A的后代且其壽命為2.2圖搜索策略建立一個(gè)只含有起始節(jié)點(diǎn)S的搜索圖G，把S放到一個(gè)叫做OPEN的未擴(kuò)展節(jié)點(diǎn)表中。建立一個(gè)叫做CLOSED的已擴(kuò)展節(jié)點(diǎn)表，其初始為空表。LOOP：若OPEN表是空表，則失敗退出。選擇OPEN表上的第一個(gè)節(jié)點(diǎn)，把它從OPEN表移出并放進(jìn)CLOSED表中。稱此節(jié)點(diǎn)為節(jié)點(diǎn)n。若n為一目標(biāo)節(jié)點(diǎn)，則有解并成功退出，此解是搜索圖G中沿著指針從n到S這條路徑而得到（指針將在第7步中設(shè)置）。2.2圖搜索策略建立一個(gè)只含有起始節(jié)點(diǎn)S的搜索圖G，把S2.2圖搜索策略擴(kuò)展節(jié)點(diǎn)n，同時(shí)生成不是n的祖先的那些后繼節(jié)點(diǎn)的集合M。把M的這些成員作為n的后繼節(jié)點(diǎn)添入圖G中。對(duì)那些未曾在G中出現(xiàn)過(guò)的（既未曾在OPEN表上或CLOSED表上出現(xiàn)過(guò)的）M成員設(shè)置一個(gè)通向n的指針，把M的這些成員加進(jìn)OPEN表。對(duì)已經(jīng)在OPEN或CLOSED表上的每一個(gè)M成員，確定是否需要更改通到n的指針?lè)较?。?duì)已在CLOSED表上的每個(gè)M成員，確定是否需要更改圖G中通向它的每個(gè)后裔節(jié)點(diǎn)的指針?lè)较颉０茨骋蝗我夥绞交虬茨硞€(gè)探試值，重排OPEN表。GOLOOP

2.2圖搜索策略擴(kuò)展節(jié)點(diǎn)n，同時(shí)生成不是n的祖先的那些后繼CLOSED中的節(jié)點(diǎn)是搜索樹(shù)中的非端節(jié)點(diǎn)OPEN中的節(jié)點(diǎn)是搜索樹(shù)上未被擴(kuò)展的節(jié)點(diǎn)決定該過(guò)程是盲目搜索還是啟發(fā)式搜索CLOSED中的節(jié)點(diǎn)是搜索樹(shù)中的非端節(jié)點(diǎn)OPEN中的節(jié)點(diǎn)是搜2.2圖搜索策略將牌移入空格的順序：從空格左邊開(kāi)始順時(shí)針旋轉(zhuǎn)。不許斜向移動(dòng)，也不返回先輩節(jié)點(diǎn)。從圖可見(jiàn)，要擴(kuò)展26個(gè)節(jié)點(diǎn)，共生成46個(gè)節(jié)點(diǎn)之后才求得解（目標(biāo)節(jié)點(diǎn)）。2.2圖搜索策略將牌移入空格的順序：人工智能課件22.3一般搜索與推理技術(shù)啟發(fā)式搜索：特點(diǎn)：運(yùn)用啟發(fā)信息，引用某些準(zhǔn)則或經(jīng)驗(yàn)來(lái)重新排列OPEN表中節(jié)點(diǎn)的順序，使搜索沿著某個(gè)被認(rèn)為最有希望的前沿區(qū)段擴(kuò)展。關(guān)鍵點(diǎn)：正確選擇估價(jià)函數(shù)，以尋求最小代價(jià)路徑或解樹(shù)。方法：有序搜索（最好優(yōu)先搜索）最優(yōu)搜索A*算法AO*算法2.3一般搜索與推理技術(shù)啟發(fā)式搜索：2.3一般搜索與推理技術(shù)盲目搜索：“盲目”窮舉，不重排OPEN表寬度優(yōu)先搜索：搜索效率次之；深度優(yōu)先搜索：搜索效率較差；等代價(jià)搜索（有界深度優(yōu)先搜索）：具有一定的啟發(fā)性，搜索效率較高，但可能丟失某些解。2.3一般搜索與推理技術(shù)盲目搜索：“盲目”窮舉，不重排OP2.3一般搜索與推理技術(shù)高級(jí)求解系統(tǒng)規(guī)則演繹系統(tǒng)：采用if-then規(guī)則來(lái)求解問(wèn)題。又分為正向、逆向和雙向規(guī)則演繹系統(tǒng)。產(chǎn)生式系統(tǒng)：由總數(shù)據(jù)庫(kù)、產(chǎn)生式規(guī)則和控制策略三部分組成，也分為正向、逆向和雙向推理三種形式。系統(tǒng)組織技術(shù)將一個(gè)大系統(tǒng)或復(fù)雜系統(tǒng)中的知識(shí)劃分為一組相對(duì)獨(dú)立的模塊，然后考慮各子模塊在求解時(shí)的合作問(wèn)題。2.3一般搜索與推理技術(shù)高級(jí)求解系統(tǒng)2.4A*算法一種有序搜索算法，總是選擇估價(jià)函數(shù)值最小的節(jié)點(diǎn)作為擴(kuò)展節(jié)點(diǎn)。定義：任一節(jié)點(diǎn)上函數(shù)值表示從節(jié)點(diǎn)S開(kāi)始約束通過(guò)節(jié)點(diǎn)n的一條最佳路徑的代價(jià)。

表示從節(jié)點(diǎn)S到節(jié)點(diǎn)n的一條最佳路徑的實(shí)際代價(jià)。

表示從節(jié)點(diǎn)n到某目標(biāo)節(jié)點(diǎn)的一條最佳路徑的代價(jià)。2.4A*算法一種有序搜索算法，總是選擇估價(jià)函數(shù)值最小的節(jié)2.4A*算法希望估價(jià)函數(shù)是的一個(gè)估計(jì)。是的估計(jì)，表示用搜索算法找到的從節(jié)點(diǎn)S到節(jié)點(diǎn)n的最小代價(jià)路徑，并且是的估計(jì)，依賴于有關(guān)問(wèn)題領(lǐng)域的啟發(fā)信息，因此又叫做啟發(fā)函數(shù)。2.4A*算法希望估價(jià)函數(shù)是的一個(gè)估計(jì)。2.4A*算法2.4A*算法2.5消解原理采用謂詞演算方法求解問(wèn)題時(shí)，首先把要解決的問(wèn)題表示為一個(gè)待證明的問(wèn)題，然后采用消解原理和消解反演過(guò)程來(lái)證明該問(wèn)題。消解原理：采用推理規(guī)則進(jìn)行正向搜索，最終證明該問(wèn)題（定理）成立。消解反演過(guò)程：采用反演方法來(lái)證明某個(gè)定理的否定是不成立的，從而證明該定理必定是成立的。2.5消解原理采用謂詞演算方法求解問(wèn)題時(shí)，首先把要解決的問(wèn)2.6產(chǎn)生式系統(tǒng)由Post于1943年提出的產(chǎn)生式規(guī)則而得名。美國(guó)紐厄爾和西蒙于1965年利用這個(gè)原理建立了一個(gè)人類的認(rèn)知模型。斯坦福大學(xué)利用產(chǎn)生式系統(tǒng)結(jié)構(gòu)設(shè)計(jì)出第一個(gè)專家系統(tǒng)DENDRAL。2.6產(chǎn)生式系統(tǒng)由Post于1943年提出的產(chǎn)生式規(guī)則而得2.6產(chǎn)生式系統(tǒng)產(chǎn)生式系統(tǒng)用來(lái)描述若干個(gè)不同的以一個(gè)基本概念（產(chǎn)生式條件和操作對(duì)）為基礎(chǔ)的系統(tǒng)。產(chǎn)生式系統(tǒng)中，論域被分為2部分：用事實(shí)表示靜態(tài)知識(shí)，如事物、事件和它們之間的關(guān)系；用產(chǎn)生式規(guī)則表示推理過(guò)程和行為。求解效率低和無(wú)法表示結(jié)構(gòu)性知識(shí)，不適用于求解復(fù)雜系統(tǒng)。2.6產(chǎn)生式系統(tǒng)產(chǎn)生式系統(tǒng)用來(lái)描述若干個(gè)不同的以一個(gè)基本概2.6.1產(chǎn)生式系統(tǒng)組成總數(shù)據(jù)庫(kù)：綜合數(shù)據(jù)庫(kù)，用于存放求解過(guò)程中各種當(dāng)前信息的數(shù)據(jù)結(jié)構(gòu)，如問(wèn)題的初始狀態(tài)、事實(shí)或證據(jù)、中間推理結(jié)論和最后結(jié)果等。產(chǎn)生式規(guī)則：一個(gè)規(guī)則庫(kù)，用于存放與求解問(wèn)題有關(guān)的某個(gè)領(lǐng)域知識(shí)的規(guī)則之集合及其交換規(guī)則?？刂撇呗裕阂粋€(gè)推理機(jī)構(gòu)，由一組程序組成，用來(lái)控制產(chǎn)生式系統(tǒng)的運(yùn)行，決定問(wèn)題求解過(guò)程的推理線路，實(shí)現(xiàn)對(duì)問(wèn)題的求解。2.6.1產(chǎn)生式系統(tǒng)組成總數(shù)據(jù)庫(kù)：綜合數(shù)據(jù)庫(kù)，用于存放求解2.6.1產(chǎn)生式系統(tǒng)組成產(chǎn)生式規(guī)則是一個(gè)以“如果滿足某個(gè)條件，就應(yīng)當(dāng)采取某些操作”形式表示的語(yǔ)句，其基本形式為：IF前提THEN 結(jié)論如：IF某種動(dòng)物是哺乳動(dòng)物，并且吃肉THEN 這種動(dòng)物被稱為食肉動(dòng)物條件、前項(xiàng)操作、后項(xiàng)2.6.1產(chǎn)生式系統(tǒng)組成產(chǎn)生式規(guī)則是一個(gè)以“如果滿足某個(gè)條2.6.1產(chǎn)生式系統(tǒng)組成在產(chǎn)生式系統(tǒng)的執(zhí)行過(guò)程中，如果某條規(guī)則的條件滿足了，則系統(tǒng)的控制部分就可以執(zhí)行規(guī)則的操作部分，并且其結(jié)論作為新的事實(shí)存入總數(shù)據(jù)庫(kù)?？刂撇呗援a(chǎn)生式規(guī)則總數(shù)據(jù)庫(kù)2.6.1產(chǎn)生式系統(tǒng)組成在產(chǎn)生式系統(tǒng)的執(zhí)行過(guò)程中，如果某條2.6.1產(chǎn)生式系統(tǒng)組成控制策略的作用是說(shuō)明下一步應(yīng)該選用什么規(guī)則，如何應(yīng)用規(guī)則。從選擇規(guī)則到執(zhí)行操作分為三步：匹配：把當(dāng)前數(shù)據(jù)庫(kù)與規(guī)則的條件部分相匹配。沖突解決：當(dāng)有一條以上規(guī)則的條件部分和當(dāng)前數(shù)據(jù)庫(kù)相匹配時(shí)，需要決定首先使用哪一條規(guī)則。其策略包括：專一性排序、規(guī)則排序、數(shù)據(jù)排序、規(guī)模排序和就近排序等。操作：執(zhí)行規(guī)則的操作部分，經(jīng)過(guò)操作后，