Ａ．Ｇ 為真 Ｂ．Ｇ 為假 Ｃ．Ｇ 為非永真（ｉｎｖａｌｉｄ） ３． ＭＹＣＩＮ 系統中規定，證據 Ａ 的可信度 ＣＦ（Ａ）的取值為（ ）。 Ａ．ＣＦ（Ａ）＞０ Ｂ．０≤ＣＦ（Ａ）≤１ Ｃ．－１≤ ＣＦ（Ａ）≤１ ４． 主觀 Ｂａｙｅｓ推理中，規定似然比（Ｌｉｋｅｌｉｈｏｏｄ）ＬＳ和 ＬＮ 應（ ）。 Ａ．≥０ Ｂ．≤０ Ｃ．＞０ ５． 在誕生初期，人工智能被定義為這樣一個計算機科學的分支：它是研究（ ）。人工智能程 序與水浴氮吹儀通常意義下的程序比較它具有以下四個特點：（ ），（ ），（ ），（ ）。 ６． 用反演（ｒｅｆｕｔａｔｉｏｎ）歸結證明定理，證明過程是這樣結束的。若（ ），則 定理得證；若（ ）， 則證明失敗。 ７． 在語義網絡中，為了進行節點（結點，ｎｏｄｅ）間節點 屬性的 繼承推 理，規 定了兩 個約定 俗成的 鏈（弧， ａｒｃ），命名為（ ）和（ ），用來標明類與子類、類與個體之間的關

系。 ８． 產生式規則與蘊涵規則的區別在于：產生式規則（ ），而蘊涵規則（ ）。 ９．ＭＹＣＩＮ 推理中，對證 據的 可信 度 ＣＦ（Ａ）、ＣＦ（Ａ１ ）和 ＣＦ（Ａ２）之間，規 定如 下關 系：ＣＦ（～ Ａ）＝ （ ），ＣＦ（Ａ１ ∧ Ａ２ ）＝（ ），ＣＦ（Ａ１∨ Ａ２ ）＝（ ）。 １０． 主觀 Ｂａｙｅｓ推理中，規則 Ｅ→ Ｈ的不確定性是以似然比 ＬＳ和 ＬＮ 描述的。ＬＳ表示了規則成立的 （ ）性；ＬＮ 表示了規則成立的（ ）性。 二、化下列邏輯表達式為不含存在量詞的前束形（ｐｒｅｎｅｘｆｏｒｍ）（５分） （�校兀�（�校伲�｛（�校冢�［Ｐ（Ｚ）∧～ Ｑ（Ｘ，Ｚ）］→ Ｒ（Ｘ，Ｙ，ｆ（ａ））｝ ３８２ 附 錄  三、用框架表示下述報道的風災事件（１０分） 【虛擬新華社９月１６日電】 國 家氣 象局 命名 的“６１年 ２號”臺風于 昨 日下午 ４ 時在浙江舟山地區登陸。據專家經驗，認為風力大于等于８

級。但風力中心的準 確值，有待數據處理，目 前尚 未發 布。 此次臺 風造 成的 損失，尚 未得 到報 告。若 需要詳細的損失數字，可電詢自然災害統 計中心。另據國 家氣象 局介紹 說，事 前 曾得到國際氣象組織的預報：昨日上午于太 平洋赤道地 區生成高 壓氣旋，將向 北 移動，于浙江登陸。依照國際慣例將其命 名為“Ｃａｒｌａ”颶風，我國也 予以承 認。至 于“Ｃａｒｌａ”是否就是登陸的“６１年２號”，尚須另外加以核查。 （提示：分析、概括用下劃線標出的要 點，經 過概 念化 形成 槽（ｓｌｏｔ）、側面（ｆａｃｅｔ）值。 特別要 注意，“值” （ｖａｌｕｅ）、“默認值”（ｄｅｆａｕｌｔ）、“如果需要值”（ｉｆ－ｎｅｅｄｅｄ）、“如果附加值”（ｉｆ－ａｄｄｅｄ）的區別 與應用，建議 采用 格式如下，不用的側面值可刪）。 Ｆｒａｍｅ臺風： Ｓｌｏｔ１：