產(chǎn)生式系統(tǒng)--人工智能實(shí)驗(yàn)指導(dǎo)書

1、人工智能實(shí)驗(yàn)指導(dǎo)書（2010年版）供2011級(jí)計(jì)算機(jī)科學(xué)與技術(shù)專業(yè)使用1 實(shí)驗(yàn)?zāi)康呐囵B(yǎng)學(xué)生利用人工智能技術(shù)解決簡(jiǎn)單實(shí)際問(wèn)題的能力。2. 實(shí)驗(yàn)設(shè)備或環(huán)境硬件設(shè)備：微機(jī)。軟件環(huán)境：操作系統(tǒng)Windows XP，開(kāi)發(fā)工具M(jìn)icrosoft Visual C+ 6.0、Visual Prolog5.2、Matlab6.5。3. 實(shí)驗(yàn)內(nèi)容(1. 在Visual C+環(huán)境下，利用狀態(tài)空間法解決產(chǎn)生式系統(tǒng)問(wèn)題。4實(shí)驗(yàn)步驟(1. 編寫、調(diào)試程序。(2. 運(yùn)行若干個(gè)實(shí)例。(3. 編寫實(shí)驗(yàn)報(bào)告。5. 考核要求或?qū)嶒?yàn)報(bào)告要求每位學(xué)生獨(dú)立完成編程與實(shí)驗(yàn)報(bào)告，在機(jī)房抽查同學(xué)的程序。少量同學(xué)需要做口頭報(bào)告與演示程序。實(shí)驗(yàn)

2、報(bào)告的格式見(jiàn)附件。附件：人工智能課程實(shí)驗(yàn)報(bào)告模板說(shuō)明：1、模板的斜體文字是編寫提綱，正式報(bào)告中不用保留。2、必須在理解教材和上課內(nèi)容的基礎(chǔ)上，自己獨(dú)立完成本報(bào)告。不要拷貝教材中的文字與流程圖。3、提交的實(shí)驗(yàn)報(bào)告包括本報(bào)告與程序源代碼，每位同學(xué)以自己的學(xué)號(hào)名字為文件名，壓縮后提交。例如， 06080700張三.zip/rar。4、在機(jī)房抽查同學(xué)的程序。在課堂上，要求部分同學(xué)口頭講解報(bào)告和演示程序。以下是報(bào)告的模板正文利用正向推理方法解決產(chǎn)生式系統(tǒng)問(wèn)題學(xué)號(hào) E201102053 姓名 姚為民 完成時(shí)間 2011年10月1 產(chǎn)生式系統(tǒng)問(wèn)題簡(jiǎn)介產(chǎn)生式系統(tǒng)用來(lái)描述若干個(gè)不同的以一個(gè)基本概念為基礎(chǔ)的系統(tǒng)。

3、這個(gè)基本概念就是產(chǎn)生式規(guī)則或產(chǎn)生式條件和操作的概念。在產(chǎn)生式系統(tǒng)中，論域的知識(shí)分為兩個(gè)部分：用事實(shí)表示靜態(tài)知識(shí)，用產(chǎn)生式規(guī)則表示推理過(guò)程和行為。產(chǎn)生式系統(tǒng)由三部分組成，即總數(shù)據(jù)庫(kù)、產(chǎn)生式規(guī)則和控制策略?？倲?shù)據(jù)庫(kù)用于存放求解過(guò)程中各種當(dāng)前信息的數(shù)據(jù)結(jié)構(gòu)。產(chǎn)生式規(guī)則中某條規(guī)則的前提與總數(shù)據(jù)庫(kù)中的某些事實(shí)相匹配時(shí)，該規(guī)則就被激活，并把其結(jié)論作為新的事實(shí)存入總數(shù)據(jù)庫(kù)。產(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 產(chǎn)生式系統(tǒng)的正向推理產(chǎn)生式系統(tǒng)的問(wèn)題求

4、解過(guò)程即為對(duì)解空間的搜素過(guò)程，也就是推理過(guò)程。正向推理從一組表示事實(shí)的謂詞邏輯或命題出發(fā)，使用一組產(chǎn)生式規(guī)則，用以證明該謂詞邏輯公式或命題是否成立。正系推理的一般策略是：先提供一批事實(shí)到總數(shù)據(jù)庫(kù)中，系統(tǒng)利用這些事實(shí)與規(guī)則的前提相匹配，出發(fā)匹配成功的規(guī)則，把其結(jié)論作為新的事實(shí)添加到總數(shù)據(jù)庫(kù)中，繼續(xù)上述過(guò)程，直到?jīng)]有可匹配的新規(guī)則，不再用新的事實(shí)添加到總數(shù)據(jù)庫(kù)中為止。3體會(huì)與致謝此次試驗(yàn)報(bào)告讓我真正感受到將人工智能知識(shí)用于解決實(shí)際推理問(wèn)題，體會(huì)到了真正的快樂(lè)，原來(lái)編碼是可以改變我們的生活，我們的世界4實(shí)驗(yàn)程序簡(jiǎn)單說(shuō)明#include<iostream>#include<ioman

