Value: Default: If-needed: If-added: Slot2: Value: Default: If-n干式氮吹儀eeded: If-added: Slot3: Value: Default: If-needed: If-added: 四、對結論做假設 H,有證據 E1 和 E2 ,規則 R1 和 R2。(10分) R1:E1 → H,LS=20,LN=1; R2:E2 → H,LS=300,LN=1。 已知 H 的先驗概率 P(H)=0.03。若證據 E1 和 E2 依次出現,按主觀 Bayes推理,求 H在此條件下的 概率 P(Hm E1 ,E2)。 (注意:每步應列出計算式,計算結果可取近似值。) 2001年計算機科學與技術學科綜合考試真題 課 程Ⅳ 人工 智能原理 一、選擇與填空(共10分,每空0.5分) (1) 標準邏輯(謂詞邏輯)中,重言式(tautlogy)是( )。 附錄A 計算機科學與技術學科綜合考試人工智能真題 383 A.永真 B.永假 C.非永真(invalid) (2) 反演(refutation)歸結(消解,resolution)證明定理時,若當前歸 結式(消解式,resolvent)是( ),則 定理得證。 A.永真式 B.包孕式(subsumed) C.空子句 (3) MYCIN 系統中規定,若證據 A的可信度 CF(A)=0,則意味著( )。 A.證據不可信 B.對證據一無所知 C.證據可信 (4) 主觀 Bayes推理中,規則 E→ H,其 LS=LN=1,這意味著( )。 A.E 對 H 沒有影響 B.E 支持 H C.~ E支持 H (5) 開發專家系統所要解決的基本問題有3個,那就是知識的獲取、知識的表示和( );知識 表示的方
法主要有( ),( ),( ),( )。 (6) 反演歸結的支持集策略規定:參加歸結的子句 應這樣選。海 ),而 其歸結式應 并入( )內。 (7) 謂詞邏輯下,子句 C1 = L1 ∨C′1 ,C2=~ L2 ∨C′2 ,若 σ是互補句節的( )的合 一子,則 其歸結 式(消解式,resolvent)C=( )。 (8) 以反演歸結證明子句集 S不可滿足的過程中,當前歸結式是( )或( ),則可 刪除。 (9) 語義網絡是( )表示的[節點1,有向弧,節點2]三 元式聯結而成 的。其節點表 示( ),其弧表示( )。 (10)PROSPECTOR系統中的規則,由 專家指 定其 LS、LN 的值,由似 然比定 義知:LS、LN 與0(零) 比較應 LS、LN皆( )0,并且,若指定 LS>1,則 LN 應指定( );反之亦然。 二、計算證據對結論的不確定性的影響(7分) 已知規則 R1、R2 的可信度:R1,A→ X,CF(X,A)=0.8 R2,B→X,CF(X,B)=0.6 證據可信度 CF(A)=CF(B)=0.5,X 的初始CF0(X)=0.1,現逐次引用 R1 、R2 ,要求用 MYCIN 的方 法計算結論 X 的可信度 CF(X)。 三、用標準邏輯(經典邏輯,謂詞邏輯)的子句集表示下 述刑偵知識,并用反 演歸結的線 性策略證 明結 論。(9分) 現定義如下謂詞(其項變量 X,Y,Z,皆為全稱變量)。 Thief(X)———某人 X是賊; Likes(X,Y)———某人 X 喜歡某物 Y; May steal(X,Y)———某人 X可能會偷竊某物 Y。 (1) 用子句集表示下屬刑偵知識: i John是賊。 ii Paul喜歡酒(wine)。 iii Paul(也)喜歡奶酪(cheese) iv 如果 Paul喜歡某物則John也喜歡某物。 384 附 錄 v 如果某人是賊,而且他喜歡某物,則他就可能會偷竊該物。 (2) 求證結論:John可能會偷竊什么? 即求證目標: May steal(John,Z),Z=? (提示:建議將求證目標作為頂子句,按線性策略進行反演消
解,注明 每次消解式的 置換及其父 子句的 編號。) 四、用框架表示下述報道的風災事件(9分) 【虛擬新華社3月15日電】 昨 日,在云 南玉 溪地區 發 生地 震,造成 財產 損失 約 10萬元,統計部門如果需要詳細的損失數字,可電詢62332931。另據專家認為震 級不會超過4級,并認為地處無人區,不會造成人員傷亡。 提示:分析概括用下劃線標出的要點,經過概念化形 成槽(slot)并擬定 其槽的 名稱及 其側面(facet)值。 特別要注意“值”(value)、“默認值”(default)、“如果需要值”(if-needed)、“如果附加值”(if-added)的 區別與 應用,建議采用格式如下。不用的側面值可刪。 附錄A 計算機科學與技術學科綜合考試人工智能真題 385 附 錄 B 計 算機 科學 與技 術學 科綜 合考 試真 題參 考解 答 1999年綜合考試人工智能真題參考解答 一、(K),(9),(L),(30) 二、1.(符號主義),(仿生學),(聯結主義) 2.(框架表示法),(語義網絡表示法),(面向對象表示法),(產生式表示法) 3. 三、解: ~(x)(y)(z)(u)P(x,y,z,u) (x)(y)(z)(u)~P(x,y,z,u) (x)(z)~P(x,f(x),z,g(x,z))這就是該謂詞公式的Skolem 范式。 其子句集為:S={~P(x,f(x),z,g(x,z))} 四、解: 第一步:定義謂詞。將待證明的問題的前提條件和邏輯結論用謂詞公式表示出來。 (1) 定義謂詞: brother(x,y):表示 x是y的兄弟; sister(x,y):表示 x是y的姐妹; woman(x):表示 x是女性。 (2) 將前提及要求證的問題表示成謂詞公式: R1:任何人的兄弟不是女性 (x)(y)(brother(x,y)→~woman(x)) R2:任何人的姐妹必是女性