【正文】 ause”)。例：當(dāng)輸入n=2，c=2時，輸出：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)。//減少否定符號的轄域 string standard_var(string temp)。//一些函數(shù)的定義void initString(string amp。(5)消去存在量詞(6)化為Skolem標(biāo)準(zhǔn)形對上述前束范式的母式應(yīng)用以下等價關(guān)系P∨(Q∧R)?(P∨Q)∧(P∨R)(7)消去全稱量詞(8)消去合取詞在母式中消去所有合取詞，把母式用子句集的形式表示出來。其化簡步驟如下：(1)消去連接詞“→”和“?” 反復(fù)使用如下等價公式：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í)長度string f[255]。int m?！?“企鵝”,0 }, { 2,“鳥amp?！?“鴕鳥”,0 }, { 4,“鳥amp。不會飛amp。有暗斑amp。黑色條紋amp。有暗斑amp。反芻amp。眼睛盯著前方amp。RULES r[100] = {{ 1,“有毛發(fā)”,“哺乳動物”,0 }, { 1,“有奶”,“哺乳動物”,0 }, { 1,“有羽毛”,“鳥”,0 }, { 2,“會飛amp。char back[255]。三、實(shí)驗(yàn)步驟確定需要識別的動物及其屬性本次實(shí)驗(yàn)的簡單動物識別系統(tǒng)總共能識別7種動物，即：老虎、金錢豹、斑馬、長頸鹿、企鵝、鴕鳥和信天翁。在實(shí)驗(yàn)中我也遇到過許多問題，比如在我寫完代碼進(jìn)行編譯時總是會出現(xiàn)一個錯誤“ fatal error C1010: 在查找預(yù)編譯頭時遇到意外的文件結(jié)尾，是否忘記了向源中添加“include ‘’”關(guān)于這個錯誤我我問了幾個同學(xué)得不出答案后，我決定通過上網(wǎng)查找，最終找到了解決方法，需要在該項(xiàng)目的每一個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)。要求通過VC語言編程實(shí)現(xiàn)猴子摘香蕉問題的求解過程。二、編程環(huán)境 VC語言三、問題描述房子里有一只猴子（即機(jī)器人），位于a處。在c處上方的天花板上有一串香蕉，猴子想吃，但摘不到。圖1 猴子摘香蕉問題四、源代碼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()。在這個過程中也鍛煉了自己解決問題的能力。建立識別七種動物識別系統(tǒng)的規(guī)則選定編程語言并確定綜合數(shù)據(jù)庫和規(guī)則庫結(jié)構(gòu)（1）選用C語言作為編程語言（2）綜合數(shù)據(jù)庫的建立（3）規(guī)則庫的建立四、程序源代碼include include using namespace std。int mark。下蛋amp?！?“食肉動物”,0 }, { 2,“哺乳動物amp?！?“有偶蹄類哺乳動物”,0 }, { 4,“哺乳動物amp。”,“金錢豹”,0 }, { 4,“哺乳動物amp?！?“老虎”,0 }, { 4,“有蹄類哺乳動物amp?！?“長頸鹿”,0 }, { 2,“有蹄類哺乳動物amp。有長脖子amp。不會飛amp。會飛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)，我通過學(xué)習(xí)用VC編程語言設(shè)計(jì)簡單的博弈游戲，從而理解和掌握博弈樹的啟發(fā)式搜索過程，熟悉博弈中兩種最基本的搜索方法——極大極小過程和ab過程。這些困難我通過上網(wǎng)和去圖書館查找資料或者向同學(xué)請教等方式，逐一解決了困難，我收獲良多。(2)減少否定符號的轄域 反復(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)將每個否定符號“﹁”移到僅靠謂詞的位置，使得每個否定符號最多只作用于一個謂詞上。其中，子句集中的每一個元素都是一個子句。ini)。//對變量標(biāo)準(zhǔn)化 string del_exists(string temp)。//消去全稱量詞string del_and(string temp)。//刪除多余的括號 string del_blank(string temp)。//orign = “~(x)y(x)”。string orign, temp。輸出：若問題無解，則顯示Failed，否則，顯示Successed輸出一組最佳方案。要求：寫出算法的設(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)采用集中授課形式，每個同學(xué)獨(dú)立完成上述實(shí)驗(yàn)要求。RiverCrossing riverCrossing(n, c)。coutc。static int c。//過河問題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)條件每人一臺計(jì)算機(jī)獨(dú)立完成實(shí)驗(yàn)。coutstart。system(“pause”)。define AT(s, x, y)(s)[(x)* 3 +(y)]enum Move { }。//前一個狀態(tài)State(string amp。//評價函數(shù)bool check(Move move)。//指向目標(biāo)狀態(tài)，用于評價h的值 UP = 0, DOWN = 1, LEFT = 2, RIGHT = 3}。} //九宮重排問題 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。}//解決問題bool NineGrid::solve(){}//實(shí)施一步?jīng)Q策，將得到的新狀態(tài)添加到列表，返回是否達(dá)到目標(biāo)狀態(tài)} print(NULL)。++i){} Move move =(Move)i。()。state){}//根據(jù)達(dá)到的目標(biāo)狀態(tài)，回溯打印出求解過程 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)。//詢問得知沒有此癥狀，添加癥狀到symptomNotHave列表中，(pDiseasesymptomList[j])。//迭代器后移 ++ite。if(i!= ()1)coutbool Expert::optionSelect(const string amp。: ca