學(xué)生實驗報告2010年丄°月_2L日一、實驗名稱：一個關(guān)于愛情之路的測試的小型專家系統(tǒng)二、實驗?zāi)康呐c要求：目的:通過實現(xiàn)一個簡單的不通用的基于回溯推理的專家系統(tǒng)，來理解產(chǎn)生式系統(tǒng)的推理的基本思想和過程。要求：1、確定推理方法（正向還是反向），并根據(jù)問題設(shè)計實現(xiàn)一個簡單的不通用推理機(jī)（匹配、沖突消解）2、規(guī)則庫要求至少包含15條規(guī)則3、初始事實可以任意給定，輸入初始事實后能夠得到推理結(jié)果4、設(shè)計人機(jī)界面，解釋模塊提供查詢規(guī)則的功能5、可以不考慮知識庫管理模塊6、提交實驗報告7、報告中要有推理樹三、實驗內(nèi)容：本實驗我是設(shè)計了一個關(guān)于愛情之路的測試的小型專家系統(tǒng)，主要是根據(jù)一些觀察到的事實，依據(jù)系統(tǒng)給出的一系列規(guī)則來進(jìn)行回溯處理，逐漸的推導(dǎo)出結(jié)果。本次實驗設(shè)計了一個簡單的不通用推理機(jī)，推理機(jī)給出的推理結(jié)果是“”。專家系統(tǒng)的系統(tǒng)結(jié)構(gòu)包括：知識庫，推理機(jī)，動態(tài)數(shù)據(jù)庫，人機(jī)界面，解釋模塊，知識庫管理模塊。專家系統(tǒng)結(jié)構(gòu)圖四、程序設(shè)計思想本次實驗采用的是正向推理的方法，是從已知事實出發(fā)，通過規(guī)則庫求得結(jié)論，也稱為自底向上，或稱為數(shù)據(jù)驅(qū)動方式。這種推理方式是正向使用原則，即問題的初始狀態(tài)作為初始數(shù)據(jù)庫，在僅當(dāng)數(shù)據(jù)庫中的事實滿足某條規(guī)則的前提時，這條規(guī)則才能夠被使用。程序中采用的是基于用戶按照規(guī)則點(diǎn)擊，逐步得出結(jié)果的。正向推理的步驟步1將初始事實置入動態(tài)數(shù)據(jù)庫；步2用動態(tài)數(shù)據(jù)庫中的事實，匹配目標(biāo)條件，若目標(biāo)條件滿足，則推理成功，結(jié)束。步3用規(guī)則庫中各規(guī)則的前件匹配動態(tài)數(shù)據(jù)庫中的事實，將匹配成功的規(guī)則組成沖突集；步4若沖突集為空，則運(yùn)行失敗，退出。步5對沖突集做沖突消解，對選擇執(zhí)行的各規(guī)則，將其結(jié)論加入動態(tài)數(shù)五、程序?qū)崿F(xiàn)過程初始事實：設(shè)計邂逅體貼容讓送花有責(zé)任心勤奮努力明確表示不百依百順規(guī)則：R1:if請人介紹then認(rèn)識R2:if參加聚會then認(rèn)識R3:if搭訕then認(rèn)識R4:if設(shè)計邂逅then認(rèn)識R5:if認(rèn)識A—起自習(xí)then交往R6:if認(rèn)識A送花then交往R7:if認(rèn)識A約會then交往R8:if交往A（有責(zé)任心V踏實可靠）then贏得好感R9:if交往A（溫柔善良V善解人意）then贏得好感R10:if交往A勤奮努力then贏得好感R11:if交往A陽關(guān)活潑then贏得好感R12:if贏得好感A暗示then確立戀愛關(guān)系R13:if贏得好感A明示then確立戀愛關(guān)系R14:if贏得好感A牽手then確立戀愛關(guān)系R15:if戀愛關(guān)系八體貼容讓A不百依百順then建立長期關(guān)系推理過程：初始事實寫入動態(tài)數(shù)據(jù)庫｛設(shè)計邂逅，體貼容讓，送花，有責(zé)任心，勤奮努力，明確表示，不百依百順｝推理過程：（推理樹）六、程序顯示結(jié)果主界面如下：結(jié)果如下：七、體會與總結(jié)八、程序片段voidCRengongDlg::OnCheck1(){//TODO:Addyourcontrolnotificationhandlercodehere//shishi[0]=1;intstate=((CButton*)GetDlgItem(IDC_CHECK1))->GetCheck();if(state==BST_CHECKED){shishi[0]=1;}elseif(state==BST_UNCHECKED){shishi[0]=0;shishi[7]=0;}}voidCRengongDlg::OnCheck2(){//TODO:Addyourcontrolnotificationhandlercodehere//shishi[1]=1;intstate=((CButton*)GetDlgItem(IDC_CHECK1))->GetCheck();if(state==BST_CHECKED){shishi[1]=1;//MessageBox("sdf","dafadsf",MB_OK);}elseif(state==BST_UNCHECKED){shishi[1]=0;shishi[8]=0;}}voidCRengongDlg::OnCheck3(){//TODO:Addyourcontrolnotificationhandlercodehere//shishi[2]=1;intstate=((CButton*)GetDlgItem(IDC_CHECK1))->GetCheck();if(state==BST_CHECKED){shishi[2]=1;}elseif(state==BST_UNCHECKED){shishi[2]=0;shishi[8]=0;}}voidCRengongDlg::OnCheck4(){//TODO:Addyourcontrolnotificationhandlercodehere//shishi[3]=1;intstate=((CButton*)GetDlgItem(IDC_CHECK1))->GetCheck();if(state==BST_CHECKED){shishi[3]=1;}elseif(state==BST_UNCHECKED){shishi[3]=0;shishi[8]=0;voidCRengongDlg::OnCheck5(){//TODO:Addyourcontrolnotificationhandlercodehere//shishi[4]=1;intstate=((CButton*)GetDlgItem(IDC_CHECK1))->GetCheck();if(state==BST_CHECKED){shishi[4]=1;//MessageBox("sdf","dafadsf",MB_OK);}elseif(state==BST_UNCHECKED){shishi[4]=0;shishi[9]=0;}}voidCRengongDlg::OnCheck6(){//TODO:Addyourcontrolnotificationhandlercodehere//shishi[5]=1;intstate=((CButton*)GetDlgItem(IDC_CHECK1))->GetCheck();if(state==BST_CHECKED){shishi[5]=1;//MessageBox("sdf","dafadsf",MB_OK);}elseif(state==BST_UNCHECKED){shishi[5]=0;shishi[10]=0;}}voidCRengongDlg::OnCheck7(){//TODO:Addyourcontrolnotificationhandlercodehere//shishi[6]=1;intstate=((CButton*)GetDlgItem(IDC_CHECK1))->GetCheck();if(state==BST_CHECKED){shishi[6]=1;//MessageBox("sdf","dafadsf",MB_OK);}elseif(state==BST_UNCHECKED){shishi[6]=0;shishi[11]=0;}}voidCRengongDlg::OnOK(){//TODO:Addextravalidationhereif(shishi[0]==1){MessageBox("認(rèn)識！")；shishi[7]=1;}if((shishi[7]==1)&&(shishi[2]==1)){MessageBox("交往！")；shishi[8]=1；}if((shishi[8]==1)&&(shishi[4]==1)){MessageBox("贏得好感！")；shishi[9]=1；}if((shishi[9]==1)&&(shishi[5]==1)){MessageBox("確立戀愛關(guān)系！")；shishi[10]=1；}if((shishi[10]==1)&&(shishi[1]==1)&&(shishi[6]=