




版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進行舉報或認領(lǐng)
文檔簡介
第二章知識表示方法2-1狀態(tài)空間法、問題歸約法、謂詞邏輯法和語義網(wǎng)絡法的重點是什么它們有何本質(zhì)上的聯(lián)系及異同點答:狀態(tài)空間法:鑒于解答空間的問題表示和求解方法, 它是以狀態(tài)和算符為基礎(chǔ)來表示和求解問題的。一般用狀態(tài)空間法來表示下述方法:從某個初始狀態(tài)開始,每次加一個操作符,遞加的成立起操作符的試驗序列,直抵達到目標狀態(tài)為止。問題規(guī)約法:已知問題的描繪, 經(jīng)過一系列變換把此問題最后變?yōu)橐粋€子問題會合: 這些子問題的解能夠直接獲得,進而解決了初始問題。問題規(guī)約的本質(zhì):從目標(要解決的問題)出發(fā)逆向推理,成立子問題以及子問題的子問題, 直至最后把出示問題規(guī)約為一個平庸的本原問題會合。謂詞邏輯法:采納謂詞合式公式和一階謂詞算法。要解決的問題變?yōu)橐粋€有待證明的問題,而后采納消解定理和消解反演萊證明一個新語句是從已知的正確語句導出的, 進而證明這個新語句也是正確的。語義網(wǎng)絡法:是一種結(jié)構(gòu)化表示方法,它由節(jié)點和弧線或鏈構(gòu)成。 節(jié)點用于表示物體、觀點和狀態(tài),弧線用于表示節(jié)點間的關(guān)系。語義網(wǎng)絡的解答是一個經(jīng)過推理和般配而獲得的擁有明確結(jié)果的新的語義網(wǎng)絡。語義網(wǎng)絡可用于表示多元關(guān)系,擴展后能夠表示更復雜的問題2-2設有3個傳教士和3個野人到達河畔,打算乘一只船從右岸渡到左岸去。該船的負載能力為兩人。在任何時候,假如野人人數(shù)超出傳教士人數(shù),那么野人就會把傳教士吃掉。他們?nèi)绾尾拍苡眠@條船安全地把全部人都渡過河去用Si(nC,nY)表示第i次渡河后,河對岸的狀態(tài),nC表示傳教士的數(shù)量,nY表示野人的數(shù)量,因為總?cè)藬?shù)確實定的,河對岸的狀態(tài)確立了,河這邊的狀態(tài)也即確立了??紤]到題目的限制條件,要同時保證,河兩岸的傳教士數(shù)量許多于野人數(shù)量,故在整個渡河的過程中,同意出現(xiàn)的狀態(tài)為以下3種狀況:nC=0nC=3nC=nY>=0(當nC不等于0或3)用di(dC,dY)表示渡河過程中,對岸狀態(tài)的變化, dC表示,第i次渡河后,對岸傳教士數(shù)量的變化,dY表示,第i次渡河后,對岸野人數(shù)量的變化。當 i為偶數(shù)時,dC,dY同時為非負數(shù),表示船駛向?qū)Π?,i為奇數(shù)時,dC,dY同時為非正數(shù),表示船駛回岸邊。
初始狀態(tài)為So(0,0),目標狀態(tài)為S0(3,3),用深度優(yōu)先搜尋的方法可找尋渡河方案。在此,用圖求法該問題,令橫坐標為nY,縱坐標為在格子上,沿對角線挪動一格,也能夠沿坐標軸方向挪動nC,可行狀態(tài)為空心點表示,每次能夠1nC,可行狀態(tài)為空心點表示,每次能夠1格,或沿坐標軸方向挪動2格。第偶數(shù)次數(shù)狀態(tài)轉(zhuǎn)移,沿左方,下方,或nY從(0,0)開始,挨次沿箭頭方向改變狀態(tài),經(jīng)過 11步以后,即能夠抵達目標狀態(tài)(3,3),相應的渡河方案為: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-3利用圖,用狀態(tài)空間法例劃一個最短的旅游行程:此旅途從城市 A開始,接見其余城市不多于一次,并返回A。選擇一個狀態(tài)表示, 表示出所求得的狀態(tài)空間的節(jié)點及弧線,標出適合的代價,并指明圖中從開端節(jié)點到目標節(jié)點的最正確路徑。2-4 試說明如何把一棵與或解樹用來表達圖所示的電網(wǎng)絡阻抗的計算。獨自的可分別用R、j3L或1/j3C來計算,這個事適用作來源問題。后繼算符應以復歸并聯(lián)和串連阻抗的規(guī)則為基礎(chǔ)?!?,J R-圖商定,用本來的與后繼算法用來表達并聯(lián)關(guān)系,用本來的或后繼算法用來表達串連關(guān)系
Z22-5 試用四元數(shù)列結(jié)構(gòu)表示四圓盤梵塔問題,并畫出求解該問題的與或圖。用四元數(shù)列(nA,nB,nC,nD)來表示狀態(tài),此中nA表示A盤落在第nA號柱子上,nB表示B盤落在第nB號柱子上,nC表示CZ22-5 試用四元數(shù)列結(jié)構(gòu)表示四圓盤梵塔問題,并畫出求解該問題的與或圖。用四元數(shù)列(nA,nB,nC,nD)來表示狀態(tài),此中nA表示A盤落在第nA號柱子上,nB表示B盤落在第nB號柱子上,nC表示C盤落在第nC號柱子上,nD表示D盤落在第nD號柱子上。初始狀態(tài)為1111,目標狀態(tài)為3333R1R2R3L2Z211L1Z22R4C3Z31Z21C1Z32Z3L4L3C2C4以下圖,按從上往下的次序,挨次辦理每一個葉結(jié)點,挪動圓盤,問題得解。2-6把以下句子變換成子句形式:(x){P(x)一P(x)}(2)xy(On(x,y)一Above(x,y))(2)xyz(Above(x,y)AAbove(y,z)—Above(x,z))~{(x){P(x)—{(y)[p(y)—p(f(x,y))]A(y)[Q(x,y)—P(y)]}}}(ANYx){P(x)P(x)}(ANYx){?P(x)ORP(x)}?P(x)ORP(x)最后子句為?P(x)ORP(x)(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)絡詞之優(yōu)先級以下:否認f合取f析取f蘊涵f等價)(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)]ORAbove(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)AND?p(f(x,y))]OR(EXTy)[Q(x,y)AND?P(y)]}}(EXTx){P(x)AND{(EXTw)[p(y)AND?p(f(w,y))]OR(EXTv)[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))ORQ(A,C)]AND[p(y)AND?p(f(B,y))OR?P(C)]}P(A)AND{{p(y),?p(f(B,y))}ORQ(A,C)}AND{{p(y),?p(f(B,y))}OR?P(C)}最后子句為P(A){p(x),?p(f(B,x))}ORQ(A,C){p(y),?p(f(B,y))}OR?P(C)
2-7用謂詞演算公式表示以下英詞句子(多用而不是省用不一樣謂詞和項。比如不要用單調(diào)的謂詞字母來表示每個句子。)Acomputersystemisintelligentifitcanperformataskwhich,ifperformedbyahuman,requiresintelligence.先定義基本的謂詞INTLT(x)meansxisintelligentPERFORM(x,y)meansxcanperformyREQUIRE(x)meansxrequiresintelligenceCMP(x)meansxisacomputersystemHMN(x)meansxisahuman上邊的句子能夠表達為(隨意x){(存在t)(存在y)[HMN(y)合取PERFORM(y,t)合取REQUIRE(t)合取CMP(x)合取PERFORM(x,t)]INTLT(x)}2-8把以下語句表示成語義網(wǎng)絡描繪:Allmanaremortal.Everycloudhasasilverlining.AllbranchmanagersofDECparticipateinaprofit-sharingplan.⑴ATTRManHASMortalManHAS(2)COLOURCloudLiningSilverBranchProfit-sharingLEVELATTRATTENDPlanManagePlanCOMPANYDEC2-9作為一個電影觀眾,請你編寫一個去電影院看電影的劇本。開場條件顧客想看電影顧客在足夠的錢角色顧客,售票員,檢票員,放映員(3)道具錢,電影票(4)場景場景1購票顧客到達售票處售票員把票給顧客顧客把錢給售票員顧客走向電影院門場景2檢票顧客把電影票給檢票員檢票員檢票檢票員把電影票還給顧客顧客進入電影院場景3等候顧客找到自己的座位顧客坐在自己座位一等候電影開始場景4觀看電影
(a)放映員播放
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預覽,若沒有圖紙預覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫網(wǎng)僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負責。
- 6. 下載文件中如有侵權(quán)或不適當內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 2025-2030年中國熱噴涂技術(shù)行業(yè)十三五規(guī)劃與發(fā)展策略研究報告
- 2025-2030年中國氫能源行業(yè)運營現(xiàn)狀及發(fā)展規(guī)劃分析報告
- 2025-2030年中國木塑復合材料市場運行態(tài)勢及發(fā)展策略分析報告
- 2025-2030年中國挖掘機配套市場發(fā)展狀況與投資戰(zhàn)略研究報告
- 2025-2030年中國天然氣制合成油產(chǎn)業(yè)十三五發(fā)展規(guī)劃及投資可行性分析報告
- 2025-2030年中國吡啶硫酮鋅行業(yè)風險評估規(guī)劃研究報告
- 2025-2030年中國取力器行業(yè)市場分析報告
- 油田化學劑現(xiàn)狀及其發(fā)展趨勢課件
- 稅收風險管理課件
- 幼兒園中班藝術(shù)課《臺布的設計》課件
- 宮頸疾病診療流程
- HYT 0314-2021 海水入侵監(jiān)測與評價技術(shù)規(guī)程
- 農(nóng)田雜草的調(diào)查
- 【知識點提綱】新教材-人教版高中化學必修第一冊全冊各章節(jié)知識點考點重點難點提煉匯總
- 上海小弄堂-電子小報
- 軌道交通安全專題培訓
- 物理化學完整版答案
- 節(jié)流孔板孔徑計算
評論
0/150
提交評論