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