專家系統(tǒng)實驗VIP

學(xué)生實驗報告2010年實驗名稱：一個關(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ī)界面，解釋模塊，知識庫管理模塊。人機(jī)界面人機(jī)界面解釋模塊推理機(jī)解釋模塊推理機(jī)知識庫知識庫規(guī)則庫動態(tài)數(shù)據(jù)庫規(guī)則庫動態(tài)數(shù)據(jù)庫知識庫管理模塊知識庫管理模塊專家系統(tǒng)結(jié)構(gòu)圖程序設(shè)計思想本次實驗采用的是正向推理的方法，是從已知事實出發(fā)，通過規(guī)則庫求得結(jié)論，也稱為自底向上，或稱為數(shù)據(jù)驅(qū)動方式。這種推理方式是正向使用原則，即問題的初始狀態(tài)作為初始數(shù)據(jù)庫，在僅當(dāng)數(shù)據(jù)庫中的事實滿足某條規(guī)則的前提時，這條規(guī)則才能夠被使用。程序中采用的是基于用戶按照規(guī)則點擊，逐步得出結(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ù)據(jù)庫，或執(zhí)行其動作，轉(zhuǎn)步2。正向推理的流程圖程序?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)識∧一起自習(xí)then交往R6:if認(rèn)識∧送花then交往R7:if認(rèn)識∧約會then交往R8:if交往∧（有責(zé)任心Ⅴ踏實可靠）then贏得好感R9:if交往∧（溫柔善良Ⅴ善解人意）then贏得好感R10:if交往∧勤奮努力then贏得好感R11:if交往∧陽關(guān)活潑then贏得好感R12:if贏得好感∧暗示then確立戀愛關(guān)系R13:if贏得好感∧明示then確立戀愛關(guān)系R14:if贏得好感∧牽手then確立戀愛關(guān)系R15:if戀愛關(guān)系∧體貼容讓∧不百依百順then建立長期關(guān)系推理過程：初始事實寫入動態(tài)數(shù)據(jù)庫{設(shè)計邂逅，體貼容讓，送花，有責(zé)任心，勤奮努力，明確表示，不百依百順}推理過程：(推理樹)建立長期戀愛關(guān)系建立長期戀愛關(guān)系確立戀愛關(guān)系確立戀愛關(guān)系贏得好感贏得好感交往交往認(rèn)識認(rèn)識不百依百順體貼容不百依百順體貼容讓有責(zé)任心明確表示勤奮努力送花有責(zé)任心明確表示勤奮努力送花設(shè)計邂逅程序顯示結(jié)果主界面如下：結(jié)果如下：體會與總結(jié)程序片段voidCRengongDlg::OnCheck1(){ //TODO:Addyourcontrolnotificationhandlercodehere //shishi[0]=1; intstate=((CButton*)GetDlgItem(IDC_CHECK1))->GetCheck(); if(state==BST_CHECKED) { shishi[0]=1; } else if(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); } else if(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; } else if(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; } else if(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); } else if(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); } else if(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); } else if(state==BST_UNCHECKED) { shishi[6]=0; shishi[11]=0; }}voidCRengongDlg::OnOK(){ //TODO:Addextravalidationhere if(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]==1)) { MessageBox("建立長期關(guān)系!"); shishi[11]=1; }// CDialog::OnOK