1、 實驗一產(chǎn)生式系統(tǒng)實驗、實驗?zāi)康腖熟悉一階謂詞邏輯和產(chǎn)生式表示法。2掌握產(chǎn)生式系統(tǒng)的運行機制。3以及基于規(guī)則推理的基本方法。二、實驗內(nèi)容運用所學(xué)知識，設(shè)計并編程實現(xiàn)一個小型的水果識別人工智能系統(tǒng)。三、實驗步驟基于產(chǎn)生式系統(tǒng)實驗程序，設(shè)計并實現(xiàn)一個小型人工智能系統(tǒng)：（1）系統(tǒng)設(shè)置，包括設(shè)置系統(tǒng)名稱和系統(tǒng)謂詞，給出謂詞名及其含義。（2）編輯知識庫，通過輸入規(guī)則或修改規(guī)則等，完成整個規(guī)則庫的建立。（3）建立事實庫（綜合數(shù)據(jù)庫），輸入多條事實或結(jié)論。（4）運行推理，包括正向推理和反向推理，給出相應(yīng)的推理過程、事實區(qū)和規(guī)則區(qū)。撰寫實驗報告。四、實驗結(jié)果系統(tǒng)名稱及謂詞定義（1）系統(tǒng)名稱：水果識別系統(tǒng)（2）

2、謂詞定義：水果是：fruit類別是：is3事實:positive系統(tǒng)知識庫（1）fruit（”菠蘿”）:is（“溫?zé)嵝运埃?positiveC酸甜的”）,positive（”也稱鳳梨“）（2）fruit（”甘蔗“）:is（”平性水果）,positive（”甜的”）,positive（有節(jié)的”）（3）fruit（”火龍杲）：-is（“寒涼性水果”）,positive（”仙人掌科水果“）（4）fruit（“梨”）:is（”寒涼性水果）,positive（”藥用功效強的“）,positive（“薔薇科水果“）（5）fruit（“荔枝“）:is（“溫?zé)嵝运?positive（”需冷藏的“）（6

3、）fruit（“檸檬“）:-is（“平性水果）,positive（”酸的”），positive（“黃色的“）（7）fruited果”）:-is（”平性水果Ipositivef紅色的”）（8）fruit（“桑套“）:is（”平性水果）,positive（”紫色的”）（9）fruit（“西瓜”）:-is（“寒涼性水果）,positive（”多汁的positive（”葫蘆科水果”）（10）fruit（“香蕉“）:is寒涼性水果ipositiveC黃色的“）,positive（”剝皮的”）（11）fruit（”櫻桃”）:isC溫?zé)嵝运?positives大紅色的“）,positive（”甜的”）（

4、12）is（“寒涼性水果”）:-positive（“清熱降火”）（13）is（平性水果”）:-positive（”寒熱偏性不明，開胃健脾”）（14）is（溫?zé)嵝运保?-positive（“驅(qū)寒補虛”）系統(tǒng)正反向推理過程、事實區(qū)和規(guī)則區(qū)。（1）正向推理過程事實區(qū)：溫?zé)嵝运蠹t色的甜的規(guī)則區(qū)：fruit（“櫻m-isf溫?zé)嵝运保?positive（”大紅色的”）,positive（”甜的“）（2）反向推理過程假設(shè)：菠蘿水果是：驅(qū)寒補虛嗎（Y/N）?回答：Y水果是：酸甜的嗎（Y/N）?回答：Y水果是：也稱鳳梨嗎（Y/N）?回答：Y事實區(qū)：驅(qū)寒補虛溫?zé)嵝运崽鸬囊卜Q鳳梨菠蘿規(guī)則區(qū)：is（“

5、溫?zé)嵝运簆ositive（驅(qū)寒補虛”）fruit（“菠蘿J:is（”溫?zé)嵝运埃?positive（“酸甜的”）,positive（”也稱鳳梨“）結(jié)論：假設(shè)成立設(shè)直環(huán)充時詞X保存關(guān)閉fruitfruit(/zfruitC含義zKl1謂詞|fruit忸.|positiveX刪除:保存關(guān)閉fruitfruit(/zfruitC含義zKl1謂詞|fruit忸.|positiveX刪除:isC溫?zé)嵝运鸒positWeC酸甜的“),positive:-isC平柱水果3,positivepositiveC有勺o:理s(7寒涼性水4z/),positivendjaW水果)positi藥角刃或建切p

6、ositive(薔薇科水果)positive(需冷藏的),positive色的)：),positive(：/z),positive(J：-isC個果5,positiveCJ辻的positive(筲蘆科水果”)z/):-isCz*,positive(wfeK/x),positive(z/j)，z):-is(zz來果z/).positive(z，大紅positive(m的碟伽咖編開註脾“)fruitC梨“):-is(寒涼彳fruitCzO：is(闕fruit(z/x):平彳fruitC)：fruitCzx):-isfruitrfruitfruit(z/is(寒涼is(is“)修改輸入規(guī)則I推理:正向推理結(jié)論：水果是櫻桃XI推理I演示I關(guān)閉I推理：反向推理推理：反向推理I規(guī)則區(qū)櫻桃*isf遍熱性水果Fpositiv幀大紅色的Fposi