專(zhuān)家系統(tǒng)實(shí)驗(yàn)

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