動(dòng)物識(shí)別專家系統(tǒng)簡(jiǎn)介

1、動(dòng)物識(shí)別專家系統(tǒng)簡(jiǎn)介動(dòng)物識(shí)別專家系統(tǒng)簡(jiǎn)介動(dòng)物識(shí)別專家系統(tǒng)是經(jīng)典的專家系統(tǒng)實(shí)驗(yàn)?zāi)Ｐ?，它用產(chǎn)生式規(guī)則來(lái)表示知識(shí)，共15條規(guī)則，可以識(shí)別七種動(dòng)物。這些規(guī)則既少又簡(jiǎn)單，可以改造他們，也可以加進(jìn)新的規(guī)則，還可以用來(lái)識(shí)別其他東西的新規(guī)則來(lái)取代這些規(guī)則。2.1、建立動(dòng)物識(shí)別專家系統(tǒng)的規(guī)則庫(kù)，并用與或圖來(lái)描述這個(gè)規(guī)則庫(kù)。規(guī)則庫(kù)由15條規(guī)則組成，編寫(xiě)一段程序把15條規(guī)則組成一個(gè)表直接賦值給規(guī)則庫(kù)rules，規(guī)則名分別是；rule1，rule2，┉，rul

2、e15。(rules((rule1(if(animalhashair))若動(dòng)物有毛發(fā)(F1)(then(animalismammal)))則動(dòng)物是哺乳動(dòng)物(M1)((rule2(if(animalgivesmilk))若動(dòng)物有奶(F2)(then(animalismammal)))則動(dòng)物是哺乳動(dòng)物(M1)((rule3(if(animalhasfeathers))若動(dòng)物有羽毛(F9)(then(animalisbird)))則動(dòng)物是鳥(niǎo)(

3、M4)((rule4(if(animalflies))若動(dòng)物會(huì)飛(F10)(animallayseggs))且生蛋(F11)(then(animalisbird)))則動(dòng)物是鳥(niǎo)(M4)((rule5(if(animaleatsmeat))若動(dòng)物吃肉類(F3)(then(animaliscarnive)))則動(dòng)物是食肉動(dòng)物(M2)((rule6(if(animalRaspointedteeth))若動(dòng)物有犀利牙齒(F4)(animalha

4、sclaws)且有爪(F5)(animalhasfwdeyes))且眼向前方(F6)(then(animaliscarnive)))則動(dòng)物是食肉動(dòng)物(M2)((rule7(if(animalhasmammal))若動(dòng)物是哺乳動(dòng)物(M1)(animalhashoofs))且有蹄(F7)(then(animalisungulate)))則動(dòng)物是有蹄類動(dòng)物(M3)((rule8(if(animalhasmammal))若動(dòng)物是哺乳動(dòng)物(M1)

5、(animalchewscud))且反芻(F8)(then(animalisungulate)))則動(dòng)物是有蹄類動(dòng)物(M3)((rule9(if(animalismammal))若動(dòng)物是哺乳動(dòng)物(M1)(animaliscarnive)且是食肉動(dòng)物(M2)(animalhastawnycol)且有黃褐色(F12)(animalhasdarkspts))且有暗斑點(diǎn)(F13)(then(animalischeetah)))則動(dòng)物是豹(H1)

6、((rule10R9：F12∧F13∧M1∧M2→H1R10：F12∧F15∧M1∧M2→H2R11：F13∧F14∧F16∧M3→H3R12：F15∧M3→H4R13：F14∧F16∧F17∧F18∧M4→H5R14：F17∧F18∧F19∧M4→H6R15：F20∧M4→H72.2、推理機(jī)及其實(shí)現(xiàn)1、正向推理過(guò)程:根據(jù)在綜合數(shù)據(jù)庫(kù)中給出的已知事實(shí)正向使用規(guī)則即把規(guī)則的前件同當(dāng)前數(shù)據(jù)庫(kù)的內(nèi)容進(jìn)行匹配來(lái)選取可用規(guī)則若有多條規(guī)則可用則采用

7、先選優(yōu)先的策略將執(zhí)行規(guī)則的結(jié)論添加到綜合數(shù)據(jù)庫(kù)中并將用過(guò)的規(guī)則置上激活標(biāo)志直到問(wèn)題求解或沒(méi)有可用規(guī)則為止.2、正向推理過(guò)程程序?qū)崿F(xiàn)首先，將規(guī)則庫(kù)中規(guī)則的前件同當(dāng)前數(shù)據(jù)庫(kù)的內(nèi)容進(jìn)行匹配若匹配成功，則將這條規(guī)則送入可用規(guī)則集中；否則，取下一條規(guī)則進(jìn)行匹配。接著，如果規(guī)則非空且問(wèn)題未求解，則重復(fù)上述過(guò)程，調(diào)用rule(s)，從規(guī)則集中選擇一條規(guī)則，將該規(guī)則的結(jié)論添加到綜合數(shù)據(jù)庫(kù)中。最后調(diào)用respond命令。由上可見(jiàn)正向推理過(guò)程是遞歸的。3、

8、舉例說(shuō)明正向推理機(jī)推理過(guò)程若已知的初始事實(shí)是F13(有暗斑點(diǎn))、F12(黃褐色)、F3(若動(dòng)物吃肉類)及F1(動(dòng)物有毛發(fā))，使用steq函數(shù)把已知的初始事實(shí)賦值給事實(shí)表facts：(steqfacts((animalhasdarkspots)(animalhastawnycol)(animaleatsmeat)(animalhashair))即：facts=(F13F12F3F1)facts是一個(gè)可編輯的表，即可以添加。steq函數(shù)的功

9、能就是對(duì)facts進(jìn)行編輯。使用在前面建立的rules規(guī)則庫(kù)，敘述正向推理過(guò)程如下:（1)、在rules中查找規(guī)則前件的全部條件在當(dāng)前facts=(F13F12F3F1)中的可用規(guī)則，首先找到規(guī)則R1，則把R1后件中不在facts中的結(jié)論M1添加到facts中，擴(kuò)充facts為facts=(F13F12F3F1M1)。實(shí)際上，對(duì)facts=(F13F12F3F1)還有一條可用規(guī)則R5，因?yàn)镽5的前件F3也在當(dāng)前facts中。但是由前面提

10、到的沖突消解策略，若有多條可用規(guī)則，則按可用規(guī)則在規(guī)則庫(kù)表rules中的順序選擇第一條可用規(guī)則。（2)、對(duì)當(dāng)前facts在rules中查找可用規(guī)則，仍然找到規(guī)則R1，但R1的后件結(jié)論M1已在facts中，因此不會(huì)執(zhí)行規(guī)則R1。繼續(xù)查找可用規(guī)則，找到規(guī)則R5，因?yàn)镽5的后件結(jié)論M2不在當(dāng)前的facts中，故執(zhí)行R5，把R5不在facts中的結(jié)論M2添加到facts中，擴(kuò)充facts為facts=(F13F12F3F1M1M2)。（3)、對(duì)