下載本文檔
版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進行舉報或認領(lǐng)
文檔簡介
1、1、證明G是否是F1、F2的邏輯結(jié)論;F1:x(P(x) (Q(x) R(x)F2:$x(P(x) S(x)G: $x(S(x) R(x)2、用語義網(wǎng)絡(luò)表示下列信息:(1)胡途是思源公司的經(jīng)理,他35歲,住在飛天胡同68號(2)清華大學與北京大學進行藍球比賽,最后以89:102的比分結(jié)束。 3、用一個語義網(wǎng)絡(luò)表示下列命題。(1) 我是一個人(2) 我有一臺計算機(3) 我的計算機是PC/PIV1.8G(4) PC機是計算機(5) PC/PIV1.8G是PC機(6) PC/PIV1.8G包括硬盤、顯示器、CPU、內(nèi)存。4、利用謂詞邏輯表示下列知識(包括已知和結(jié)論),然后化成子句集: (1)凡是干
2、凈的東西就有人喜歡; (2)人們都不喜歡老鼠 求證:老鼠是不干凈的。5、設(shè)有下列語句,請用相應(yīng)的謂詞公式把它們表示出來: 1) 有的人喜歡足球,有的人喜歡排球,有的人既喜歡足球又喜歡排球。2) 不是每一個人都喜歡游泳。3) 如果沒有利息,那么就沒有人去儲蓄錢。4) 對于所有的x和y , 若x是y的孩子,那么y是x的父母。5) 登高望遠。6) 響鼓不用重錘。7) 如果ba0 和cd0 ,則有 (b *(a+c) / d)b 。6、設(shè)有如下關(guān)系:(1)如果x是y的父親,y又是z的父親,則x是z的祖父;(2)老李是大李的父親;(3)大李是小李的父親;問上述人員中誰和誰是祖孫關(guān)系?7、已知范真的老師是
3、張先生,范真與李偉是同班同學。如果X與Y是同班同學,則X的老師也是Y的老師。請問李偉的老師是誰?8、求下列公式的子句集:(1)(x) P(x)Q(x) (2)(x)P(x)($x)Q(x) 9、用歸結(jié)反演法證明下列公式的永真性(1)($x)($y)P(f(x)Q(f(B)P(f(A)P(y)Q(y)(2)($x)(y)P(x,y)(y)($x)P(x,y)10、如下圖所示,分別用代價樹的廣度優(yōu)先搜索策略和代價樹的深度優(yōu)先搜索策略,求A到E的最短費用路徑。11、設(shè)有如圖所示的博弈樹,其中最下面的數(shù)字是假設(shè)的估值,請對該博弈樹作如下工作:(1) 計算各節(jié)點的倒推值;(2) 利用-剪枝技術(shù)剪去不必要
4、的分枝。305-336-2354-3068-3369S0ABCDEFGHIJKLNM12、某單位派遣出國人員,有趙、錢、孫三位候選人,經(jīng)討論后決定:(1)三人中至少派遣一人。 (2)如果趙去而錢不去,則一定派孫去。 (3)如果錢去,則一定派孫去。 求證:一定會派孫出國。 設(shè)用P(x)表示派x出國,zhao、qian、sun分別表示三人,將已知條件與目標用謂詞公式正確的表示出來,并用消解反演進行證明。13、用全局擇優(yōu)搜索法求解重排九宮問題,設(shè)初始狀態(tài)S0和目標狀態(tài)Sg如下所示,估價函數(shù)定義:f(x)d(x)h1(x),其中d(x)表示結(jié)點x的深度,h1(x)表示結(jié)點x中的數(shù)字位置和目標結(jié)點中不相同的數(shù)字個數(shù)。例如:(1)
溫馨提示
- 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年度電子煙具噴漆定制合同
- 2025年度苗木種植基地綠色認證合作合同4篇
- 2025年版城市綠地門衛(wèi)及環(huán)境安全維護合同4篇
- 2025年個人住宅防水工程驗收合同范本2篇
- 二零二五年度棉被產(chǎn)品展示與體驗店合作經(jīng)營合同4篇
- 2025年度個人二手房買賣合同售后服務(wù)與糾紛調(diào)解協(xié)議
- 2025年度個人旅游保險合同范本6篇
- 2025年度民間汽車質(zhì)押借款電子支付合同范本3篇
- 2025年度豪華品牌個人二手車買賣合同范本2篇
- 2025年度擬上公司與會計事務(wù)所財務(wù)信息處理保密合同4篇
- 湖南省長沙市2025年新高考適應(yīng)性考試生物學模擬試題(含答案)
- 海洋工程用高性能建筑鋼材的研發(fā)
- 蘇教版2022-2023學年三年級數(shù)學下冊開學摸底考試卷(五)含答案與解析
- 英語48個國際音標課件(單詞帶聲、附有聲國際音標圖)
- GB/T 6892-2023一般工業(yè)用鋁及鋁合金擠壓型材
- 冷庫安全管理制度
- 2023同等學力申碩統(tǒng)考英語考試真題
- 家具安裝工培訓教案優(yōu)質(zhì)資料
- 在雙減政策下小學音樂社團活動有效開展及策略 論文
- envi二次開發(fā)素材包-idl培訓
- 醫(yī)院手術(shù)室醫(yī)院感染管理質(zhì)量督查評分表
評論
0/150
提交評論