【正文】 ﹁Q量詞轉(zhuǎn)換率﹁(?x)P(x)?(?x)﹁P(x)﹁(?x)P(x)?(?x)￢P(x)將每個否定符號“﹁”移到僅靠謂詞的位置，使得每個否定符號最多只作用于一個謂詞上。(3)對變元標(biāo)準(zhǔn)化在一個量詞的轄域內(nèi)，把謂詞公式中受該量詞約束的變元全部用另外一個沒有出現(xiàn)過的任意變元代替，使不同量詞約束的變元有不同的名字。(4)化為前束范式化為前束范式的方法:把所有量詞都移到公式的左邊，并且在移動時不能改變其相對順序。(5)消去存在量詞(6)化為Skolem標(biāo)準(zhǔn)形對上述前束范式的母式應(yīng)用以下等價關(guān)系P∨(Q∧R)?(P∨Q)∧(P∨R)(7)消去全稱量詞(8)消去合取詞在母式中消去所有合取詞，把母式用子句集的形式表示出來。其中，子句集中的每一個元素都是一個子句。(9)更換變量名稱對子句集中的某些變量重新命名，使任意兩個子句中不出現(xiàn)相同的變量名。四、實驗結(jié)果及代碼//化簡子句集的九步法演示 //作者:劉少鵬 //時間: include include include include using namespace std。//一些函數(shù)的定義void initString(string amp。ini)。//初始化string del_inlclue(string temp)。//消去蘊涵符號string dec_neg_rand(string temp)。//減少否定符號的轄域 string standard_var(string temp)。//對變量標(biāo)準(zhǔn)化 string del_exists(string temp)。//消去存在量詞 string convert_to_front(string temp)。//化為前束形string convert_to_and(string temp)。//把母式化為合取范式 string del_all(string temp)。//消去全稱量詞string del_and(string temp)。//消去連接符號合取% string change_name(string temp)。//更換變量名稱//輔助函數(shù)定義 bool isAlbum(char temp)。//是字母string del_null_bracket(string temp)。//刪除多余的括號 string del_blank(string temp)。//刪除多余的空格 void checkLegal(string temp)。//檢查合法性char numAfectChar(int temp)。//數(shù)字顯示為字符//主函數(shù) void main(){ cout P)”。//orign = “~(x)y(x)”。//orign = “~((@x)x!b(x))”。//orign = “~(x!y)”。//orign = “~(~a(b))”。string orign, temp。char mand, mand0, mand1, mand2, mand3, mand4, mand5，48第二篇：人工智能_實驗報告實驗一：知識表示方法一、實驗?zāi)康臓顟B(tài)空間表示法是人工智能領(lǐng)域最基本的知識表示方法之一，也是進一步學(xué)習(xí)狀態(tài)空間搜索策略的基礎(chǔ)，本實驗通過牧師與野人渡河的問題，強化學(xué)生對知識表示的了解和應(yīng)用，為人工智能后續(xù)環(huán)節(jié)的課程奠定基礎(chǔ)。二、問題描述有n個牧師和n個野人準(zhǔn)備渡河，但只有一條能容納c個人的小船，為了防止野人侵犯牧師，要求無論在何處，牧師的人數(shù)不得少于野人的人數(shù)(除非牧師人數(shù)為0)，且假定野人與牧師都會劃船，試設(shè)計一個算法，確定他們能否渡過河去，若能，則給出小船來回次數(shù)最少的最佳方案。三、基本要求輸入：牧師人數(shù)(即野人人數(shù))：n；小船一次最多載人量：c。輸出：若問題無解，則顯示Failed，否則，顯示Successed輸出一組最佳方案。用三元組(X1, X2, X3)表示渡河過程中的狀態(tài)。并用箭頭連接相鄰狀態(tài)以表示遷移過程：初始狀態(tài)中間狀態(tài)目標(biāo)狀態(tài)。例：當(dāng)輸入n=2，c=2時，輸出：221110211010021000 其中：X1表示起始岸上的牧師人數(shù)；X2表示起始岸上的野人人數(shù)；X3表示小船現(xiàn)在位置(1表示起始岸，0表示目的岸)。要求：寫出算法的設(shè)計思想和源程序，并以圖形用戶界面實現(xiàn)人機交互，進行輸入和輸出結(jié)果，如：Please input n: 2Please input c: 2 Successed or Failed?: Successed Optimal Procedure: 221110211010021000四、實驗組織運行要求本實驗采用集中授課形式，每個同學(xué)獨立完成上述實驗要求。五、實驗條件每人一臺計算機獨立完成實驗。六、實驗代碼 include include “” using namespace std。//主函數(shù) void main(){} system(“pause”)。RiverCrossing riverCrossing(n, c)。()。int n, c。coutn。coutc。RiverCrossing::ShowInfo()。 pragma once include //船 class Boat { public:}。//河岸狀態(tài) class State Boat(int pastor, int savage)。static int c。int pastor。//牧師 int savage。//野人{ public:}。//過河問題class RiverCrossing { private:}。bool move(State *nowState, Boat *boat)。//進行一次決策State* findInList(std::list amp。listToCheck, State amp。state)。//檢查某狀態(tài)節(jié)void print(State *endState)。//打印結(jié)果 static void ShowInfo()。RiverCrossing(int n, int c)。bool solve()。//求解問題 std::list openList, closeList。State endState。State(int pastor, int savage, int boatAtSide)。int getTotalCount()。//獲得此岸總?cè)藬?shù) bool check()。//檢查人數(shù)是否符合實際 bool isSafe()。//檢查是否安全State operator +(Boat amp。boat)。State , iSavage1)。 = this。return ret。State ret(iPastor + , iSavage + , iBoatAtSide + 1)。 = this。return ret。} (new State(State::n, State::n, 1))。while(!()){} print(NULL)。return false。//獲取一個狀態(tài)為當(dāng)前狀態(tài)State *nowState = ()。()。(nowState)。//從當(dāng)前狀態(tài)開始決策if(nowStateiBoatAtSide == 1){//船在此岸} //過河的人越多越好，且野人優(yōu)先int count = nowStategetTotalCount()。count =(Boat::c = count ? count : Boat::c)。for(int capticy = count。capticy = 1。capticy){} //把船開回來的人要最少，且牧師優(yōu)先for(int capticy = 1。capticy } for(int i = 0。i } Boat boat(capticyi)。if(move(nowState, amp。boat))return true。} else if(nowStateiBoatAtSide == 0){//船在彼岸//實施一步?jīng)Q策，將得到的新狀態(tài)添加到列表，返回是否達到目標(biāo)狀態(tài) bool RiverCrossing::move(State *nowState, Boat *boat){//獲得下一個狀態(tài) State *destState。if(nowStateiBoatAtSide == 1){} destState = new State(*nowState1iPastoriSavageiBoatAtSide。if(() 0)cout ”。coutcout七、實驗結(jié)果實驗二：九宮重排一、實驗?zāi)康腁*算法是人工智能領(lǐng)域最重要的啟發(fā)式搜索算法之一，本實驗通過九宮重排問題，強化學(xué)生對A*算法的理解與應(yīng)用，為人工智能后續(xù)環(huán)節(jié)的課程奠定基礎(chǔ)。二、問題描述給定九宮格的初始狀態(tài)，要求在有限步的操作內(nèi)，使其轉(zhuǎn)化為目標(biāo)狀態(tài)，且所得到的解是代價最小解(即移動的步數(shù)最少)。如：三、基本要求輸入：九宮格的初始狀態(tài)和目標(biāo)狀態(tài) 輸出：重排的過程，即途徑的狀態(tài)四、實驗組織運行要求本實驗采用集中授課形式，每個同學(xué)獨立完成上述實驗要求。五、實驗條件每人一臺計算機獨立完成實驗。六、實驗代碼 include include “” using namespace std。//主函數(shù) void main(){ NineGrid::ShowInfo()。} string start, end。coutstart。coutend。NineGrid nineGrid(start, end)。()。system(“pause”)。 pragma once include include include using namespace std。define SPACE 39。039。define AT(s, x, y)(s)[(x)* 3 +(y)]enum Move { }。//九宮格狀態(tài) class State { public:int moves。//到此狀態(tài)的移動次數(shù) int value。//價值State *pPrevious。//前一個狀態(tài)State(string amp。grid, State *pPrevious = NULL)。int getReversedCount()。//獲取逆序數(shù) void evaluate()。//評價函數(shù)bool check(Move move)。//檢查是否可以移動 string grid。//用字符串保存當(dāng)前棋盤狀態(tài) int x, y。//空格所在位置 static State *pEndState。//指向目標(biāo)狀態(tài)，用于評價h的值 UP = 0, DOWN = 1, LEFT = 2, RIGHT = 3}。State takeMove(Move move)。//實施移動，生成子狀態(tài) //重載==運算符，判斷兩個狀態(tài)是否相等inline bool operator ==(State amp。state){ return grid == 。} //九宮重排問題 class NineGrid { private:}。 include “” include include include using namespace std。State* State::pEndState = NULL。/*=======================Methods for class “State”=======================*/ //構(gòu)造函數(shù)State::State(string amp。grid, State *pPrevious){ thisgrid = grid。NineGrid(string amp。start, string amp。dest)。bool solve()。//求解問題 //用于排序static bool greater_than(const State *state1, const State *state2)。static void ShowInfo()。//顯示信息 bool pareReversed()。//比較逆序數(shù)奇偶性是否相同bool takeMove(State *nowState, Move move)。//進行一次決策State* findInList(vector amp。listToCheck, State amp。State)。//檢查某狀態(tài)void print(State *endState)。//打印結(jié)果 vector openList, closeList。State startState, endState。clock_t startTime。節(jié)點是否在列表中public:} thispPrevious = pPrevious。if(thispPrevious)thismoves = pPreviousmoves + 1。thismoves = 0。elsethisvalue = 0。evaluate()。for(int i = 0。i 3。++i){} for(int j = 0。j 3。++j){} if(AT(grid, i, j)== SPACE){} x = i。y = j。return。bool State::check(Move move){}State State::takeMove(Move move){ switch(move){ case UP:} return true。if(x1 0)return false。break。if(y + 1 = 3)return false。break。case DOWN: case LEFT: case RIGHT:} int destX, destY。switch(move){ case UP:} string tGrid = grid。char t = AT(t