【正文】 ause”)。例：當(dāng)輸入n=2，c=2時(shí)，輸出：221110211010021000 其中：X1表示起始岸上的牧師人數(shù)；X2表示起始岸上的野人人數(shù)；X3表示小船現(xiàn)在位置(1表示起始岸，0表示目的岸)。三、基本要求輸入：牧師人數(shù)(即野人人數(shù))：n；小船一次最多載人量：c。//orign = “~(~a(b))”。//數(shù)字顯示為字符//主函數(shù) void main(){ cout P)”。//是字母string del_null_bracket(string temp)。//把母式化為合取范式 string del_all(string temp)。//減少否定符號(hào)的轄域 string standard_var(string temp)。//一些函數(shù)的定義void initString(string amp。(5)消去存在量詞(6)化為Skolem標(biāo)準(zhǔn)形對(duì)上述前束范式的母式應(yīng)用以下等價(jià)關(guān)系P∨(Q∧R)?(P∨Q)∧(P∨R)(7)消去全稱(chēng)量詞(8)消去合取詞在母式中消去所有合取詞，把母式用子句集的形式表示出來(lái)。其化簡(jiǎn)步驟如下：(1)消去連接詞“→”和“?” 反復(fù)使用如下等價(jià)公式：P→Q ?﹁ P∨QP?Q ?(P∧Q)∨(﹁P∧﹁Q)即可消去謂詞公式中的連接詞“→”和“?”。實(shí)驗(yàn)中我遇到了許多困難，不僅僅是有關(guān)編程算法方面的，還有一些代碼邏輯流程的設(shè)計(jì)。amp。pPrintQP()。){} IsFinish = pAutoDone()。if(IsFirst == 39。demo *p = new demo()。system(“color A2”)。for(x = 0。if(States[a].e_funmax){}max = States[a].e_fun。yStates[10].QP[x][y] = States[a].QP[x][y]。mfor(n = 0。y}}States[a].QP[x][y] = States[0].QP[x][y]。xfor(y = 0。} else {} cout demo(){} bool Judge(){} virtual bool AutoDone(){int a, b, i, j, m, n, max, min, x, y。count +=(tmpQP[2][0] + tmpQP[1][1] + tmpQP[0][2])/ 3。icount +=(tmpQP[i][0] + tmpQP[i][1] + tmpQP[i][2])/ 3。ifor(int j = 0。for(i = 0。for(i = 0。amp。break。amp。amp。} } check()。cout r[cat].back。void input(){//輸入的事實(shí)長(zhǎng)度string f[255]。int m?！?“企鵝”,0 }, { 2,“鳥(niǎo)amp?！?“鴕鳥(niǎo)”,0 }, { 4,“鳥(niǎo)amp。不會(huì)飛amp。有暗斑amp。黑色條紋amp。有暗斑amp。反芻amp。眼睛盯著前方amp。RULES r[100] = {{ 1,“有毛發(fā)”,“哺乳動(dòng)物”,0 }, { 1,“有奶”,“哺乳動(dòng)物”,0 }, { 1,“有羽毛”,“鳥(niǎo)”,0 }, { 2,“會(huì)飛amp。char back[255]。三、實(shí)驗(yàn)步驟確定需要識(shí)別的動(dòng)物及其屬性本次實(shí)驗(yàn)的簡(jiǎn)單動(dòng)物識(shí)別系統(tǒng)總共能識(shí)別7種動(dòng)物，即：老虎、金錢(qián)豹、斑馬、長(zhǎng)頸鹿、企鵝、鴕鳥(niǎo)和信天翁。在實(shí)驗(yàn)中我也遇到過(guò)許多問(wèn)題，比如在我寫(xiě)完代碼進(jìn)行編譯時(shí)總是會(huì)出現(xiàn)一個(gè)錯(cuò)誤“ fatal error C1010: 在查找預(yù)編譯頭時(shí)遇到意外的文件結(jié)尾，是否忘記了向源中添加“include ‘’”關(guān)于這個(gè)錯(cuò)誤我我問(wèn)了幾個(gè)同學(xué)得不出答案后，我決定通過(guò)上網(wǎng)查找，最終找到了解決方法，需要在該項(xiàng)目的每一個(gè)cpp結(jié)尾的文件屬性中設(shè)置不使用預(yù)編譯頭即可。printf(“n”)。if(Monkey!= Box){ Monkey_Go_Box(Monkey, Box)。scanf(“%c”, amp。scanf(“%c”, amp。scanf(“%c”, amp。printf(“********06153034************n”)。//x表示箱子的位置，y為} void Monkey_On_Box(){ 香蕉的位置printf(“Step %d:monkey爬上箱子n”, ++i)。要求通過(guò)VC語(yǔ)言編程實(shí)現(xiàn)猴子摘香蕉問(wèn)題的求解過(guò)程。二、編程環(huán)境 VC語(yǔ)言三、問(wèn)題描述房子里有一只猴子（即機(jī)器人），位于a處。在c處上方的天花板上有一串香蕉，猴子想吃，但摘不到。圖1 猴子摘香蕉問(wèn)題四、源代碼include unsigned int i。} void Monkey_Get_Banana(){ printf(“Step %d:monkey摘到香蕉n”, ++i)。printf(“********劉少鵬**************n”)。Monkey)。Box)。Banana)。} if(Box!= Banana){ Monkey_Move_Box(Box, Banana)。getchar()。在這個(gè)過(guò)程中也鍛煉了自己解決問(wèn)題的能力。建立識(shí)別七種動(dòng)物識(shí)別系統(tǒng)的規(guī)則選定編程語(yǔ)言并確定綜合數(shù)據(jù)庫(kù)和規(guī)則庫(kù)結(jié)構(gòu)（1）選用C語(yǔ)言作為編程語(yǔ)言（2）綜合數(shù)據(jù)庫(kù)的建立（3）規(guī)則庫(kù)的建立四、程序源代碼include include using namespace std。int mark。下蛋amp?！?“食肉動(dòng)物”,0 }, { 2,“哺乳動(dòng)物amp?！?“有偶蹄類(lèi)哺乳動(dòng)物”,0 }, { 4,“哺乳動(dòng)物amp?！?“金錢(qián)豹”,0 }, { 4,“哺乳動(dòng)物amp?！?“老虎”,0 }, { 4,“有蹄類(lèi)哺乳動(dòng)物amp?！?“長(zhǎng)頸鹿”,0 }, { 2,“有蹄類(lèi)哺乳動(dòng)物amp。有長(zhǎng)脖子amp。不會(huì)飛amp。會(huì)飛amp。int cat = 15。//輸入的事實(shí)數(shù)組while(1){cat++。r[cat].mark = 0。else { } cout cout bar。 temp[i]39。 temp[j]39。case 2: /* down */if(blankif(blank!= 0 amp。 blank!= 6)swap(m + blank, m + blank1][y1][y1] =1。ifor(int j = 0。icount +=(tmpQP[i][0] + tmpQP[i][1] + tmpQP[i][2])/ 3。jif([i][j] == 0)tmpQP[i][j] =1。count +=(tmpQP[0][i] + tmpQP[1][i] + tmpQP[2][i])/ 3。return count。if(IsWin(States[0])==1){} a = 0, b = 0。yif(States[0].QP[i][j] == 0){a = 1。States[a].QP[i][j] = 1。n}if(States[a].QP[m][n] == 0){}b = 1。States[10].QP[m][n] =1。for(x = 0。x} else if(IsWin(States[0])==1){} return false。char IsFirst。pinit()。Y39。if(!pJudge()){ }if(!IsFinish){ pUserInput()。if(!pJudge()){ }IsFinish = pAutoDone()。 pJudge()){} } cout 實(shí)驗(yàn)心得本次實(shí)驗(yàn)，我通過(guò)學(xué)習(xí)用VC編程語(yǔ)言設(shè)計(jì)簡(jiǎn)單的博弈游戲，從而理解和掌握博弈樹(shù)的啟發(fā)式搜索過(guò)程，熟悉博弈中兩種最基本的搜索方法——極大極小過(guò)程和ab過(guò)程。這些困難我通過(guò)上網(wǎng)和去圖書(shū)館查找資料或者向同學(xué)請(qǐng)教等方式，逐一解決了困難，我收獲良多。(2)減少否定符號(hào)的轄域 反復(fù)使用雙重否定率﹁(﹁P)? P摩根定律﹁(P∧Q)?﹁P∨﹁Q﹁(P∨Q)?﹁P∧﹁Q量詞轉(zhuǎn)換率﹁(?x)P(x)?(?x)﹁P(x)﹁(?x)P(x)?(?x)￢P(x)將每個(gè)否定符號(hào)“﹁”移到僅靠謂詞的位置，使得每個(gè)否定符號(hào)最多只作用于一個(gè)謂詞上。其中，子句集中的每一個(gè)元素都是一個(gè)子句。ini)。//對(duì)變量標(biāo)準(zhǔn)化 string del_exists(string temp)。//消去全稱(chēng)量詞string del_and(string temp)。//刪除多余的括號(hào) string del_blank(string temp)。//orign = “~(x)y(x)”。string orign, temp。輸出：若問(wèn)題無(wú)解，則顯示Failed，否則，顯示Successed輸出一組最佳方案。要求：寫(xiě)出算法的設(shè)計(jì)思想和源程序，并以圖形用戶界面實(shí)現(xiàn)人機(jī)交互，進(jìn)行輸入和輸出結(jié)果，如：Please input n: 2Please input c: 2 Successed or Failed?: Successed Optimal Procedure: 221110211010021000四、實(shí)驗(yàn)組織運(yùn)行要求本實(shí)驗(yàn)采用集中授課形式，每個(gè)同學(xué)獨(dú)立完成上述實(shí)驗(yàn)要求。RiverCrossing riverCrossing(n, c)。coutc。static int c。//過(guò)河問(wèn)題class RiverCrossing { private:}。state)。bool solve()。int getTotalCount()。boat)。State ret(iPastor + , iSavage + , iBoatAtSide + 1)。while(!()){} print(NULL)。(nowState)。capticy = 1。if(move(nowState, amp。if(() 0)cout ”。五、實(shí)驗(yàn)條件每人一臺(tái)計(jì)算機(jī)獨(dú)立完成實(shí)驗(yàn)。coutstart。system(“pause”)。define AT(s, x, y)(s)[(x)* 3 +(y)]enum Move { }。//前一個(gè)狀態(tài)State(string amp。//評(píng)價(jià)函數(shù)bool check(Move move)。//指向目標(biāo)狀態(tài)，用于評(píng)價(jià)h的值 UP = 0, DOWN = 1, LEFT = 2, RIGHT = 3}。} //九宮重排問(wèn)題 class NineGrid { private:}。grid, State *pPrevious){ thisgrid = grid。bool solve()。//比較逆序數(shù)奇偶性是否相同bool takeMove(State *nowState, Move move)。//檢查某狀態(tài)void print(State *endState)。節(jié)點(diǎn)是否在列表中public:} thispPrevious = pPrevious。evaluate()。j 3。bool State::check(Move move){}State State::takeMove(Move move){ switch(move){ case UP:} return true。break。AT(tGrid, destX, destY)= AT(tGrid, x, y)。break。case DOWN: case LEFT: case RIGHT: void State::evaluate(){for(int ii = 0。++jj){ if(AT(grid, i, j)== AT(pEndStategrid, ii, jj)){h += abs(ijj)。++i){for(int j = 0。if(!pEndState)return。int State::getReversedCount(){}/*=====================Methods for class “NineGrid”=====================*/ //顯示信息void NineGrid::ShowInfo(){}//構(gòu)造函數(shù)NineGrid::NineGrid(string amp。int count = 0。if(grid[j] == SPACE)continue。}//解決問(wèn)題bool NineGrid::solve(){}//實(shí)施一步?jīng)Q策，將得到的新?tīng)顟B(tài)添加到列表，返回是否達(dá)到目標(biāo)狀態(tài)} print(NULL)。++i){} Move move =(Move)i。()。state){}//根據(jù)達(dá)到的目標(biāo)狀態(tài)，回溯打印出求解過(guò)程 void NineGrid::print(State *endState){coutaddSymptom(pDisease, strInput)。name){}//添加疾病的癥狀void Expert::addSymptom(Disease *disease,const string amp。//搜索的結(jié)果列表vector findList。(disease)。ite!=bool remove = false。if(find((), ()，//在symptomNotHave列表中找到此癥狀，直接排除 remove = true。i ()。Disease *pDisease = amp。++j){} if(symptomInput == pDiseasesymptomList[j]){ } (pDisease)。//詢問(wèn)得知沒(méi)有此癥狀，添加癥狀到symptomNotHave列表中，(pDiseasesymptomList[j])。//迭代器后移 ++ite。if(i!= ()1)coutbool Expert::optionSelect(const string amp。: ca