版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡介
1、第二章知識(shí)表示方法2-2設(shè)有3個(gè)傳教士和3個(gè)野人來到河邊,打算乘一只船從右岸渡到左岸去。該船的負(fù)載能力為兩人。在任何時(shí)候,如果野人人數(shù)超過傳教士人數(shù),那么野人就會(huì)把傳教士吃掉。他們?cè)鯓硬拍苡眠@條船安全地把所有人都渡過河去?用Si(nC,nY)表示第i次渡河后,河對(duì)岸的狀態(tài),nC表示傳教士的數(shù)目,nY表示野人的數(shù)目,由于總?cè)藬?shù)的確定的,河對(duì)岸的狀態(tài)確定了,河這邊的狀態(tài)也即確定了??紤]到題目的限制條件,要同時(shí)保證,河兩岸的傳教士數(shù)目不少于野人數(shù)目,故在整個(gè)渡河的過程中,允許出現(xiàn)的狀態(tài)為以下3種情況:nC=0nC=3nC=nY=0(當(dāng)nC不等于0或3)用di(dC,dY)表示渡河過程中,對(duì)岸狀態(tài)的變
2、化,dC表示,第i次渡河后,對(duì)岸傳教士數(shù)目的變化,dY表示,第i次渡河后,對(duì)岸野人數(shù)目的變化。當(dāng)i為偶數(shù)時(shí),dC,dY同時(shí)為非負(fù)數(shù),表示船駛向?qū)Π?,i為奇數(shù)時(shí),dC,dY同時(shí)為非正數(shù),表示船駛回岸邊。初始狀態(tài)為S0(0,0),目標(biāo)狀態(tài)為S0(3,3),用深度優(yōu)先搜索的方法可尋找渡河方案。在此,用圖求法該問題,令橫坐標(biāo)為nY,縱坐標(biāo)為nC,可行狀態(tài)為空心點(diǎn)表示,每次可以在格子上,沿對(duì)角線移動(dòng)一格,也可以沿坐標(biāo)軸方向移動(dòng)1格,或沿坐標(biāo)軸方向移動(dòng)2格。第奇數(shù)次數(shù)狀態(tài)轉(zhuǎn)移,沿右方,上方,或右上方移動(dòng),第偶數(shù)次數(shù)狀態(tài)轉(zhuǎn)移,沿左方,下方,或左下方移動(dòng)。從(0,0)開始,依次沿箭頭方向改變狀態(tài),經(jīng)過11步之
3、后,即可以到達(dá)目標(biāo)狀態(tài),相應(yīng)的渡河方案為:d1(1,1)-d2(-1,0)-d3(0,2)-d4(0,-1)-d5(2,0)-d6(-1,-1)-d7(2,0)-d8(0,-1)-d9(0,2)-d10(-1,0)-d11(1,1)2-6把下列句子變換成子句形式:(x)P(x)-P(x)xy(On(x,y)-Above(x,y)xyz(Above(x,y)AAbove(y,z)-Above(x,z)(4)(x)P(x)4(y)p(y)-p(f(x,y)A(y)Q(x,y)-P(y)3.(ANYx)P(x)P(x)(ANYx)P(x)ORP(x)P(x)ORP(x)最后子句為P(x)ORP(x)
4、(ANYx)(ANYy)On(x,y)Above(x,y)(ANYx)(ANYy)On(x,y)ORAbove(x,y)On(x,y)ORAbove(x,y)最后子句為On(x,y)ORAbove(x,y)(ANYx)(ANYy)(ANYz)Above(x,y)ANDAbove(y,z)Above(x,z)(命題聯(lián)結(jié)詞之優(yōu)先級(jí)如下:否定一合取-析取-蘊(yùn)涵一等價(jià))(ANYx)(ANYy)(ANYz)Above(x,y)ANDAbove(y,z)ORAbove(x,z)Above(x,y)ANDAbove(y,z)ORAbove(x,z)最后子句為Above(x,y),Above(y,z)ORAb
5、ove(x,z)(ANYx)P(x)(ANYy)p(y)p(f(x,y)AND(ANYy)Q(x,y)P(y)(ANYx)P(x)OR(ANYy)p(y)ORp(f(x,y)AND(ANYy)Q(x,y)ORP(y)(EXTx)P(x)AND(EXTx)p(y)ANDp(f(x,y)OR(EXTy)Q(x,y)ANDP(y)(EXTx)P(x)AND(EXTw)p(y)ANDp(f(w,y)OR(EXTv)Q(x,v)ANDP(v)P(A)ANDp(y)ANDp(f(B,y)ORQ(A,C)ANDP(C)P(A)ANDp(y)ANDp(f(B,y)ORQ(A,C)ANDp(y)ANDp(f(B
6、,y)ORP(C)P(A)ANDp(y),p(f(B,y)ORQ(A,C)ANDp(y),p(f(B,y)ORP(C)最后子句為P(A)p(x),p(f(B,x)ORQ(A,C)p(y),p(f(B,y)ORP(C)2-7用謂詞演算公式表示下列英文句子(多用而不是省用不同謂詞和項(xiàng)。例如不要用單一的謂詞字母來表示每個(gè)句子。)Acomputersystemisintelligentifitcanperformataskwhich,ifperformedbyahuman,requiresintelligence.先定義基本的謂詞INTLT(x)meansxisintelligentPERFORM(x
7、,y)meansxcanperformyREQUIRE(x)meansxrequiresintelligenceCMP(x)meansxisacomputersystemHMN(x)meansxisahuman上面的句子可以表達(dá)為(任意x)(存在t)(存在y)HMN(y)合取PERFORM(y,t)合取REQUIRE(t)合取CMP(x)合取PERFORM(x,t)INTLT(x)2-9作為一個(gè)電影觀眾,請(qǐng)你編寫一個(gè)去電影院看電影的劇本。開場條件顧客想看電影顧客在足夠的錢角色顧客,售票員,檢票員,放映員道具錢,電影票場景場景1購票.顧客來到售票處.售票員把票給顧客.顧客把錢給售票員.顧客走向電影院門場景2檢票.顧客把電影票給檢票員.檢票員檢票.檢票
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫網(wǎng)僅提供信息存儲(chǔ)空間,僅對(duì)用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對(duì)用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對(duì)任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請(qǐng)與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對(duì)自己和他人造成任何形式的傷害或損失。
最新文檔
- 無奮斗不青春演講稿范文400字(24篇)
- 消防安全日演講稿
- 山西省《房屋銷售合同》補(bǔ)充協(xié)議(34篇)
- 道路工程工作年度總結(jié)
- 腰椎間盤突出癥介紹課件
- 衛(wèi)生保健工作記錄
- 新滬科版八年級(jí)物理第三單元光的世界各章節(jié)測試試題(含答案)
- 5GWh電池總成PACK集成生產(chǎn)線項(xiàng)目可行性研究報(bào)告模板-立項(xiàng)備案
- 廈門市重點(diǎn)中學(xué)2023-2024學(xué)年中考考前最后一卷數(shù)學(xué)試卷含解析
- 專題三市場營銷環(huán)境分析(課件)職教高考市場營銷專業(yè)《市場營銷基礎(chǔ)》
- 人教版四年級(jí)數(shù)學(xué)上冊(cè)練習(xí)八課件(含答案)
- GB/T 42548-2023海洋調(diào)查船舶舷外調(diào)查設(shè)備布放與回收安全管理規(guī)范
- 部編版語文五年級(jí)上冊(cè)《白鷺》教學(xué)設(shè)計(jì)
- 《中國茶文化學(xué)》課程標(biāo)準(zhǔn)
- AUTOCAD完整考試題庫388題(含答案)
- 公務(wù)攝影拍攝技巧分享課件
- 小學(xué)生勞動(dòng)課炒菜教案(精選8篇)
- 通用版(完整版)鋼結(jié)構(gòu)專項(xiàng)施工方案
- 出租車企業(yè)安全管理人員安全考核題庫(含答案)
- 中國古代禮儀
- 湖南某煙花爆竹經(jīng)營公司安全設(shè)施設(shè)計(jì)專篇
評(píng)論
0/150
提交評(píng)論