A.G 為真 B.G 為假 C.G 為非永真(invalid) 3. MYCIN 系統(tǒng)中規(guī)定,證據(jù) A 的可信度 CF(A)的取值為( )。 A.CF(A)>0 B.0≤CF(A)≤1 C.-1≤ CF(A)≤1 4. 主觀 Bayes推理中,規(guī)定似然比(Likelihood)LS和 LN 應(yīng)( )。 A.≥0 B.≤0 C.>0 5. 在誕生初期,人工智能被定義為這樣一個(gè)計(jì)算機(jī)科學(xué)的分支:它是研究( )。人工智能程 序與水浴氮吹儀通常意義下的程序比較它具有以下四個(gè)特點(diǎn):( ),( ),( ),( )。 6. 用反演(refutation)歸結(jié)證明定理,證明過程是這樣結(jié)束的。若( ),則 定理得證;若( ), 則證明失敗。 7. 在語(yǔ)義網(wǎng)絡(luò)中,為了進(jìn)行節(jié)點(diǎn)(結(jié)點(diǎn),node)間節(jié)點(diǎn) 屬性的 繼承推 理,規(guī) 定了兩 個(gè)約定 俗成的 鏈(弧, arc),命名為( )和( ),用來標(biāo)明類與子類、類與個(gè)體之間的關(guān)
系。 8. 產(chǎn)生式規(guī)則與蘊(yùn)涵規(guī)則的區(qū)別在于:產(chǎn)生式規(guī)則( ),而蘊(yùn)涵規(guī)則( )。 9.MYCIN 推理中,對(duì)證 據(jù)的 可信 度 CF(A)、CF(A1 )和 CF(A2)之間,規(guī) 定如 下關(guān) 系:CF(~ A)= ( ),CF(A1 ∧ A2 )=( ),CF(A1∨ A2 )=( )。 10. 主觀 Bayes推理中,規(guī)則 E→ H的不確定性是以似然比 LS和 LN 描述的。LS表示了規(guī)則成立的 ( )性;LN 表示了規(guī)則成立的( )性。 二、化下列邏輯表達(dá)式為不含存在量詞的前束形(prenexform)(5分) (X)(Y){(Z)[P(Z)∧~ Q(X,Z)]→ R(X,Y,f(a))} 382 附 錄 三、用框架表示下述報(bào)道的風(fēng)災(zāi)事件(10分) 【虛擬新華社9月16日電】 國(guó) 家氣 象局 命名 的“61年 2號(hào)”臺(tái)風(fēng)于 昨 日下午 4 時(shí)在浙江舟山地區(qū)登陸。據(jù)專家經(jīng)驗(yàn),認(rèn)為風(fēng)力大于等于8
級(jí)。但風(fēng)力中心的準(zhǔn) 確值,有待數(shù)據(jù)處理,目 前尚 未發(fā) 布。 此次臺(tái) 風(fēng)造 成的 損失,尚 未得 到報(bào) 告。若 需要詳細(xì)的損失數(shù)字,可電詢自然災(zāi)害統(tǒng) 計(jì)中心。另?yè)?jù)國(guó) 家氣象 局介紹 說,事 前 曾得到國(guó)際氣象組織的預(yù)報(bào):昨日上午于太 平洋赤道地 區(qū)生成高 壓氣旋,將向 北 移動(dòng),于浙江登陸。依照國(guó)際慣例將其命 名為“Carla”颶風(fēng),我國(guó)也 予以承 認(rèn)。至 于“Carla”是否就是登陸的“61年2號(hào)”,尚須另外加以核查。 (提示:分析、概括用下劃線標(biāo)出的要 點(diǎn),經(jīng) 過概 念化 形成 槽(slot)、側(cè)面(facet)值。 特別要 注意,“值” (value)、“默認(rèn)值”(default)、“如果需要值”(if-needed)、“如果附加值”(if-added)的區(qū)別 與應(yīng)用,建議 采用 格式如下,不用的側(cè)面值可刪)。 Frame臺(tái)風(fēng): Slot1: