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