版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進行舉報或認(rèn)領(lǐng)
文檔簡介
1、第二章 知識表示方法2-2 設(shè)有 3個傳教士和 3個野人來到河邊, 打算乘一只船從右岸渡到左岸去。 該 船的負(fù)載能力為兩人。在任何時候,如果野人人數(shù)超過傳教士人數(shù),那么野人 就會把傳教士吃掉。 他們怎樣才能用這條船安全地把所有人都渡過河去 ?用 Si(nC, nY) 表示第 i 次渡河后,河對岸的狀態(tài), nC 表示傳教士的數(shù)目, nY 表 示野人的數(shù)目, 由于總?cè)藬?shù)的確定的, 河對岸的狀態(tài)確定了, 河這邊的狀態(tài)也即 確定了。考慮到題目的限制條件, 要同時保證, 河兩岸的傳教士數(shù)目不少于野人 數(shù)目,故在整個渡河的過程中, 允許出現(xiàn)的狀態(tài)為以下 3 種情況:1. nC=02. nC=33. nC=
2、nY>=0 (當(dāng) nC 不等于 0 或 3)用di(dC, dY)表示渡河過程中,對岸狀態(tài)的變化,dC表示,第i次渡河后,對岸 傳教士數(shù)目的變化,dY表示,第i次渡河后,對岸野人數(shù)目的變化。當(dāng)i為偶數(shù) 時,dC,dY同時為非負(fù)數(shù),表示船駛向?qū)Π?,i為奇數(shù)時,dC, dY同時為非正數(shù), 表示船駛回岸邊。初始狀態(tài)為So(O, 0),目標(biāo)狀態(tài)為So(3, 3),用深度優(yōu)先搜索的方法可尋找渡河方 案。在此,用圖求法該問題,令橫坐標(biāo)為nY,縱坐標(biāo)為nC,可行狀態(tài)為空心點表示, 每次可以在格子上,沿對角線移動一格,也可以沿坐標(biāo)軸方向移動1格,或沿坐 標(biāo)軸方向移動2格。第奇數(shù)次數(shù)狀態(tài)轉(zhuǎn)移,沿右方,上方
3、,或右上方移動,第偶 數(shù)次數(shù)狀態(tài)轉(zhuǎn)移,沿左方,下方,或左下方移動。從(0,0)開始,依次沿箭頭方向改變狀態(tài),經(jīng)過11步之后,即可以到達目標(biāo)狀態(tài)(3,3),相應(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(2) xy(On(x,y) Above(x,y)(3) xyz(Above(x,y)A Above(y,z) Above(x,z)(4) (x) P(x)-(y) p(y) -
4、 p(f(x,y)J A (y) Q(x,y) - P(y)門1. (ANY x) P(x) P(x) (ANY x) P(x) OR P(x)P(x) OR P(x)最后子句為P(x) OR P(x)(ANY x) (ANY y) On (x,y) Above(x,y) (ANY x) (ANY y) On (x,y) OR Above(x,y) On (x,y) OR Above(x,y)最后子句為On (x,y) OR Above(x,y)Above(x,z) (ANY x) (ANY y) (ANY z) Above(x,y) AND Above(y,z)(命題聯(lián)結(jié)詞之優(yōu)先級如下:否定
5、-合取-析取-蘊涵-等價 )(ANY x) (ANY y) (ANY z) Above(x,y) AND Above(y,z) OR Above (x,z) Above(x,y) AND Above(y,z) OR Above (x,z)最后子句為Above(x,y), Above(y,z) OR Above(x,z) (ANY x) P(x) (ANY y) p(y) p(f(x,y) AND (ANY y) Q(x,y)P(y) (ANY x) P(x) OR (ANY y) p(y) OR p(f(x,y) AND (ANY y)Q(x,y) OR P(y) (EXT x) P(x) A
6、ND (EXT x) p(y) AND p(f(x,y) OR (EXT y) Q(x,y) AND P(y) (EXT x) P(x) AND (EXT w) p(y) AND p(f(w,y) OR (EXT v) Q(x,v) AND P(v) P(A) AND p(y) AND p(f(B,y) OR Q(A,C) AND P(C) P(A) AND p(y) AND p(f(B,y) OR Q(A,C) AND p(y) AND p(f(B,y) OR P(C) P(A) AND p(y), p(f(B,y) OR Q(A,C) AND p(y), p(f(B,y) OR P(C)
7、最后子句為P(A) p(x), p(f(B,x) OR Q(A,C) p(y), p(f(B,y) OR P(C)2-7 用謂詞演算公式表示下列英文句子 (多用而不是省用不同謂詞和項。例如不 要用單一的謂詞字母來表示每個句子。 )A computer system is intelligent if it can perform a task which, if performed by a human, requires intelligence.先定義基本的謂詞INTLT(x) means x is intelligentPERFORM(x,y) means x can perform y
8、REQUIRE(x) means x requires intelligenceCMP(x) means x is a computer systemHMN(x) means x is a human上面的句子可以表達為(任意 x)(存在 t)(存在 y) HMN(y)合取 PERFORM(y,t)合取 REQUIRE(t)合取CMP(x)合取 PERFORM(x,t) INTLT(x) 2-9作為一個電影觀眾,請你編寫一個去電影院看電影的劇本。(1) 開場條件(a) 顧客想看電影(b) 顧客在足夠的錢(2) 角色顧客,售票員,檢票員,放映員道具錢,電影票場景場景1購票1. 顧客來到售票處2. 售票員把票給顧客3. 顧客把錢給售票員4. 顧客走向電影院門場景2檢票1. 顧客把電影票給檢票員2. 檢票員檢票3. 檢票員把電影票還給顧客4. 顧客進入電影院 場景
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫網(wǎng)僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 2025版實驗室裝修、設(shè)備采購一體化合同范本3篇
- 2025版庭院園藝設(shè)計租賃合同示范文本大全3篇
- 《社會主義發(fā)展戰(zhàn)略》課件
- 《我的家鄉(xiāng)河北》課件
- 基于2025年度標(biāo)準(zhǔn)的軟件開發(fā)與技術(shù)服務(wù)合同3篇
- 2025版木托盤產(chǎn)業(yè)鏈整合合同4篇
- 2025版學(xué)校飯?zhí)檬称钒踩c營養(yǎng)管理承包合同3篇
- 云母制品在平板電腦觸控面板材料中的應(yīng)用考核試卷
- 公路工程現(xiàn)場急救與事故處理考核試卷
- 2025年度木材進出口貿(mào)易代理合同標(biāo)準(zhǔn)文本2篇
- 2024版?zhèn)€人私有房屋購買合同
- 2024爆炸物運輸安全保障協(xié)議版B版
- 2025年度軍人軍事秘密保護保密協(xié)議與信息安全風(fēng)險評估合同3篇
- 《食品與食品》課件
- 讀書分享會《白夜行》
- 光伏工程施工組織設(shè)計
- DB4101-T 121-2024 類家庭社會工作服務(wù)規(guī)范
- 化學(xué)纖維的鑒別與測試方法考核試卷
- 2024-2025學(xué)年全國中學(xué)生天文知識競賽考試題庫(含答案)
- 作品著作權(quán)獨家授權(quán)協(xié)議(部分授權(quán))
- 取水泵站施工組織設(shè)計
評論
0/150
提交評論