人工智能ArtificialIntelligence(AI)許建華xujianhua@南京師范大學(xué)計(jì)算機(jī)學(xué)院2013年秋季考試安排：時(shí)間：2013年12月31日周二下午1:30-3:30地點(diǎn)：J2-5012013年秋季學(xué)期書面作業(yè)講解狀態(tài)空間法書面作業(yè)題：15243678初始狀態(tài)12345678目標(biāo)狀態(tài)利用寬度優(yōu)先、深度優(yōu)先（深度限制為4）、有序搜索算法（啟發(fā)函數(shù)定義為數(shù)碼不在位的個(gè)數(shù)）找出上述八數(shù)碼問(wèn)題從初始狀態(tài)到目標(biāo)狀態(tài)的操作符序列？15243678123415243678124536781524367815247368521436781526437812453678124536781543267815243867152473681524736852143678152643784125367812345678154326781524386715273468152476835214367854213678152637481526437841253678412653781234567812345867寬度優(yōu)先1524367812341524367812453678152436781524736812453678124536781543267815243867152473681524736812345678154326781524386715273468152476831234567812345867深度優(yōu)先1547268315247683521734681527346815243867152486371543267813542678右邊后產(chǎn)生1524367812341524367812453678152436781524736812453678124536781543267815243867123456781234567812345867有序搜索0+31+41+31+31+42+42+22+32+43+14+04+2存在的問(wèn)題：(1)在寬度、深度搜索中，找到目標(biāo)節(jié)點(diǎn)時(shí)，少畫節(jié)點(diǎn)。我們現(xiàn)在規(guī)則是對(duì)一個(gè)節(jié)點(diǎn)使用所有可能的操作符。(2)有序搜索中，沒(méi)有計(jì)算深度值，h(n)計(jì)算有誤。(3)沒(méi)有標(biāo)出操作符書面作業(yè)：假設(shè)當(dāng)前的棋局為OX請(qǐng)用極大極小過(guò)程為MAX找出一個(gè)好棋？OXXOXOXXOXXXOXXOOXXOOXXOXOXOXOXOXO111221OOXXOXXOOXXOOXXOOXXO00001OOXX10OOXXOOXXOOXX1121OXOXXOXOXOOX00001XOXO1XOXOXOXOXOXO001存在的問(wèn)題：中間層的值不是倒推計(jì)算出來(lái)的某些棋局的值計(jì)算有誤消解原理部分的書面作業(yè)1、求公式集W={P(f(x),y),P(f(y),a)}的最一般的合一者（一致置換）第一步：k=0,公式集F0=W,置換σ0=ε（空）,分歧集D0={x,y}置換為{y/x}σ1=σ0{y/x}={y/x}F1=F0{y/x}={P(f(y),y),P(f(y),a)}k=k+1=1解：{P(f(x),y),P(f(y),a)}第二步：F1中含有兩個(gè)表達(dá)式，繼續(xù)分歧集D1={a,y}，置換為{a/y}σ2=σ1{a/y}={a/x,a/y}F2=F1{a/y}={P(f(a),a)}k=2{P(f(y),y),P(f(y),a)}第三步：F2中只有一個(gè)表達(dá)式，結(jié)束所求的最一般的一致置換或最一般的合一者為：σ2={a/x,a/y}主要問(wèn)題：合成運(yùn)算有誤，錯(cuò)誤答案：{y/x,a/y}還是兩個(gè)公式2、盞求謂盡詞公肅式～{(?x){P(鳳x)括→{(?y)則[P些(y貫)→博P(洞f(坐x,蜂y)妄)]∧(?糧y)袖[Q黑(x農(nóng),y旗)→坦P(可y)]}}}的子團(tuán)句集注：隊(duì)所有粗箭芬頭僅表割示配用對(duì)的絡(luò)括號(hào)們或者泳操作虧的符督號(hào)分析扯公式候的配對(duì)妙括號(hào)和量詞葡的轄采域～{(?x){P(鋪x)→{(?y)聚[P村(y襯)→P(巾f(掩x,航y(tǒng))介)]∧(?電y)屢[Q百(x無(wú),y雞)→P(澤y)]}}}（消嶼去蘊(yùn)筍涵）=～{(?x)習(xí){[～P(居x)概]∨{(?y)火[～P(浙y)∨P(刷f(寺x,類y)乎)]∧(?y)食[～Q(珠x,羨y)∨P(盤y)]}}}（非德直接停作用蠻到謂報(bào)詞符讀號(hào)）=失(?x)列{P(x雄)∧～{(?烏y)簽[～桿P(膠y)坑∨P惜(f勉(x拆,y致))盤]∧壘(?棗y)號(hào)[～飯Q(夠x,聚y)催∨P暮(y絹)]}}=(乓?x意){氏P(仆x)撲∧{～{(泊?y罵)[怪～P雪(y惕)∨捏P(分f(婆x,紹y)蒸)]縮慧}∨～{(?區(qū)y)產(chǎn)[～使Q(數(shù)x,炕y)寄∨P膛(y埋)]吊}}}=滴(?x){P(嘗x)∧{(?y)傳[澤P(晨y)∧～P(唱f(宅x,芬y)垃)]∨(?y)果[Q野(x玩,y蜜)∧～P(郊y)睡]}}（改壩名）=惕(?x)捧{方P(架x)∧{催(?姐y)蠟[狗P(棵y)量∧～致P(鐵f(達(dá)x,敘y)架)]世∨(顯?z)[豬Q(涂x,z)∧氏～P宗(z)]鹿}}（消拉去存躍在量彈詞）=P(a)∧烏{非[塞P(b)∧睬～P蚊(f毫(a,b))手]∨崗[Q稼(a,c)∧樓～P征(c)]宵}用常宿量a,撤b獅,浩c代替裕變量x,葡y肆,畝z（利險(xiǎn)用分寨配律殃）P∨摔(Q許∧R醬)=歪(P腸∨Q猶)∧丙(遞P∨滲R)=P(憑a)∧{椒{維[坐P籍(b分)∧～P(妨f(板a,賠b)運(yùn))]∨Q(歷a,腦c)凳}∧{[偵P串(b勁)∧～P(鞠f(當(dāng)a,納b)爸)]∨～P(買c)銅}寧}=P(a)∧{{[P(b)∨Q(a,c)]∧[～P(f(a,b))∨Q(a,c)]}∧{[P(b)∨～P(c)]∧[～P(f(a,b))∨～P(c)]}}再用一次分配律=P(貴a)∧坡{炎[P(懷b)蘆∧～帶P(躲f(顧a,皆b)扇)]講∨[予Q(燒a,沫c)翅∧～傻P(嚴(yán)c)]潑}（結(jié)館合律息）＝P(內(nèi)a)懼∧[P勢(shì)(b尿)∨坑Q(臘a,檔c)扎]∧[～泰P(倦f(抗a,偵b)柿)∨靠Q(聲a,性c)霞]∧[P證(b瓣)∨付～P偽(c慶)]孫∧[～棗P(端f(聰a,惡b)饒)∨黎～P抽(c夏)]子句父集：辯{P(橡a)辦,P(典b)椒∨Q亦(a閑,c歪),～P飾(f唉(a衡,b典))蛋∨Q匙(a禮,c朝),P(鋤b)默∨～異P(告c)亮,～P(忠f(千a,額b)渴)∨～P(醫(yī)c)銅}這里a,逃b,醫(yī)c都是登常量拴，不愚需要練改名主要鋤錯(cuò)誤擇：沒(méi)有冰按照逗步驟常量昂改名3、桂設(shè)子疲句集變?yōu)椋篠=踩{拳～P貼(x心)∨下Q(倍x)勢(shì),玻P萄(f搏(a鈔))諒,湖～賓Q(陷f(愛(ài)z)蘋)住}請(qǐng)求蔽出它襲的一我個(gè)反謝演解法窄1：①～P(煌x)司∨Q體(x磨)②P(掃f(瞞a)由)③～Q(挽f(涌z)市)可以薦消解鄉(xiāng)豐的子著集④c1=①,室c’1=Q貍(x候);演c2=②,堪c’2=φ用合他一算更法求昏{P(租x)坦,敗P(誰(shuí)f(意a)置)}的mu蠻g，得β=專{f絮(a閃)/出x}歸結(jié)蜻式或境消解究式為c=塵(c栽’1β∨c’2β)=澆Q(榨f(看a)念)①～P(苦x)滿∨Q幸(x論)②P磚(f崖(a針))錯(cuò)誤座寫法浸：{x/妹f(行a)}⑤c1=③,狡c寶’1=φ;騙c2=④,再c’2=φ用合突一算療法求煙{Q(結(jié)f(孤z)圣),口Q(零f(債a)邁)}的mg遠(yuǎn)u，得β=著{憲a/拒z}歸結(jié)符式或債消解景式為c=φ③～Q(室f(仁z)慢)④Q(稠f(妖a)挖)①～P(趴x)展∨Q昨(x艱)②P嫩(f鉗(a濫))③～Q(也f(壓z)馳)④Q(寺f(因a)得)①②mg盆u={f(鏡a)猾/x鐮}⑤φ③④mg宅u={a/肅z袖}解法2：④c1=①,濤c1’=～P(濱x)；c2=③,劇c’2=φ合一閑算法辨得mg氧u:濕β=足{f仍(z誤)/爹x}消解患式為～P(阻f(柱z)背)⑤c1=②,類c’1=φ所,c2=④撈,哪c’2=φ合一瓶算法剪得mg蔬u:中β=觸{涂a/昆z}歸結(jié)伐式或再消解奴式為c=φ①～P(教x)按∨Q圍(x你)③～Q(痛f(哀z)毫)②兇P投(f兼(a綁))④～P(青f(樸z)屑)①華～P(貪x)店∨Q瘦(x雪)②確P(你f(五a)憑)③淹～Q(滲f(主z)篩)④～P(河f(銀z)寺)①③mg穿u={f(高z)牽/x船}⑤φ②④mg圈u={a/憑z忠}4、侮設(shè)前議提條均件為F1:壓(塊?x蹲){濕P(暑x)焦→(志?y障)[頁(yè)Q(串y)扒→～夢(mèng)L(象x,牽y)控]}F2:辜(能?x懶){舌P(幼x)擦∧(故?y狀)[蛛R(掙y)銅→L畏(x增,y梳)]嫁}試用負(fù)消解以原理畫證明撫下列畜結(jié)論丟成立?。篏:腸(?x)腹[R館(x寫)→～Q(駁x)授]證明：F1的前無(wú)束合遺取范初式與蛛子句芬集：(?x)帳{P這(x敏)→故(?膀y)生[Q野(y放)→環(huán)～L溉(x述,y益)]吃}＝(趟?x參){付～P患(x愈)∨峽(?緣瑞y)拋[～閘Q(希y)貢∨～句L(飛x,券y)隊(duì)]}＝(看?x員)菠(?啊y)駐{～顛P(暈x)暗∨～新Q(建y)現(xiàn)∨～伏L(斬x,扛y)詞}子句啟集：～P(所x)∨～Q(趙y)∨～L(徑x,結(jié)y)錯(cuò)誤礙：取增“非膚”。F2的前寫束合應(yīng)取范挪式與筒子句摩集：(?x)檔{P案(x滔)∧茅(?敵y)喜[R浴(y叢)→追L(墊x,歇y)煌]}＝(近?x極){阿P(羅x)管∧(魚?y淋)[物～R圈(y蛇)∨觸L(早x,液y)財(cái)]}＝P揮(a延)∧禮(?戚y)債[～悶R(失y)擋∨L發(fā)(a向,y暈)]＝(半?y牙){捆P(克a)慨∧舉[～罰R(聞y)譽(yù)∨L爽(a簡(jiǎn),y剃)]何}子句芳集：{P(星a)店,～R(花y)∨L(圖a,究y)材}錯(cuò)誤錘：取省非結(jié)論歲取非箏的前挽束合黎取范變式與帆子句塞集：～G＝晚～{歡(?刺x)搬[R芝(x將)→兵～Q米(x沉)]等}＝～控{(敞?x暫)[薪～R鍛(x粉)∨裙～Q棕(x棟)]翻}＝(昂?x也)[貌R(勢(shì)x)嬌∧Q暈(x鄉(xiāng)豐)]＝R餃(b怒)∧椒Q(寶b)子句塘集為闖：{R(市b)消,名Q定(b趁)}錯(cuò)誤繼：與喚前面喜相同斯的常糞量符后號(hào)完整弟的子促句集芽為：{茂～P(裂x)蛛∨～及Q(腐y)毫∨～幫L(尋x,筍y你)P(張a)～R訂(z)∨恒L(睡a,z)外（改名）R(默b)Q(腫b)艘}反演短過(guò)程星：(1坊)漂～P(短x)殺∨～變Q(劣y)剖∨～椅L(攝x,窯y)(2氏)咐P(蘋a)(3施)娘～R敬(z梳)∨殿L(祥a,體z)(4置)常R(培b)(5脖)Q(察b)(6宇)剝～Q席(y乒)∨彎～L壁(a同,y踏)滔(收1)定(2運(yùn))mg哈u={越a/禮x}(7斬)著～L亂(a華,b歷)勻(5憐)(燃6)mg告u={辮b/緞y}(8邪)胞L(隔a,拴b)撒(齡3)早(4貧)mg鐮u={難b/劉z}(9樣)Φ(7也)(擔(dān)8)mg啄u=Φ5、鳳編寫Pr染ol祝og程序惕，并愚上機(jī)墳調(diào)試笨通過(guò)尿：①已接知三辨?zhèn)€前雪提F1供:：王(Wa株ng婆)先生勻是小赤李(Li燭)的老狂師F2沙：小李頂與小駛張(