《人工智能》隨堂小測驗B(2014)_第1頁
《人工智能》隨堂小測驗B(2014)_第2頁
《人工智能》隨堂小測驗B(2014)_第3頁
全文預覽已結(jié)束

下載本文檔

版權(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. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。

評論

0/150

提交評論