5、ip>#include<fstream>using namespace std;int flag23=0;char *condition="01有毛","02產(chǎn)奶","03有羽毛","04會(huì)飛","05會(huì)下蛋","06吃肉","07有犬齒","08有爪","09眼睛前視","10有蹄","11反芻","12黃褐色","13有斑點(diǎn)&

6、quot;,"14有黑色條紋","15長(zhǎng)脖","16長(zhǎng)腿","17不會(huì)飛","18會(huì)游泳","19黑白兩色","20善飛","21哺乳類","22鳥(niǎo)類","23肉食類","24蹄類", "25企鵝","26海燕","27鴕鳥(niǎo)","28斑馬","29長(zhǎng)頸鹿","30虎&q

7、uot;,"31獵豹"typedef structint cid20;int res;rules;rules rule20=0,-1,20,1,-1,20,2,-1,21,3,4,-1,21,20,5,-1,22,6,7,8,-1,22,20,8,-1,23,20,9,-1,23,22,11,12,-1,30,22,11,13,-1,29,23,14,15,12,-1,28,23,13,-1,27,21,14,15,16,-1,26,21,19,-1,25,21,17,18,16,-1,24;void input(/在接受到用戶的條件查詢時(shí)，有兩部分操作，1接受條件輸入，2

8、置標(biāo)志位為1int condid=0;for(int i=0;i<24;i+/對(duì)于條件標(biāo)記數(shù)組，首先的操作是全部置零，然后對(duì)于用戶的操作是對(duì)于指定的條件輸入，則會(huì)將零改為1flagi=0;cout<<"請(qǐng)依次輸入查詢條件，以-1作為結(jié)束輸入標(biāo)記！"< while(condid!=-1/用戶條件輸入，直到“回車”為止cin>>condid;if(condid>=0 && condid<=23flagcondid=1;void condi_match(int i,j;int condid;/條件編號(hào)；int res

9、id;/結(jié)果編號(hào)；for(i=0;i<15;i+/循環(huán)掃描規(guī)則庫(kù)j=0;condid=rulei.cidj;while(condid!=-1if(flagcondid=0break;j+;condid=rulei.cidj;if(condid=-1resid=rulei.res;flagresid=1;cout<<"運(yùn)用了規(guī)則"< j=0;while(rulei.cidj!=-1cout<<conditionrulei.cidj<<" "j+;cout<<"->"<

10、;<conditionresid;cout< ;void browseFile(char *fileName,int delline/輸出文本文件信息ifstream inf(fileName, ios:in;char s80;for (int i=1;i<=delline;i+inf.getline(s,80;while (!inf.eof( inf.getline(s,80;cout< inf.close(;int main(int n=0;int i=0,j=0;int condin10=0;/用戶查詢條件輸入數(shù)組cout<<"查詢條件分別有："<