人工智能課內實驗報告 (８次）
學
院：
自動化學院
班
級：
智能１５01
姓
名：
劉少鵬(34)
學
號:
目 錄 課內實驗 1: 猴子摘香蕉問題得 VC 編程實現„„„„„„„„1 課內實驗 2: 編程實現簡單動物識別系統得知識表示„„„5 課內實驗 3:盲目搜索求解８數碼問題„„„„„„„„„18 課內實驗 4：回溯算法求解四皇后問題„„„„„„„„„33 課內實驗 5:編程實現一字棋游戲„„„„„„„„„„„37 課內實驗 6:字句集消解實驗„„„„„„„„„„„„ „４６
課內實驗 7：簡單動物識別系統得產生式推理„„„„„„6６
課內實驗8:編程實現D-S證據推理算法„„„„„„„ „７8
人工智能課內實驗報告 實驗 1:猴子摘香蕉問題得 VC 編程實現 學
院:
自動化學院
班
級:
智能 15０１
姓
名:
劉少鵬 (33)
學
號:
0615３0３4
日
期: ２017—3—8 10:１5－12：00
實驗 1: 猴子摘香蕉問題得 C VC 編程實現
一、實驗目得 (１）熟悉謂詞邏輯表示法; （2）掌握人工智能謂詞邏輯中得經典例子—-猴子摘香蕉問題得編程實現． 二、編程環境 VC 語言 三、問題描述 房子里有一只猴子（即機器人),位于 a 處。在ｃ處上方得天花板上有一串香蕉,猴子想吃，但摘不到。房間得 b 處還有一個箱子，如果猴子站到箱子上,就可以摸著天花板。如圖1 所示,對于上述問題，可以通過謂詞邏輯表示法來描述知識。要求通過 VC 語言編程實現猴子摘香蕉問題得求解過程。
圖 1
猴子摘香蕉問題 四、源代碼 #iｎｃlude〈stdiｏ、ｈ〉 unsignｅd iｎｔ i； ｖoid Monkey_Go_Box(unsｉgned ｃhａr ｘ， uｎsｉgned cｈar y) ｛
猴示表x／／;)ｙ ,x ，ｉ＋+ ，"n\ｃ%到走ｃ％從ｙekｎoｍ：d％ peｔS"(fｔniｒｐ?子得位置,ｙ為箱子得位置 ｝ vｏid Ｍoｎkey_Move_Box(chaｒ ｘ, ｃhar y)
{
printf("Sｔeｐ %d：monkey把箱子從%c運到%c\n", +＋i， x, y);／／x表示箱子得位置,y為香蕉得位置 } ｖoiｄ Ｍｏnｋｅｙ＿Ｏn＿Box() {
pｒintｆ（”Ｓtep %ｄ：ｍonkey爬上箱子＼n", ++i）; } voiｄ Monkey_Get_Banａnａ（) {
prｉntｆ(”Step %d:monkey摘到香蕉\n", ++i）; ｝ ｖoid maiｎ（) {
;ananaB ,xoB ,yeknｏM
rahc dengiｓｎu?
;)"n＼＊**＊*＊**＊*班1051能智*******＊”(fｔniｒp?
ｐriｎtf（”＊*＊＊**＊*061530３4＊＊＊**＊*＊**＊*＼n”）；
；)"n\***＊＊*＊*******鵬少劉＊＊＊*＊＊*＊”（ftnirｐ?
;)"n\置位得蕉香子箱子猴示表來c ｂ ａ用請"（ｆｔniｒp?
;)”n\ananabt\ｘobｔ\ｙekｎoM”(ｆtnirp?
scanf(”％c”, ＆Mｏnkeｙ)；
;)(ｒahｃteｇ?
；)”t\”（ｆtniｒp?scanf(”％c＂, &Box);
getchaｒ();
；）"ｔ＼t\"(ftｎｉrｐ?
;）anａnａB& ,”ｃ%"(fnacs?
gｅｔcｈar();
pｒintｆ("＼ｎ操作步驟如下＼ｎ”）;
）xoB ＝! yeknoM（ fi?
｛
；)ｘｏＢ ,yeｋnoＭ（xoＢ_oG＿yeｋｎｏM?
}
ｉｆ （Box ！= Banａna）
{
?
;）ananａB ,xoB(xoＢ_eｖoＭ＿ｙeknoＭ? }
?
Ｍｏnkey＿On_Box(）；
;）（anａｎaＢ＿ｔeＧ_ｙeknoM?
ｐrｉntf(”\n")；
；)（raｈｃtｅg?｝ 五、實驗結果相關截圖
六、心得體會
通過本次實驗,我初步了學會了使用ＶＣ得新建工程，并且進行簡單得程序編寫。此外我還學會如何使用一些謂詞來解決生活中得一些簡單問題,并且用ＶC 編程給出具體得操作步驟,感覺對 VC 編程有了新得認識。在實驗中我也遇到過許多問題,比如在我寫完代碼進行編譯時總就是會出現一個錯誤“ ｆataｌ eｒｒor C1010: 在查找預編譯頭時遇到意外得文件結尾,就是否忘記了向源中添加“#iｎｃluｄｅ ‘ｓtdafｘ、ｈ’”關于這個錯誤我我問了幾個同學得不出答案后,我決定通過上網查找,最終找到了解決方法，需要在該項目得每一個ｃpｐ結尾得文件屬性中設置不使用預編譯頭即可。在這個過程中也鍛煉了自己解決問題得能力。
人工智能課內實驗報告 實驗 2:編程實現簡單動物識別系統得知識表示 學
院：
自動化學院
班
級:
智能１501
姓
名:
劉少鵬(3３)
學
號：
061５3034
日
期: ２0１7－3—13 10：15—1２：00
實驗２：編程實現 簡單動物識別系統得知識 表示
一、實驗目得 1、理解與掌握產生式知識表示方法； 2、能夠通過 VC 編程語言實現產生式系統得規則庫。
二、實驗內容 １、以動物識別系統得產生式規則為例； 2、用選定得編程語言建造規則庫與綜合數據庫，并能對它們進行增加、刪除與修改操作. 三、實驗步驟 1、確定需要識別得動物及其屬性 本次實驗得簡單動物識別系統總共能識別 7 種動物，即:老虎、金錢豹、斑馬、長頸鹿、企鵝、鴕鳥與信天翁。
2、建立識別七種動物識別系統得規則 3、選定編程語言并確定綜合數據庫與規則庫結構 （1）選用Ｃ語言作為編程語言
(２)綜合數據庫得建立
(3）規則庫得建立 四、程序源代碼 #inｃｌuｄe 〈iostream〉 #incｌuｄe <stｒiｎg> usｉng ｎameｓpａcｅ std; struｃｔ RULES ??
?
{
iｎt cｏunt;
；]5５2[erp rahc?
;]55２[kcab ｒahc?
int maｒｋ； }； ｖoｉd chｅcｋ(); RULES ｒ[1００］ = { ”，1 ｛
,} 0,＂物動乳哺＂,＂發毛有?
?
//所有規則靜態數據庫 ”,１ ｛
,} 0,"物動乳哺”,"奶有?"，1 ｛
,} ０，＂鳥”，”毛羽有?
”，２ ｛
,} 0，"鳥"，"＆蛋下&飛會?
{ 1,”吃肉","食肉動物”，０ ｝, ”，3 {
，} ０,”物動肉食",”＆方前著盯睛眼&爪有&齒牙得利鋒有?",2 {
,} 0,”物動乳哺類蹄有”,”&蹄有&物動乳哺?”,2 {
,} 0,”物動乳哺類蹄偶有”，”&芻反&物動乳哺?”,４ {
,} 0，"豹錢金”，"&斑暗有＆色褐黃&物動肉食＆物動乳哺?
{ ４,"哺乳動物&食肉動物&黃褐色&黑色條紋&”,＂老虎”,0 },
{ ４，＂有蹄類哺乳動物&有長脖子＆有長腿&有暗斑&＂,"長頸鹿",0 ｝, ”，2 ｛
，｝ 0,"馬斑＂,"&紋條黑&物動乳哺類蹄有?{ 5，"鳥＆不會飛&有長脖子＆有長腿&黑白色＆","鴕鳥"，0 }, ",4 {
,｝ 0，”鵝企”，"&色白黑＆泳游會&飛會不&鳥?
{ 2,"鳥&會飛&"，"信天翁”,0 ｝, ”,1 {
} 0,"物動乳哺","芻反?}; inｔ numbeｒ; int m; ｉnt cat = １5； iｎt a； int lengｔh; ? ?? ／/輸入得事實長度 sｔrinｇ f[２55］； ／/?組數實事得入輸?ｖoiｄ inｐut(）
｛
wｈile (1)
{
?
cat++;
cout 〈〈 ”number＂ <〈 endｌ；
?
ｃｉｎ 〉> r[cat］、cｏunt；
cｏut 〈< "輸入事實,兩種以上得事實請在每個事實后加上‘&’符號＂ 〈< endl；
ciｎ 〉> r［caｔ]、prｅ;
?
ｃout 〈< ”輸入結果” 〈〈 endl;
ｃiｎ ＞〉 r［cat]、ｂack;
；0 = krａｍ、]tａc[r??
）1（ ｅlihw?? ?
{
?? cｏut ＜< ”輸入“1"繼續添加規則，輸入“2”查瞧規則庫＂ 〈< ｅnｄl; ?;p tni?
;p >〉 nｉc?
)1 =＝ p（ fi?? ?? {
?
? ｉｎpｕt（)；
｝??? ?
else
{???
? ｉf (p ＝= 2）
??
{
??
? ｃheck(）；
?
｝
?
eｓlｅ?? ?
? {
?
;ldnｅ 〈〈 ＂入輸新重，誤錯入輸" 〈＜ tuｏc? }???? }
??? ?
}
} }
vｏiｄ ｄelate() ｛
cout 〈< "輸入要刪除得條數" 〈< endl;
;rab tni?
;rａb ＞> nｉｃ?
for (ｉnt ｔ = 0； ｔ 〈= caｔ; t++)
｛
? ?
r［ｂaｒ — 1] = r[baｒ]；
bａr+＋;
}
;——tac?
;)(ｋｃehc?} voｉd ｃｈeｃk() ｛
cout 〈< endl <〈 ”規則庫如下” 〈< endl;
for （int ｉ = 0; i 〈= cａt; i＋+)
{
?
cｏｕt << i + １ <＜ ”、” ＜＜ "由＂ 〈〈 ｒ[i]、pｒｅ 〈< ”可得" 〈< r[i］、ｂacｋ <〈 endｌ;
}
;ldne <＜ tuｏc?
)1( eｌiｈｗ?
{
ｃout <〈 ”輸入“1”繼續添加規則，輸入“3”刪除選定得規則" ＜〈 endｌ;
;m >> nic?
)１ == ｍ( fi??
{ ? ?
input(）;
}
ｅｓle??
{
? ?
ｉf (m == 3)
?
;)（ｅｔａlｅd?
}
｝
?｝ iｎt find_ｒule(iｎt s)
// 則規得用使可有還否是就中庫則規找查?{
)++ｉ ;51 ＝< ｉ ;０ = i tni( rｏf? ;krａm、］ｉ［ｒ*s = s?? /／ｃout<〈”ｆind＿rule結果”＜<ｓ<<endl;
；s ｎruteｒ?} inｔ paｒe1（RULES r）
//當前提條件為1時 {
int j ＝ 0， i = 1;
sｔring str, ｓｔｒ２；
sｔr = r、pｒe；
ｗhile (i 〈= length)
{? ? ｉf (f［i] == sｔｒ)
? {
? sｔr2 = r、ｂａｃk；
f[ｌength + 1] ＝ stｒ2； ?
//加入事實庫 ?;++ｈtgｎｅl?
?
／/事實庫得長度加1
?
；１ ＝ krａm、r?
／/ 過用使已則規記標?? ?? breａk；
｝?
elsｅ
?
;＋＋i? }
;kram、r ｎrutｅr?} int pare2(RULＥS r）
／/ 1為不件條提前?{
striｎg b[1０];
sｔｒinｇ str， ｓｔr2;
;0 = mun ,1 ＝ j ，i tni? ;０ = a tni? str = r、pre;
組數換轉／/
)ｉ+＋ ；01 =！
i ;0 ＝ i( rof? {?
b［ｉ］ = ”"；
}
)i++ ；)(htｇnel、rts ＝! i ;0 = i( rof? ｛?
)"&" ＝! )ｉ（ｔa、rｔs( fi??
{ ?;)ｉ(ｔａ、rts =+ ]ｊ［ｂ?
｝? eslｅ?? ? ｛
j++;
? ｝
}? ；1 = i? ）tｎｕoｃ、r ＝< ｉ（ elihｗ? {
)+＋j ;1 + hｔgneｌ =！
j ;１ ＝ j( rｏf?
｛? ?? if (ｆ[j] == b[i])
｛???
? ａ += 1;
｝??? ? ｝
；＋+i? ｝? ）tnuoc、r == a（ ｆｉ? {
sｔr2 ＝ r、bacｋ; ?
;２rｔｓ ＝ ］1 + ｈtgｎel[f?? ／/加入事實庫
? lenｇth++； ?? ? ／/事實庫得長度加1
;1 ＝ kram、r?
//標記規則已使用過
}
;ｋram、r nrutｅr?} void result(）
{
；0 ＝ m ，1 = i tni? whｉｌｅ (i !＝ length + 1)
{
)"豹錢金” =＝ ］ｉ[f( ｆi??
｛? ?
ｃｏuｔ <〈 ”該動物就是金錢豹" ＜〈 endl;
?
；1 = m? ?
;kａerb? ? }
? elｓｅ
）”虎老" ＝＝ ]i［f( ｆi??
｛??
?
? cout 〈＜ "該動物就是老虎" 〈〈 endl;
；１ ＝ ｍ?? ?
;kaｅｒb?? ?
｝? ?
elsｅ )"鹿頸長” == ]i［f( ｆi??
? ｛
? cout 〈< "該動物就是長頸鹿" <〈 endl；
;1 = m?? ?
;ｋａeｒb?
? }
?eｓle? ?
? if (f[i] == "斑馬”)
?? ｛
?
；ldnｅ << "馬斑是就物動該" << tｕｏc? ??
?
;１ = m? ?
break;
?
?
｝? esle?? ?
? if （f[i］ =＝ ＂鴕鳥")
??
?? {
?
?
;lｄnｅ 〈〈 "鳥鴕是就物動該" 〈〈 tuoｃ? ? ;1 ＝ ｍ??
??
；kaerb?
} ???? ???
esle? ??? ?）"鵝企” == ］i[ｆ( ｆi? ?
?
{??? ?
?
;ldne 〈< "鵝企是就物動該” 〈〈 tuoｃ?
??? m ＝ 1;
??
? break；
?
?
}??
??
eslｅ?? ??
???
）"翁天信＂ == ]ｉ[f( fi? ?
??
?? {
?
?
? cｏut << "信天翁" 〈〈 enｄｌ;
??
??
；１ = m? ??
???
? break；
?
?
}
???esle?
?
?
? i++;
}
)０ == ｍ( ｆi? ? cｏut ＜< ”沒有符合得動物，請確認特征，重新輸入” ＜< ｅndl;
｝ ｖｏid ｉｄetify() ｛
;0 = u ,0 = i tni? 則規得用使未有還中庫則規果如//
)0 == )ｕ（eluｒ＿dniｆ( fｉ?/／{ ;ldｎe＜<＂則規得用使未有還＂〈〈tuoc? ；hｔgnel = ｍun tni??／)6１〈i（ ｅlｉhw??/???歷遍始開則規條一第從?
｛ ?? )0 ＝= ｋram、]ｉ［r( fi?
// 用使未則規條該果如?
? ｛
if (ｒ［i]、cｏunt == 1)
?
//該條規則前提數為1
??? {
??
u = pare1(ｒ[i]）;
?
if （ｕ =＝ 1)
???；１ = kram、]ｉ[r? ?
? ｉf (r[i]、ｍaｒk == 1)
{??? ?
ｃout << ”使用規則＂ <〈 ｉ + 1；
?
；ldne 〈＜ ｋｃaｂ、]i［r 〈〈 ”為實事新得入加且” 〈〈 ｔuｏc? ???
｝
?
? ｝
?
eslｅ? ?
{? ???
;)]i[r(2erap = u?
?
)1 == ｕ（ ｆi?? ?
?? r［i］、mａrk = 1;
if （r[i］、mａｒk == 1)
??
? {
??? ｃoｕt << ”使用規則” << i + 1;
??
? ｃoｕｔ 〈< "且加入得新事實為" <〈 ｒ[i]、bacｋ 〈< endl；
??
｝
?
? }
? }
?
if （i == 15)
?
{? ??
ｉf (nuｍ != ｌength)
｛? ? ?；0 = ｉ????;htgnel ＝ mun?
}? ?
elsｅ
???
i = １6；
?
}
?? eｌｓｅ
?? {
? ｉ++;
?
}
}
}
esle? {?
cｏut 〈〈 ”所有得規則都已使用” 〈〈 ｅｎｄl；
｝? ;)（tluseｒ?｝ /*主函數*／ void ｍain(）
｛
；ldne 〈〈 ”*****＊＊＊班10５1能智*****＊" 〈< ｔuｏc? ；ldne 〈< ”*＊*＊＊＊****43０3５160＊＊＊***" 〈< ｔuｏc? cout <〈 ”*＊****劉少鵬＊**＊*＊******” << enｄｌ;
cｏut 〈＜ ”進行動物識別請輸入7” 〈＜ endl;
ｃｏut 〈〈 ”進行規則庫操作請輸入8" << eｎｄｌ;
；a 〉＞ ｎic? )8 == a(
elihw? ｛
while (１）
? ｛
；ｌdｎｅ 〈〈 ”"2‘入輸則規有已瞧查,’1‘入輸則規加添” 〈〈 ｔｕｏc?? ?
cin >> m;
?
ｉｆ （ｍ == １)
｛? ?
iｎｐｕｔ（);
}
esle?? ?
{
?)2 == ｍ( fi? ?
{
? ｃheck();
?
｝? ?
? elｓe
?
;ldnｅ <〈 ”入輸新重請誤錯入輸” <〈 tuoc?
? }
｝
｝
if
（ａ == 7)
{?
inｔ u = 0;
;ldne 〈< "數征特得物動入輸請" ＜〈 tuoc? ? ｃin 〉〉 length;
? cout << ＂請輸入動物得特征” 〈＜ eｎdｌ;
)++i ；hｔgnel ＝〈 ｉ ;1 = i tnｉ（ rof? ?
；］ｉ［ｆ 〉〉 ｎｉｃ? ? idetiｆy(); }
;)”eｓuaｐ”（metsys?｝ 五、實驗結果相關截圖 1、程序總體結構
2、 規則庫操作→查瞧規則庫
3、 規則庫操作→添加規則→添加袋鼠規則
4、 規則庫操作→刪除規則→刪除袋鼠規則
5、動物識別→識別長頸鹿
六、心得體會
通過本次實驗我深刻得理解與掌握產生式知識表示方法，并且能夠通過 VC 編程語言實現產生式系統得規則庫.本次實驗我同樣遇到許多問題,我通過自己查閱資料,與同學們
討論,逐步得將自己得問題解決,在這個過程中提高了我得問題解決能力。最后因為本次實驗只有對數據庫有清楚得掌握,同時熟悉規則才能合理編程，因此我在平時得學習中應當加大數據庫與數據結構得學習力度，提高自己得編程能力。
人工智能課內實驗報告 實驗 3:盲目搜索求解八數碼問題 學
院:
自動化學院
班
級:
智能 150１
姓
名:
劉少鵬 (3３）
學
號:
061５3034
日
期：
２0１7-03—３0 １0：１５—１2：０0
人工智能課內實驗 3: 盲目搜索求解 8 8 數碼問題
1、實驗目得 (1)熟悉人工智能系統中得問題求解過程； (2)熟悉狀態空間中得盲目搜索策略; (3)掌握盲目搜索算法,重點就是寬度優先搜索與深度優先搜索算法. 2、實驗要求 用 VC 語言編程，采用寬度優先搜索與深度優先搜索方法,求解 8 數碼問題 3、實驗內容 （1）采用寬度優先算法,運行程序,要求輸入初始狀態 假設給定如下初始狀態 S 0
2
8
3 1
６
4
7
０
5
與目標狀態 S g
2
1
6
4
0
8
７
5
3
驗證程序得輸出結果,寫出心得體會。
(2)對代碼進行修改( 選作),實現深度優先搜索求解該問題 提示: :每次選擴展節點時,從數組得最后一個生成得節點開始找，找一個沒有被擴展得節點。這樣也需要對節點添加一個就是否被擴展過得標志。
4 源代碼及實驗結果截圖 （1）
實驗源代碼
＃incｌｕｄe 〈sｔdlｉb、h〉 ＃ｉｎｃlｕｄe <stdio、ｈ> Ｔyｐedef strｕｃｔ Ｎｏｄe { inｔ nｕm［9]； //棋盤狀態
ｉｎt dｅepth; //派生得深度 g（n)
inｔ diffnum； //不在位得數目 h(n)
inｔ ｖalｕe; /／耗散值 f(n)=g(n)＋h(n)
stｒucｔ Ｎｏde * ｐrｅ;
;txen ＊ eｄoN tcurtｓ?
strucｔ Nｏde ＊ pａｒent; }ｎuｍＮodｅ；
/* -- ｅnd of strｕｃt nuｍNｏde —— ＊／ inｔ oｒiｇiｎ[9］; //棋盤初始狀態 int ｔargeｔ[9]; //棋盤目標狀態 ｉnt nuｍNoｄe_num, totaｌ_ｓtep； numNode *opeｎ, ＊close; //Oｐeｎ表與 Close 表 ｎｕmNoｄe *create_nｕmNoｄe() {
;））edoNｍｕn（foｅzis(ｃoｌｌａm)* eｄｏNmuｎ（ nrｕtｅr?｝
nuｍNoｄe ＊ｏpｅｎ＿ｇetｆｉrst（ｎumNoｄe *head）； //返回第一項，并從 Opｅｎ表中刪除 ｖoiｄ oｐen＿insert(numNodｅ ＊heａd, numNoｄe *itｅm）; ／/向 Opeｎ表中按序插入新節點 ｖｏｉd cloｓe_aｐｐeｎｄ(numNode ＊heａd， nｕmNode *itｅｍ); //向 Cｌｏｓe 表中插入新節點 int exｐaｎｄ（numＮodｅ ＊item）; //擴展節點 int pｒｉnt_resｕlt（numＮｏde *itｅm）； ／/打印結果 nuｍＮｏｄｅ ＊copy_ｎｕmNｏde(numNode ＊ｏｒｇｉn); char ｉsNewNode（nｕmNoｄe *open, numNoｄe *cｌosｅ, ｉｎｔ num［9]); //就是否在 Open 表或 Clｏsｅ表中 voiｄ prinｔ_num(int ｎuｍ［9］）; //打印棋盤狀態 int ｄiｆf(ｉｎt nｕm[9]）; ／/求不在位棋子得個數 voｉｄ ｉniｔ（); ／／初始化，獲得棋盤初始狀態與目標狀態 voｉd s *ａ， ｉnt ＊ｂ); ｉnt opｅrate(int ｎum［]， int ｏｐ）; voｉd fｒee_list（nuｍＮode *heaｄ）; //* Naｍｅ: 主函數 //* Description：
程序入口 int mａｉｎ(int aｒgc, chaｒ ＊argv［］）
｛
//初始化 Oｐeｎ表與Ｃloｓe 表
;)"n\*＊**1051 能智****＊”（ftnirp?
ｐrｉntｆ("*＊＊**劉少鵬*＊*＊**\ｎ”)；
；)”n＼****4303５1６０＊****"(ftｎｉｒp?
;)（ｅdｏNｍun_etaerc ＝ nepｏ?
clｏse = creaｔe_nuｍNoｄe(）；
= txeｎ〉—esolｃ = erp>—esolc ＝ txen＞-nepo = erp〉－nepo?NULL；
態狀標目與始初入輸戶用由／/ ;)（tinｉ? ? // 點節始初化始初?
;1p* ｅdoＮmun?
;)（ｅｄｏNmun_etaerc = １p?
;ＬLUN ＝ tnｅｒａp〉-1p?
;0 = hｔpｅed〉—1p?
；0 = i ｔｎi?
ｆor (ｉ = 0; i〈９； i++)
{
?
;]ｉ［ｎiｇｉro = ］i[ｍun>—1p?? }
?
ｏpeｎ_ｉｎsert(ｏpｅn, p1）；
ｎuｍNｏde＿ｎum = 1;
ｐ１ ＝ opeｎ_ｇeｔfirsｔ(ｏｐen）；
whiｌe (p１ ！= NUＬＬ）
｛
;)1p ,esoｌｃ（ｄneｐｐa＿esolc??
))１p(dnapxe（ fi?
；ＳSECＣＵＳ_ＴＩXE nruter?
p１ = oｐeｎ＿gｅtｆiｒst(open);
}
;)＂ｎ＼!noitｕlｏｓ oN”（fｔｎirp?
rｅtuｒn ＥXＩT_SUＣＣEＳＳ; }
／* -—--－-—--- eｎd of fuｎctｉon maiｎ -——--——－-— */ vｏｉd iｎit(）
{
whilｅ （1）
｛?
priｎtf（”Ｐｌease ｉnput oprｉginａl sｔatus：\nFor example:123456780 stanｄs fｏr\n＂
\3
2
1” ”n?
? ”４
5
6\ｎ”
? ＼0
8
7” ;）”ｎ?
;]01[pmet raｈc? ;)pｍｅt& ,"ｓ％”（ｆnaｃｓ??
int i = ０;
］ｉ[pmet ＆& 0 ＝〉 ’0’ － ］ｉ[pmeｔ && 9〈i ；0 = i（ ｒof?- "0’ 〈= 8; i++)
{??
orｉgin[i] = ｔeｍp[ｉ］ - "0＇;
? }
ｐrintf("Please inｐut target sｔatus:\n”)；
；）pmet& ,＂s%"(fｎacs? ；０ = j tni??＇ - ]j[ｐmet && 0 =〉 "0" - ]ｊ[pmeｔ ＆& 9〈ｊ ；0 = ｊ( ｒof??0＇ <= ８; j+＋)
? {
；’0’ — ]j[pmet = ］j[tegrａt??
}?
;)"sｌc＂（meｔsｙs?
ｉｆ (i ＝＝ 9 ＆& j == ９）
｛
?
；kaerb?
}
｝ ｝
/* —--—— ｅｎｄ ｏf function ｉｎit —－—-— ＊/ void opeｎ_inｓert（numNode *head, numNｏde ＊iｔeｍ）
{
；q* ,p* eｄoNmｕn? ;txen>—daeh ＝ p? ｑ = hｅａd;
）eulav〉－p 〉 eulａv>—mｅtｉ ＆＆ LＬUN =! ｐ（ elihw? ｛
;ｐ = q??
;txen〉-p = ｐ? }
ｑ—>neｘt = item;
;ｑ = ｅrp〉-ｍeti? ；ｐ = txen＞-ｍeti? ｉf （ｐ ！= NＵＬL）
{? ；metｉ = ｅrp>—p?? }?}
/* —－—-— end oｆ fｕｎｃtiｏn opｅn_insｅrt —--—- ＊/ nｕｍNode *oｐｅｎ＿getfirst(ｎuｍNodｅ *head) {
；p＊ eｄoNmun? )LＬＵＮ == txen〉-ｄaｅｈ( fi? {?
；ＬLＵＮ nｒuter? }? p = heａd—〉nexｔ;
；txen>-ｐ ＝ txｅｎ＞-ｄaeｈ? if (p—〉neｘt != ＮULＬ)
{? ? p—>neｘｔ—〉pre = ｈead；
｝
p—〉pｒｅ ＝ NULL;
p-＞nexｔ = NULＬ;
;p nruteｒ?
}
/* －—-—— eｎd of funcｔion ｏpen_getfirst -———— ＊/ void ｃlosｅ_appeｎd(nuｍＮoｄe ＊heａd， nuｍNｏde ＊item）
{
;txen〉—daeh ＝ txｅn〉-meｔi? ;ｄaeｈ ＝ eｒｐ＞—meti? ｈｅａd－〉ｎｅxt = item；
)LLUN =！
ｔxen＞－meti( ｆi? {
；mｅtｉ = erｐ＞—txｅn>-meti?? ｝?}
/＊ ————- eｎd of fｕnｃtion close_append -—－—－ *／ iｎｔ eｘpand（numNｏde ＊p１) ｛
numNｏｄe ＊ p２;
int op = １;
）++po ；4 =＜ pｏ ;1 ＝ po( rｏf? ｛?
p２ ＝ ｃopy_numNoｄe（ｐ１）;
;)po ,ｍun〉—2p(etａｒepｏ??
if (isNewＮode(open, cloｓｅ, p2－〉num）
== ’N")
{???;1ｐ = tnerap〉—2p? ?
p2-＞dｅepｔｈ = p1—＞dｅepth + １;
?
;)mun>-2p(ｆｆid = mｕｎfｆid〉-２p?
;munffiｄ〉—2p ＋ htpｅed>—2ｐ = eulａv〉—2p??）0 == munffid〉－2ｐ( fｉ?
｛?
ｔotal_stｅp ＝ pｒｉnt＿resulｔ(p２）;
?
;）ｐetｓ_latot ,"n＼d% :pets latoT"（ftnirｐ?
;)nepo（tsil_eerｆ?
?? fｒee_lisｔ(ｃlｏｓe）；
? reｔurn 1；
?
}?
ｅｓle?? {???
;++mun_edoNmuｎ?
opeｎ_ｉｎsｅｒt(ｏpｅn， p2）；
｝ ??
}? ? else
free(p2）；
｝
ｒeturn 0； ｝
/＊ ——--— end ｏf fuｎｃｔiｏn expand -—-—- */ inｔ operate(int m[], int oｐ) ｛
;knalb tni? blank = 0;
ｗhile （ｍ[ｂlａnｋ］ != 0 &＆ ｂlａnk<9)
? ++blａnk;
if （bｌank == 9）
;１ nruter?? ｛ )ｐｏ（ hcｔiｗs? casｅ 1：
/* up */
）2〉kｎalb( fi?
;）３ - knａlｂ + m ，knａlb + m(ｐａws?
ｂreak；
case 2: /* ｄoｗｎ ＊／
）6〈knalb( fi???;)3 + kｎａlb + ｍ ,knalb + m(ｐaws? ? ｂreａk;
／＊ tfｅl */ ：3 esａc?
ｉf （ｂlａnk != 0 && blank ！＝ 3 && blank != 6）
?
swap（m + blａｎk, m ＋ blanｋ — 1)；
;kaerb? ｃase 4：
/* ｒight ＊／
if (ｂｌaｎk ！= 2 ＆＆ blank ！= 5 &＆ ｂlａnk != 8) ?;）1 + knａlb ＋ m ,knalb + m（pawｓ? ? brｅaｋ;
defaｕｌｔ: ｒｅtｕrn 1;
}
ｒetｕrｎ 0; } void s ＊a， int *b）
{
inｔ c;
c ＝ *a;
*a = ＊b； * ；c = b?} nｕmNoｄe ＊ copy_nuｍNoｄe(numNodｅ *ｏrigｉn) {
nuｍNoｄe ＊ｐ;
；）(edoNmun＿etaerｃ ＝ p? p—>ｄeepth = oriｇin—〉deｅpth；
ｐ-〉diffnum = ｏrｉgin—>dｉffｎum;
;eulａv〉-nigiro = eulａv〉－ｐ? ｉnt ｉ;
）++i ;9<i ;０ = i( ｒof? {
? (p->nuｍ)［i］ = (oriｇin－>ｎum)[ｉ]；
}
;p ｎrｕter?｝
/* -—－—— enｄ of fｕｎcｔion coｐy_nｕmNode ——-－— */ int diff(ｉｎt ｎum[9]）
{
;0 = muｎfｆｉd ，i tni? )++i ;9〈i ；0 ＝ ｉ( ｒｏf?
)］i[tｅgｒａt ＝！
]ｉ［muｎ（ fｉ? ?
diｆｆnum++;
return diｆfnum; ｝
/* ——－-— end of fｕnctiｏｎ ｄiｆf —－-—- ＊/ chａr isＮｅwNoｄe(numNode ＊oｐen, ｎｕmＮodｅ ＊close， ｉnｔ nｕm［9］) {
ｎｕmNode *p；
ｉｎt i = ０；
;tｘen>-nｅpo = p? ｗｈile (p !＝ NULL）
{? ? foｒ (i ＝ ０; i<9; i＋+)
? ｛
?
iｆ （p—>num[ｉ] ！= nｕm［i])
?
;kａeｒb? ｝?? ? iｆ （i ＝= 9）
retuｒｎ ’O’; //Ｏpen
? ｐ = p-＞neｘt;
}? ;txｅn〉—eｓｏｌc = p? wｈile (p ！＝ NULＬ)
{? ）++i ；9<i ；0 = i( ｒof??
｛
)]i[mun =! ］i[mun＞-p( fi?
bｒｅak;
? }
? if (i == 9)
esｏlC// ；"C" nruteｒ?
p = p->ｎexｔ；
}
;’N’ nruter?}
/* -—-—— eｎｄ of ｆunction isNeｗNode －-—－- */ voiｄ free＿list(nｕmNode *heａｄ) {
nｕmNode *p， *ｑ；
ｐ = head—〉neｘt;
ｗｈｉｌｅ (p != NULＬ)
{ ;txen〉-p ＝ q? ? ｆree（p）;
? p = q；
｝? frｅe(head); ｝
/* －———— end of ｆunctiｏn freｅ_lｉst —--—- */ void print_ｎum（inｔ nｕm[9］）
｛
inｔ i;
ｆor (ｉ = 0； i<9; i＋+）
?｛ ;)］ｉ[mun ，"t\ｄ%”(ftnirp?
）2 == )3 % ｉ（（ fi?
；）”n\"(ftnirｐ?? }?｝
/* —-—-- ｅnd of functiｏn ｐrint_num -－-—- ＊/ ｉｎt priｎt_reｓｕlt（ｎuｍNode ＊iｔem）
{
nｕmＮode *ｐ;
int stｅｐ;
;mｅti = p? if (p !＝ NULＬ)
｛
? step = print_ｒeｓｕlt（p->paｒent）；
；)1 + petｓ ，"n\:d% petSn\"(ftｎirp?? ;)muｎ>-p(ｍｕn＿tniｒｐ?? ? rｅｔｕrn ｓtep + １;
}? ｅｌse
{
? return -1；
｝?} （2)實驗截圖
5 心得體會
本次實驗對我最大得收獲就就是我再解決問題得過程中提高了Ｃ語言編程能力,對用編程解決實際問題有了更加深刻得認識。此次實驗我采用了寬度優先算法,成功得完成了本次實驗，我對寬度優先算法有了更為深刻得理解，我相信我再經過幾次寬度優先算法得練習,我就可以用它來解決一些生活中得實際問題。
人工智能課內實驗報告 實驗 4:回溯算法求解四皇后問題 學
院：
自動化學院
班
級：
智能 1501
姓
名:
劉少鵬 (33)
學
號：
０615303４
日
期：
2017-０4-05 １０:15—12:00
實驗４
回溯算法求解四皇后問題 1 實驗目得: 理解搜索得概念,掌握回溯搜索算法，用回溯算法求解四皇后問題、 2 實驗要求：
用 VC 編程實現求解四皇后問題得回溯過程,根據實驗結果寫出回溯算法得總結、 ３ 實驗結果分析:
回朔算法總結: 回朔算法就是從一條路往前走,能進則進，不能進則退回來,換一條路再試。本次四皇后就就是回溯算法，第一步按照順序放一個皇后,然后第二步符合要求放第 2 個皇后，如果沒有位置符合要求,那么就要改變第一個皇后得位置,重新放第 2 個皇后得位置,直到找到符合條件得位置就可以了。
回朔算法就是一個既帶有系統性又帶有跳躍性得得搜索算法。它在包含問題得所有解得解空間樹中,按照深度優先得策略,從根結點出發搜索解空間樹。算法搜索至解空間樹得任一結點時，總就是先判斷該結點就是否肯定不包含問題得解.如果肯定不包含，則跳過對以該結點為根得子樹得系統搜索，逐層向其祖先結點回溯。否則,進入該子樹,繼續按深度優先得策略進行搜索。回溯法在用來求問題得所有解時,要回溯到根,且根結點得所有子樹都已被搜索遍才結束。而回朔算法在用來求問題得任一解時,只要搜索到問題得一個解就可以結束。這種以深度優先得方式系統地搜索問題得解得算法稱為回溯法，它適用于解一些組合數較大得問題。
4 實驗得心得體會：
通過本次實驗我理解了搜索得概念，掌握了回溯搜索算法，學會了用回溯算法求解四皇后問題。實驗中我遇到了很多問題，但就是通過自己得努力，與同學得幫助,我順利得完成了實驗，在此過程中我有了很大得收獲,我對回朔算法有了更深刻得理解,我在此次實驗結束后,我想回朔算法可以求解四皇后問題，那么八皇后,十皇后,N 皇后問題該怎么解決,我想通過自己得不斷學習這些問題都將一一解決。
參考示例代碼:
＃ｉｎcｌude 〈ｓｔdiｏ、ｈ＞ #deｆine ｂool iｎt #deｆinｅ falｓe ０ #define trｕe 1 int Num=1； //用來記錄有幾種實現方法 inｔ ｑ[5］; bool C[5];//C［１］~C[4],布爾型變量,當前列就是否安全
boｏl L［９]； //L［2］~L[８］,布爾型變量，(i－j)對角線（從左上角到右下角)就是否安全
2〈=(i—j)+５〈=8； bool R[9]； //Ｒ[２]～R［8],布爾型變量,（i+j)對角線(從右上角到左下角）就是否安全 2〈=i+j<=８ int qipａｎ［4］［4]={｛0，0,０,0},｛0，0,０,０},{0,0，０,0}，{0,0,0,０｝}; ｖoiｄ Trｙ（int i）
/／皇后放置函數 ｛
iｎt j,k,n，m;
)+＋ｊ；5〈j;１=j(rof? ｛
列 j 第 行 i 第示表//)）eurt==］j+i［R（&＆)eurt=＝]５+ｊ-i［L(&&）euｒt=＝]j[C（(ｆi?就是安全得
? {
q[i] = j；
//
第一件事,既然 i 行，j 列安全,就放置皇后在(i,j)處
?
C［j] ＝ false;
// i 行,ｊ列 放置皇后后不再安全
?
全安再不將線角對得角下右到角上左從得在所）j，i（ ／／
；ｅslaｆ ＝ ］5＋j－ｉ[Ｌ?
;eｓlaf = ]j+i[R?
后皇個 4 完放否是就斷判,事件二第//
）４<i(fi? {??? ??
個一下放著接則,后皇個四完放未//
;)１+ｉ（ｙrT? ｝???
? eｌse
//四個皇后已經放完
?? {
?
Nｕm＋+;
??
printf("方案:%d＼n”,Num);
for（k=1；k〈5;ｋ＋+)
?
{
?
qiｐａn[k—1][q［k]—１］=１；//輸出棋盤，皇后用 1 表示，０表示該位置無皇后
｝
?
）++ｍ；４<m;0=m（rｏf??
? ｛
?
ｆｏr(ｎ=0；ｎ〈4；n++)
??
prｉｎtf("％d\t"，qｉpａn[m］[n］)；
???
pｒｉntf（”\n")；
?
? ｝
fｏｒ(m=０;ｍ〈4;m++)
//棋盤再次初始化
?）++n；4〈n；0=n(roｆ?
?
qｉｐan[m][n]＝0；
?? ｝
?
溯回,志標得全安改修,事件三第//
；eurt=]j[C? ?? L［ｉ—ｊ＋5］=true; ?；eurt=］j+ｉ[R? }?? ｝ ｝ ｉnt main（ｖｏid) {
inｔ ｉ;
；0 ＝ muN? pｒintf(”*＊*＊實驗四 回溯算法四皇后******＼n”）；
prｉｎtf(＂****智能 1５01 班****＼n")；
;）”n\＊*****4３035160＊***”(ftniｒｐ? ;）”n＼＊*＊＊***＊鵬少劉＊***”(ｆtnirｐ? ;）"n＼后皇無置位該示表０，后皇有置位該示表１＂（ftnirp? )++i;5〈i；1=i(roｆ? ｛?
C[i］=tｒｕe；
}? fｏr（ｉ=0;i<９；ｉ＋＋)
｛
;eurt = ]i[Ｒ = ]i[Ｌ?? ｝? Try(１);
ｒetuｒn 0; }
人工智能課內實驗報告 實驗５: 編程實現一字棋游戲
學
院:
自動化學院
班
級:
智能 1501
姓
名：
劉少鵬 （33)
學
號：
０6153０34
日
期:
２01７－04—１1 10：１5－１２:0０
實驗５ 編程實現一字棋游戲 1 1 實驗目得 ：
(1)理解與掌握博弈樹得啟發式搜索過程;
(2）熟悉博弈中兩種最基本得搜索方法——極大極小過程與過程;
（３)能夠用 VC 編程語言設計簡單得博弈游戲． ２實驗要求 :
用ＶC 編程實現一字棋,根據實驗結果寫出總結。
3 實驗結果 分析 : 3、1 實驗代碼 ＃incｌuｄe 〈iostream＞ #incｌude <wｉnｄows、ｈ> #iｎcｌude 〈cｏnio、h〉 ＃ｉnｃluｄe <strｉng> #iｎｃlude <ctimｅ＞ using namesｐacｅ std; #ｄeｆｉｎe
MAX_NUＭ １00０
//計算機獲勝得標志 #defiｎe
NO_BLANK —1001／/人獲勝得標志 #dｅfiｎe
TRＥE_DEＰTH 3
//遞歸深度 ＃define
NＩＬ 10０1
／／根節點得函數走步評估值 class Statｅ
/／棋盤狀態節點，一個Ｓtate實例就就是一個棋盤得狀態節點，從而形成一顆樹狀結構 ｛ public:
iｎt QＰ[3]［３];
/／當前棋盤數組
ｉnt e_fｕn;
//評分結果
點節態狀有所得步一后得下態狀盤棋前當//
;］９[dlihc ｔni?
inｔ pａrent;
/／當前棋盤狀態下得父母節點下標
標下點節得優最ｎuｆ_e里]９［dliｈｃ在／／
；dlihＣtsｅb tni?｝； claｓs Ｔiｃ { ｐuｂlic:
盤棋時臨得歸遞層于用// ；］３[]３[PQpｍt tni? sｔaｔiｃ inｔ s_count;/／葉子節點得靜態總數
組數點節態狀盤棋//;]MＵN＿XAM[sｅtａtS ｅtａtＳ? Tic(）
｝{? voiｄ iniｔ（) //初始化棋盤，將各個位置得棋盤都置為
｛? ;０ = tｎuoc_s?? ? fｏｒ （inｔ ｉ ＝ 0; i<３; i++）
）++j ；3〈ｊ ；0 = ｊ tni（ rof? {??? ?
;0 = ]j[］i［ＰQ、]0［sｅtatＳ? ?
}
? Ｓtａtes[0］、parｅｎt = NIL;
｝
示顯面界盤棋//)（PQtｎirP diov? ｛?
)＋+i ;３〈i ;0 = ｉ ｔni( rof?
｛? ?
)++ｊ ；３〈ｊ ；0 = j tｎi( rof? ?
{
；’t\’ ＜〈 ]j［］i[ＰQ、］０[sｅtａtＳ 〈〈 tuoｃ?? ?? }
?
；ldne <〈 ｔｕoｃ? }?? }? 勝獲方一何任令有否是就態狀盤棋得前當斷判// )ｓ etaｔS(niＷsI tnｉ? ｛
;0 ＝ ｉ ｔｎi?
）＋+i ;3〈i ;0 ＝ i( roｆ?
{
nruter)１ == ］２[］ｉ[PQ、s ＆＆ 1 == ]1［]ｉ[PQ、s &＆ １ == ］０[]ｉ[PQ、s（ fi??1; ?nruteｒ)1- ＝＝ ]2[]i[PQ、s && 1— == ]1[]i［PQ、s ＆＆ 1- =＝ ]0[]i［PＱ、s（ fi?－1；
｝?
)＋＋i ;３<i ;０ = ｉ( rｏf?
{
?
iｆ (s、QP[0］［ｉ] ＝= 1 ＆& s、QP［１］[ｉ］ == １ ＆＆ s、ＱP［２][i] == 1）return １; ?)1- == ]i［］2[ＰＱ、s && １— =＝ ]i[］1[ＰQ、s ＆& 1- == ］ｉ[］0[ＰＱ、ｓ( fｉ?ｒetｕrn -１;
? ｝
? if （(s、QP［0］［0] =＝ １ ＆＆ s、QＰ[１][１] ＝＝ 1 &＆ s、QP［2]［2] ＝= 1) ｜| （s、ＱＰ［２］[0］ == 1 && s、QP[1]［１] == 1 && ｓ、QＰ[0][2］ == 1）)ｒｅturn １；
== ]２［]２[PＱ、s ＆& 1— == ]1[］1[ＰQ、s ＆& １— ＝= ］０［]0［ＰQ、s(( fｉ??—１）
|| （s、QP[2][０］ == —１ ＆& ｓ、QP[１]［1] == —1 &＆ s、QP[０]［2] == -１)）rｅturn -1;
retｕrn 0;
}
數函價評定判能智器機//）ｓ ｅtatS（nuf_ｅ tni? ｛
? bool fｌag ＝ tｒuｅ；
inｔ i ＝ 0；
? ｆor (i = ０； ｉ〈3; i++)
for （int j = 0; ｊ〈3； j++)
?
iｆ （s、QP[ｉ][j］ == 0）flag = false；
;KNＡLB_ＯN ｎrｕｔeｒ）gaｌf( fｉ?
if (IsWiｎ（s）
＝= －１)rｅtuｒｎ -MＡX＿NUM;
；MUN＿XAM nrｕter)1 == ）s（niWsＩ（ fｉ? ;０ = tnuoc ｔnｉ?? ）++i ；3＜i ；0 = i（ ｒｏｆ??
fｏr (iｎt ｊ ＝ 0; ｊ<3; j++)
?
if （s、ＱP[ｉ］[j] ＝= 0）tmpQP［i][j] = １;
；]j［］ｉ[ＰQ、ｓ = ］j［］i[PQpmt esｌe? ?
for (ｉ = 0； i〈3； i++) ???;3 / )]2[］i[PQｐmt + ]1［]ｉ［PＱpmt ＋ ]0［]i[PQｐmt( =+ tnuoc?
?
)+＋i ；3〈ｉ ；0 = i( rof? ?
?? count ＋= (tｍpQＰ［0][ｉ］ + tｍpQP[1］[i] ＋ tｍpＱP[2］[i]) ／ 3；
?
;3 ／ )］2［]2［PＱｐmt + ］1[]1[ＰQｐmt ＋ ］0[]0［ＰQpmt( ＝＋ tnuoc? ??? coｕｎｔ += (tｍpQP[2][0] ＋ tmｐQP[1］[１］ + tmpQＰ[0][２］) / 3;
??
for (i = 0； ｉ〈３； ｉ＋+）
)＋+j ;３〈ｊ ；0 = j tni( rｏf??
???
;1- = ]j[］i［PQpmt)0 ＝= ]j[]i［PＱ、s（ fi? ??
else tmpＱP[i][j] = ｓ、QP[ｉ][j］;
??
)＋+i ;3<i ;0 ＝ i( rｏf? ?
?
;3 / )］2[]i[PQpmt ＋ ］1［]i［PQｐmt + ］０[]i[PQpmｔ( ＝+ tｎuoc??
? ?)＋+ｉ ;3〈i ;０ = i( roｆ? ?
?
ｃount += （ｔmpQP［0][ｉ］ + ｔmpＱＰ[1]［i] + tｍpＱＰ[2][ｉ]) / 3；
??
ｃount ＋= (tmpQP［0][0] ＋ tmｐQP[１][1］ + tmｐQＰ[2］[2］）
/
3；
?
?
couｎt ＋= (tmｐQP[2］［0] + tmｐＱＰ[１]［1] + tmｐQP[0]［2]) / 3;
?
；tnｕoc nruter? ｝? )(eｎｏDoｔuＡ loob lａutｒiv? {? ;eslaf nrｕter?? }? 入輸得戶用取獲／/）(tuｐnIreｓＵ diov? {
;y ，x ，sｏp tnｉ?? L1: cｏuｔ 〈〈 ”請輸入棋子得坐標ｘy: ”;
ｃiｎ 〉> ｐos；
? ｘ ＝ pos ／ 10, y = pos ％ 1０;
? ｉf (x>0 ＆& x＜4 && ｙ〉０ && y<４ &＆ Ｓtateｓ［0］、QP［x － 1］[y — 1］ == 0)
Stａｔeｓ[0]、QＰ［x — １][ｙ — 1］ = －1;
eｓlｅ?
{
ｃout << ”非法輸入！"；
;1Ｌ otｏｇ?? ｝?? } }; ｉｎt Tic::s＿cｏｕnt ＝ 0;//初始化棋盤狀態節點總數，剛開始置為 cｌass demo : ｐublic Tic { ｐubliｃ：
)(ｏmｅd? {}
)(ｅgduJ loob? ｛? ? ｉnt i, ｊ, a = 0；
)++i ；3<i ；0 = ｉ( roｆ???)++j ；３<ｊ ;０ = j( ｒof?；++a )0 ＝= ］ｊ［]ｉ[PＱ、］0[seｔatS（ fｉ?? ? iｆ （a == ０)return tｒue；
;eｓlaf
nruｔｅr? }? virtｕａl bｏol ＡutoDoｎe(）
｛?
int a, b, i， j, m， n, mａx， min, x, ｙ；
ｉf (IｓWｉn(States[0]）
== —1)
｛??
?
coｕt <〈 ”恭喜您獲勝!" 〈< eｎdｌ; ?;eurt nruｔｅr?
}? ? a = 0, b = ０;
；0000１— ＝ xaｍ?
）++x ；3〈x ;０ = x（ rof?
）＋＋y ；3〈y ;0 = y（ rｏf?
?? Ｓｔａｔes[11］、ＱP[x][ｙ］ = Staｔes[０]、QP[ｘ]［ｙ］；
)++i ;3〈i ;0 = i（ ｒｏf? ?? fｏr (j ＝ ０; j<3； j++）
? ｛
?? ｉf (States［0］、QP［ｉ]［j］ ＝＝ 0)
??
{? ? ?;1 = a? ?
? for （x = 0; ｘ〈3; ｘ＋+)
???
）++ｙ ;3<y ;0 ＝ y( ｒｏf??
?
;]y［]ｘ［PQ、]0[sｅtaｔS = ]y[］x［PQ、]a[ｓeｔaｔＳ??
?
Statｅｓ[a］、QP[i］［j］ ＝ １;
?;０0００1 = ｎim?
）＋+ｍ ;３〈ｍ ;0 = m( rｏf? ?
）＋+ｎ ;3〈n ;0 = n( ｒof?? ???
{? ??
? ｉf （Ｓtaｔes[a］、QＰ[m］[n] == 0）
{? ???? ?? ；1 = b??
)+＋x ；3〈ｘ ；０ ＝ x（ ｒｏf?? ?
???
? fｏr (y ＝ 0； y〈3； y++)
?
??
?
;］y[]x[PQ、]ａ[setatＳ = ］y[]ｘ［PQ、]01[ｓｅtaｔＳ?
???
Statｅs[10］、QP［m][ｎ］ = —1;
??
States[１０］、e_fun = e＿fun(Staｔes[１０]);
?
?
if （Stateｓ［10]、e＿ｆun〈ｍin) miｎ = Sｔａtes[10]、e＿fun;
?
??
? }
?? }
?
;nｉm = nuf_e、]a［seｔatＳ? ?
?
if （Statｅs[a]、e＿fuｎ>max)
?
?? {
?
??
maｘ = Stａｔes［a]、ｅ_fun;
??
?
)++ｘ ;3〈x ;０ = x( ｒoｆ? ?
???
for (y = 0； y〈３； ｙ++)
? ???；］ｙ［]x[PＱ、］ａ[setａtS = ］y［]ｘ[PQ、]11[setatＳ? ?
}?? ??
}
}?
? foｒ （ｘ ＝ ０； x<3; x+＋）
? ｆoｒ (y ＝ 0; ｙ＜３; ｙ＋+)
??
；]y［］ｘ［ＰQ、］11[sｅｔatS ＝ ］ｙ[］ｘ[PＱ、]0［setatS? ? cout ＜〈 "計算機走棋” 〈< ｅndl;
；)（PQｔniｒＰ? ? if (IsWｉｎ(Sｔateｓ［0]) == 1)
｛? ?
couｔ 〈〈 ”抱歉您輸了,計算機獲勝！” 〈< enｄｌ;
;eｕrt ｎruter? ｝??
else ｉｆ (IｓWin（States[0]) ＝= —1)
｛
cout <＜ ”恭喜您獲勝！” << endl;
?? ｒｅtuｒｎ ｔｒue；
}
;ｅｓlaｆ ｎruter? } }; void mａｉｎ（) {
cｏut 〈< ＂＊＊**項目名稱:一字棋游戲得實現****" << ｅnｄl；
;ldne <＜ ”*＊**
1 0 5 1 能 智:級
班***＊" ＜＜ ｔuｏc? ；ldne ＜＜ "＊***鵬
少
劉：名
姓***＊" << tuoc? ;ldnｅ 〈〈 ”**** 4 ３ 0 ３ 5 1 6 0:號
學**＊*” << tuｏc?
ｃouｔ ＜〈 ”**＊*說
明：—1代表人落子位置，1代表電腦落子位置，０代表該位置無棋子 ＊***" 〈〈 endl;
;)”戲游小能智棋子# eｌtｉt”（mｅtｓys? ;)”2Ａ roｌoc"(mｅｔsys? char ＩｓFirst；
bool IsFiｎisｈ;
;ldne 〈〈 ”：’N’入輸請,之反！＇Y’入輸請,手先為您若＂ 〈〈 tuoc? ；tｓｒｉFsI 〉〉 nic? ；)(omed ｗeｎ = p* oｍｅd? p－〉ｉnｉt（）;
;ｌｄne <＜ ":態狀始初得盤棋” 〈< tuｏc? ;)(ＰＱtnirP>—p? ｛ oｄ?
）)（egdｕJ〉—ｐ!（ ｆi? ? { ?)"Y" == tsriFsI（ fｉ?
{??
? p-〉ＵsｅrＩnpｕt(); ｐ—>PｒｉntQP()；
)）(egduJ>-ｐ！（ ｆi?
{?
?;)（enｏＤotuA〉—p ＝ hsiniＦsI?
?
}?
? ｝
?
elsｅ iｆ (IsFirｓｔ ＝= "Ｎ＇）
{?? ?
IsＦinｉsh ＝ p-＞AuｔｏDｏｎe();
?
iｆ （！ｐ-〉Judgｅ())
{????
?
if (！IsFiｎisｈ) { ｐ—〉ＵｓerIｎｐut（); p－〉ＰriｎtQP(); }
}
｝???
}
if (p—〉Judge（）) IsFinｉsｈ ＝ ｔruｅ;
｝ ｗhile (！IsFinisｈ）;
if （(p－＞ＩsWin（p—>Ｓtates［０］）
＝＝ ０）
&& p->Judge())
{
cout 〈< "平局” 〈＜ ｅndｌ；
}? sｙsteｍ(”ｐａuse")； ｝ ３、2、實驗運行結果截圖
4、實驗心得 本次實驗,我通過學習用 VC 編程語言設計簡單得博弈游戲，從而理解與掌握博弈樹得啟發式搜索過程,熟悉博弈中兩種最基本得搜索方法——極大極小過程與過程。并且將這種思想通過代碼表現出來。
本次實驗我最大得收獲不僅僅就是學到了課本上得知識,更就是學會了如何主動得求解問題得答案。實驗中我遇到了許多困難,不僅僅就是有關編程算法方面得,還有一些代碼邏輯流程得設計。這些困難我通過上網與去圖書館查找資料或者向同學請教等方式,逐一解決了困難，我收獲良多。
?人工智能課內實驗報告 實驗 6: 子句集消解實驗
學
院:
自動化學院
班
級：
智能 1501
姓
名：
劉少鵬 (33)
學
號:
06１53０34
日
期：
2017-05—８ 1０:15-12：0０
實驗 6 子句集消解實驗
一、實驗目得
（1）熟悉子句集化簡得九個步驟; （2）理解消解規則，能把任意謂詞公式轉換成子句集。
二、編程環境
Visｕaｌ Sｔudio 20１7
三、實驗原理
在謂詞邏輯中，任何一個謂詞公式都可以通過應用等價關系及推理規則化成相應得子句集。
其化簡步驟如下：
(1) 消去連接詞“→”與“↔” 反復使用如下等價公式:
P→Q ⇔﹁ P∨Ｑ
P↔Ｑ ⇔ (P∧Q)∨(﹁P∧﹁Ｑ) 即可消去謂詞公式中得連接詞“→”與“↔”。
(２) 減少否定符號得轄域 反復使用雙重否定率
﹁(﹁Ｐ）
⇔ Ｐ
摩根定律
﹁(P∧Q) ⇔﹁P∨﹁Ｑ
﹁(P∨Ｑ) ⇔﹁P∧﹁Ｑ
量詞轉換率
﹁ （∀x）P(x∃ｘ）
﹁P（ｘ)
﹁ (∃x）P（ｘ) ⇔ （∀x)￢P(x) 將每個否定符號“﹁”移到僅靠謂詞得位置,使得每個否定符號最多只作用于一個謂詞上。
（3) 對變元標準化 在一個量詞得轄域內,把謂詞公式中受該量詞約束得變元全部用另外一個沒有出現過得任意變元代替，使不同量詞約束得變元有不同得名字．
（4) 化為前束范式 化為前束范式得方法:把所有量詞都移到公式得左邊,并且在移動時不能改變其相對順序。
(5) 消去存在量詞 (6) 化為Ｓkoleｍ標準形
對上述前束范式得母式應用以下等價關系
P∨(Ｑ∧Ｒ) ⇔ (P∨Q)∧（P∨Ｒ) (7) 消去全稱量詞 (８) 消去合取詞 在母式中消去所有合取詞,把母式用子句集得形式表示出來。其中,子句集中得每一個元素都就是一個子句。
（9) 更換變量名稱 對子句集中得某些變量重新命名,使任意兩個子句中不出現相同得變量名。
四、實驗結果及代碼
//化簡子句集得九步法演示 //作者:劉少鵬 /／時間:2017、5 #iｎclude<iostream> ＃iｎclude<sstｒeam> #inｃlude〈ｓtack〉 #iｎcludｅ〈qｕeue> ｕsｉng naｍespａｃe stｄ; //一些函數得定義 vｏｉd initＳtring(strinｇ &ini);//初始化 sｔring dｅl_inlclue(sｔrｉng ｔｅmp）；/／消去蘊涵符號 ｓtring deｃ_neｇ_raｎｄ（sｔring tｅmp);／／減少否定符號得轄域 strinｇ stａndard＿var(ｓtriｎg ｔｅｍｐ)；//對變量標準化 strinｇ ｄeｌ_eｘiｓｔs(striｎg teｍp）；／/消去存在量詞 strｉng ｃonｖerｔ_tｏ_ｆront(sｔｒinｇ ｔemp）;//化為前束形 ｓｔrinｇ convert_ｔo_aｎd(string temp);/／把母式化為合取范式 string deｌ＿all(ｓtring ｔemp);/／消去全稱量詞 sｔring deｌ_anｄ(ｓtrｉng tｅmｐ）;//消去連接符號合取% ｓｔriｎg changｅ_ｎame(ｓtring ｔemp);/／更換變量名稱
?
?? ／/輔助函數定義 bｏol ｉsAｌbuｍ（ｃhａr tｅmp);//就是字母 stｒing deｌ＿null_brａckeｔ（string ｔemp）;//刪除多余得括號 sｔrinｇ del_bｌank(strｉnｇ temp)；/／刪除多余得空格 void cｈecｋLegal(strinｇ temｐ);//檢查合法性 ｃhａr numAfｅctＣhａr（iｎt tｅmp）；/／數字顯示為字符
?
?? //主函數
voiｄ maｉｎ() ｛ —－—-----———示演法步九集句子求—－----————-－-－——-—” 〈< ｔuoc?—－----———--—” <＜ ｅndl;
;)"Ａ0 roloc”(mｅtsyｓ?/／ ;")y（P(~%）y，ｘ（Q" = ｎgirｏ?// ；”)Ｐ〉)y(P（)x（” = ngirｏ?// ;”）x(ｙ）x#(~” = ngiro?// ;”））x（b！x)x（（~” = ｎｇｉrｏ? //origｎ = "～(x!ｙ)”;
//oriｇn ＝ "~（~a(ｂ)）";
strｉng orｉgn, ｔｅｍp;
chaｒ manｄ, mand0, ｍand１， mand2, mａnｄ3， mand4， mａnd5，
mand6, mａnｄ７， ｍand8, mａnd9, maｎｄ10; ＝=＝=＝＝=＝===＝====＝＝＝====＝＝==＝=＝=＝==＝=＝=========＝=＝==＝／/?====＝========＝=＝＝====＝===
cｏｕt 〈〈 ”請輸入(Y/y)初始化謂詞演算公式＂ ＜＜ endl；
ｃｉn >〉 mａnd;
if (mａnd == ’y’ || ｍaｎd =＝ ’Y＇）
;）ｎgiro(gnｉrtStini? esｌe?
；）0(tｉxe?＝===========＝＝========＝=====＝===＝=＝==＝=＝==＝================／/?=====＝==＝====＝==＝=
cout 〈〈 ”請輸入（Y/ｙ)消除空格" 〈< endl；
cｉn 〉＞ manｄ0;
)"Y’ ＝= 0ｄnａm ｜| "y’ ＝= 0dnam（ ｆi? {?
/／dｅl_bｌanｋ(orign)；/／ｕnｄｏnｅ
ｃｏｕt <＜ ＂消除空格后就是" 〈〈 ｅndｌ
<〈?
；ldnｅ <〈 ngiro? }? eｌse
;）０（tiｘe? //=＝========＝＝==＝＝==＝=＝====＝＝=＝=＝=====＝=＝==＝＝==＝==＝＝=========＝＝=====＝＝=＝==＝====
;ldnｅ 〈＜ ”項涵蘊去消）y/Y(入輸請” <〈 tuoc? cin >〉 manｄ1；
if （mａｎd１ == ＇ｙ’ ｜| mand1 == "Y’）
{?
orｉgn = del_iｎｌclue（orｉgn);
lｄｎe <〈 ”是就后項涵蘊去消＂ 〈〈 tuoｃ? ＜<?;ｌdne << ｎgiｒo? ｝
else
exit(0）；
/／=＝===＝=＝＝=＝====＝====＝===＝======＝==＝＝=＝＝==＝====＝=========＝=＝＝===============＝＝
;ｌdｎe ＜< "域轄得號符定否少減）ｙ/Y(入輸請" << tuoｃ? cｉn >> mand2；
）’Y＇ ＝= 2dnam || ’ｙ" ＝= 2ｄnam( fi? {?
oｄ? {???
；nｇiro = pmeｔ??;）ngirｏ(dnar＿gen_ｃed = nｇiｒo? ｝
;）ｎgirｏ =! ｐmet( ｅlihw? lｄｎｅ 〈< ”是就后域轄得號符定否少減” <〈 ｔuoc?? <〈
；ldｎe 〈＜ nｇｉrｏ?? }
eslｅ?
ｅxｉt（0）； ＝======＝==＝=＝=＝===＝=＝====＝========＝========＝=＝==＝＝======＝＝／/?＝==============＝=== ? coｕt 〈〈 ”請輸入(Y/y）對變量進行標準化” <＜ endl；
cin >＞ maｎｄ3；
if (maｎd3 == "y＇ ｜| mａnd３ == ＇Y＇)
{?
;)ngiro(rａv_dradnats = ngirｏ?
coｕt 〈〈 ＂對變量進行標準化后就是” 〈〈 endｌ
<〈 ;ldnｅ ＜＜ nｇiｒo?? }? eｓle?
;)0（tｉxe?＝=＝====================＝=====＝=＝＝=＝＝==＝==＝＝==＝==＝＝====＝==／／?=＝=======＝=＝=＝====== ? cout <＜ ”請輸入(Y／ｙ)消去存在量詞" 〈< endl;
；４dｎａm 〉＞ nic? )"Ｙ" == ４dnam || "y" ＝= ４dnam( fi? {
orign ＝ ｄel＿ｅxｉｓts(oriｇn);
ldne <〈 ＂)數函 melokS 個一是就）ｘ(ｇ = ｗ(是就后詞量在存去消” 〈〈 tuoc?
? 〈< orign ＜〈 ｅｎdl;
}
else
；）０（tixe? /／==＝=＝＝======＝===========＝==＝=====＝==＝=＝===============＝===========＝==＝======= ?
ｃouｔ << ＂請輸入（Y/y）化為前束形" <＜ endl；
cin 〉> mａnｄ5;
)’Y’ ＝＝ 5dnaｍ |｜ "y＇ == ５dnam（ fｉ? ｛
;）nｇiｒo(tｎorf_ot_trｅvnｏc ＝ ngirｏ?
ｃｏut <〈 ”化為前束形后就是” <〈 eｎdｌ
＜<
；ｌｄne 〈< ngiro?? ｝? elsｅ
；)0(tｉｘe? //＝=＝=======＝=＝＝===＝====＝===＝=＝=====＝==＝========＝==＝==＝========＝=＝==＝＝===＝===== ? cｏuｔ 〈< ”請輸入(Y/y）把母式化為合取方式" 〈< enｄｌ；
;6ｄnam >＞ ｎｉｃ? )"Ｙ’ == ６dnａｍ || "ｙ＇ == ６dnaｍ（ ｆi? {?
；)ngiro(ｄna_ｏｔ_treｖnoc = ｎgｉro?
ｌdne 〈〈 "是就后式方取合為化式母把" ＜〈 ｔｕoc? 〈<?
;lｄｎe 〈< ngiｒo? }
elｓe
;)0（ｔixe?=======＝===＝＝===＝=＝===＝======＝===＝=======＝==＝====＝====＝==＝=/／?＝＝＝==＝=＝＝=========
cｏut 〈< ＂請輸入（Y/y)消去全稱量詞” 〈〈 endｌ；
;7dnam >〉 nｉc? if (mand7 == ’y’ || mand7 == "Ｙ’)
{
;）nｇiro(lla＿led = ngｉro?
ldnｅ << "是就后詞量稱全去消” ＜＜ tｕoc?
<< ；lｄｎe 〈< ngiｒo?? ｝? eslｅ? ;）０（tixe?? /／=========＝=＝===========＝===========＝=====＝＝＝＝====＝========＝==＝======＝=＝==＝=＝=
coｕt 〈< ”請輸入（Y/ｙ)消去連接符號” 〈〈 eｎｄl;
;8dnaｍ 〉〉 nic? if （ｍａnd8 == ’ｙ" || mand8 ＝= ’Y"）
{
；)ngiｒo(dna＿led = nｇiro?
ｃout 〈< "消去連接符號后就是” <〈 eｎdl
〈<?；lｄne 〈〈 ngiro? ｝
eslｅ?
;）０(tｉxe?＝＝==＝==＝=＝=＝==＝====＝==========＝====＝=======＝=＝＝=＝====＝=/／?====＝＝=＝=＝======＝==＝=＝
cout 〈〈 "請輸入（Y／ｙ)變量分離標準化” ＜〈 ｅndｌ;
；9dnam >> nｉc? )’Y’ =＝ 9dnａｍ || "y" == 9dｎam( fi? {?
；)ｎｇiｒo（eman_eｇnahｃ = nｇiｒｏ?
lｄne 〈〈 "）x 量變替代 3x，２x,1ｘ(是就后化準標離分量變＂ 〈〈 tuoｃ?
〈＜ ；ldｎe 〈〈 ngirｏ?? }? else
;）0（ｔixe? ／/＝＝＝＝==＝===＝==＝==＝＝====＝===＝========＝=＝======＝=========＝==＝===＝==＝＝＝＝======== --－——－-—－-—畢完－-—-—---—---—————-－－————-" ＜＜ tuoc?－—-————-——-—－—-—-—-—--—－＂ ＜＜ eｎdl;
couｔ 〈＜ "（請輸入 Y/y）結束” ＜＜ enｄl；
od? {
} ;）)(rａhctｅg == ’Y" |｜ )(rahcteｇ == ’ｙ’( elihｗ? ｅxit(0); } void inｉtＳtrinｇ（sｔｒｉng ＆ini）
{
;bdｎam ，aｄnam rａhc? ；ldne 〈〈 "式公詞謂得換轉要需所您入輸請” 〈< tuoc? coｕｔ <〈 "需要查瞧輸入幫助（Y／N)? ” <〈 ｅndl；
cin >〉 ｍaｎda;
)"y’ =＝ adnａｍ ｜| ’Y’ == adｎam（ fi? ne 〈〈 ”，＃為詞量在存，為詞量稱全，〉為號符涵蘊時入輸定規程例本" 〈〈 tuoｃ?ｄl ” 〈<< ”母字個一用請名數函，) 、 （為別分號括右左，%為取合,!為取吸,~為反取??〈 ｅndl;
;ldne <〈 "義定自戶用否是就擇選)n/y(入輸請” <〈 tuoｃ? cｉn 〉＞ maｎdb；
if (manｄb == ’Ｙ＇ ｜| ｍandb == "y＇）
;ini >〉 ｎｉc? eｓle?
ini ＝ ”(x)(Ｐ(ｘ)＞((ｙ)（Ｐ(y)>Ｐ(f（x, y))）%～(y)（Q（x,y）〉P(ｙ））))＂；
cｏut 〈＜ "原始命題就是” <＜ eｎdｌ
〈< iｎi 〈〈 endｌ; }
string del＿ｉnlclue（sｔriｎg temp)//消去>蘊涵項 {
//a〉b 變為~a!b
char cteｍp［1０0］ ＝ ｛ ”” }；
;tuptuｏ gnirts? int length = tｅmp、lengtｈ();
;0 = glaf ,0 = ｔekcarb_thｇir ,０ = i tnｉ? stack<char〉 stacｋ1， stａck2, ｓtack3;
；））(rts_c、pmet ,pmｅtc（s_ｙpcrts? )1 - htgneｌ =〈 i ＆＆ ’０\" =！
]i[pｍｅtｃ（ ｅlihｗ? {?
sｔａｃk1、push(ctｅｍp[ｉ］）；
if (’〉＇ ＝= ctemp[i + 1]）//如果就是 a〉ｂ則用~a！b 替代
｛
;1 = glaf???出彈］ｉ［pmetｃ把則母字是就果如/／）)］i[ｐmｅtc（mｕblAsｉ( fi? {? ?
?
ｓtack１、poｐ（）；
?
ｓtack1、pusｈ（’~’）;
?? staｃk1、push(ctemｐ[i］);
;)"！’(hｓup、1kcaｔｓ??
? i ＝ ｉ ＋ 1;
｝??
? eｌse if (’）" == ctemp［i])
{? ?
;++tｅkｃarｂ_tｈgiｒ?
?
do
{ ???
ｉｆ （’（’ == ｓtack1、top（）) ????
;－－ｔｅkcarb＿thgiｒ? ? ?
stａck3、pｕsｈ(stack１、toｐ（）);
；）(pｏp、1ｋcats??
?? ｝ whｉle ((ｒｉｇｈt_bracｋeｔ ！＝ 0));
?
;）)（pot、1kcats（hｓuｐ、3ｋcatｓ???
;)(pｏp、1kcａts???
;）"～’(hｓuｐ、1kcaｔｓ?
?
))(ｙｔpｍe、３kcats!( ｅｌihw?
?? {
?
;))(pｏｔ、３ｋｃaｔs（hsup、１kｃaｔｓ?
?
；）(pop、3kcats??
}??
；)"!’(hsup、１ｋｃａｔs?? ?；1 + i ＝ ｉ? } ??
｝
；++ｉ?? }? wｈｉｌe （！sｔack１、eｍｐty())
{
sｔaｃk2、puｓh（stack１、toｐ());
;)（ｐop、1kcaｔｓ?? ｝? ））（ytpｍｅ、2kcatｓ!( ｅlｉｈw? {
;)(pot、2kcａts =+ ｔｕｐtuo??
；)（pop、２kcats? }? )1 == ｇｌaf( fi?
;tupｔｕｏ nruter? eｓle? ；pmet nｒｕter??} string dec＿ｎeg_ranｄ(stｒing ｔemp)//減少否定符號得轄域 ｛
ｃhaｒ ctemp[100], teｍpc；
;ｔｕptuo gnｉrts? int ｆlaｇ2 = ０;
;)(htgneｌ、ｐｍｅt = htｇnel ,０ = ｔekcaｒb_tfel ,0 = i tni? ;2kcats ,1kcaｔs >ｒahc〈 ｋcats? ｑueuｅ <chａr〉 ｑuｅue1；
中組數符字到制復//；))（ｒtｓ＿c、ｐｍeｔ ,pmetc(ｓ_ypcrts? wｈile （ｃtemp[ｉ] !＝ "\0’ &＆ ｉ 〈= lｅngth － 1）
{
；)]i[pmetｃ(ｈｓuｐ、1kｃａｔｓ?? 做不都么什則否~是就果如／／）’~" == ]i[pmeｔc（ fi?? ｛??
；]２ + i[ｐmetc ＝ of ｒahc??
做不都么什則否,(是就果如/／）’(" == ］1 + i[pmetc( ｆi?
? ｛
?
iｆ (ｆo ＝= "’ ｜｜ ｆo == "＃’）/／如果就是全稱量詞
{???
?
;1 = ２galf??
?
? i+＋;
?;)（poｐ、1ｋｃats?
?
;)]i［pmetｃ（hsup、１kcats?
??
)"’ ＝＝ ｏf（ ｆｉ?
??
? sｔack1、push(’#");
?
esle?
???；）’’(hｓup、1kｃａtｓ?
；）]2 + i［ｐｍetc(hsup、1kcatｓ?
；)]3 ＋ ｉ[pmetc(hsuｐ、1kcaｔs?????
；)’（＇(hｓup、１kｃats?
?;)’~’（hｓｕp、1kcatｓ?
?
iｆ (isAｌbｕm（ctｅmp［i + 4]）)
??
｛?
??
;)］4 + i［pｍetc（ｈsｕp、1kcａts...
推薦訪問： 人工智能 實驗 報告上一篇：Java,GUI實驗報告
下一篇：數據庫實驗報告,(3)
同志們：今天這個大會，是市委全面落實黨要管黨、從嚴治黨要求的一項重大舉措，也是對縣市區委書記履行基層黨建工作第一責任人情況的一次集中檢閱，同時是對全市基層黨建工作的一次再部署、再落實的會議。前面，**
***年，我認真履行領班子、帶隊伍、抓黨員、保穩定的基層黨建工作思路，以學習貫徹習近平新時代中國特色社會主義思想和黨的十九大歷次全會精神為主線，以市局基層黨建工作考核細則為落腳點，落實全面從嚴治黨主體
根據會議安排，現將2022年履行抓基層黨建工作職責情況報告如下：一、履職工作特色和亮點1 突出政治建設，著力在思想認識上提高。牢固樹立抓黨建就是抓政績的理念，以“黨建工作抓引領、社區治理求突破，為民服
2022年以來，在**黨委的正確領導下，堅持以習近平新時代中國特色社會主義思想為指導，深入學習宣傳貫徹黨的二十大精神，以黨建工作為統領，扎實開展夯實“三個基本”活動，以“四化四力”行動為抓手，聚力創建
各位領導，同志們：根據會議安排，現就2022年度抓基層黨建工作情況匯報如下：一、主要做法及成效（一）強化政治引領。一是不斷強化理論武裝。堅持通過黨組會、中心組學習會和“三會一課”，第一時間、第一議題學
2022年度抓基層黨建工作述職報告按照黨委工作部署，現將本人2022年度抓基層黨建工作情況報告如下：一、2022年度抓基層黨建工作情況（一）旗幟鮮明講政治將旗幟鮮明講政治放在全局發展首要位置，積極開展
2022年，是我在數計系黨總支書記這個新崗位上度過的第一個完整的工作年度。回首一年來在校黨委的正確領導下，與數計系領導班子和全體師生共同走過的日子，艱辛歷歷在目，收獲溫潤心田。作為黨總支書記，我始終牢
按照考核要求，現將本人一年來，作為統戰部長履行職責、廉潔自律等方面情況報告如下：一、著眼增強政治素質，不斷深化理論學習堅持把旗幟鮮明講政治作為履職從政的第一位要求，帶領統戰系統干部堅決擁護“兩個確立”
**年，緊緊圍繞黨工委、管委會的決策部署，全體人員團結協作、凝心聚力，緊扣黨工委“**”基本工作思路，全力開拓進取，認真履職盡責，圓滿完成各項工作任務。一、個人思想政治狀況檸檬文苑www bgzjy
按照縣委關于開展抓基層黨建述職評議會議的有關要求，經請示縣委組織部同意，今天，我們在此召開2022年度基層黨組織書記抓基層黨建述職評議會議。1 首先，請**黨委書記，**同志述職。**黨委能夠主動研究