熱線：021-5161-9676 |
熱線：021-5161-9676 |
Ｖａｌｕｅ： Ｄｅｆａｕｌｔ： Ｉｆ－ｎｅｅｄｅｄ： Ｉｆ－ａｄｄｅｄ： Ｓｌｏｔ２： Ｖａｌｕｅ： Ｄｅｆａｕｌｔ： Ｉｆ－ｎ干式氮吹儀ｅｅｄｅｄ： Ｉｆ－ａｄｄｅｄ： Ｓｌｏｔ３： Ｖａｌｕｅ： Ｄｅｆａｕｌｔ： Ｉｆ－ｎｅｅｄｅｄ： Ｉｆ－ａｄｄｅｄ： 四、對結論做假設 Ｈ，有證據 Ｅ１ 和 Ｅ２ ，規則 Ｒ１ 和 Ｒ２。（１０分） Ｒ１：Ｅ１ → Ｈ，ＬＳ＝２０，ＬＮ＝１； Ｒ２：Ｅ２ → Ｈ，ＬＳ＝３００，ＬＮ＝１。 已知 Ｈ 的先驗概率 Ｐ（Ｈ）＝０．０３。若證據 Ｅ１ 和 Ｅ２ 依次出現，按主觀 Ｂａｙｅｓ推理，求 Ｈ在此條件下的 概率 Ｐ（Ｈｍ Ｅ１ ，Ｅ２）。 （注意：每步應列出計算式，計算結果可取近似值。） ２００１年計算機科學與技術學科綜合考試真題 課 程Ⅳ 人工 智能原理 一、選擇與填空（共１０分，每空０．５分） （１） 標準邏輯（謂詞邏輯）中，重言式（ｔａｕｔｌｏｇｙ）是（ ）。 附錄Ａ 計算機科學與技術學科綜合考試人工智能真題 ３８３ Ａ．永真 Ｂ．永假 Ｃ．非永真（ｉｎｖａｌｉｄ） （２） 反演（ｒｅｆｕｔａｔｉｏｎ）歸結（消解，ｒｅｓｏｌｕｔｉｏｎ）證明定理時，若當前歸 結式（消解式，ｒｅｓｏｌｖｅｎｔ）是（ ），則 定理得證。 Ａ．永真式 Ｂ．包孕式（ｓｕｂｓｕｍｅｄ） Ｃ．空子句 （３） ＭＹＣＩＮ 系統中規定，若證據 Ａ的可信度 ＣＦ（Ａ）＝０，則意味著（ ）。 Ａ．證據不可信 Ｂ．對證據一無所知 Ｃ．證據可信 （４） 主觀 Ｂａｙｅｓ推理中，規則 Ｅ→ Ｈ，其 ＬＳ＝ＬＮ＝１，這意味著（ ）。 Ａ．Ｅ 對 Ｈ 沒有影響 Ｂ．Ｅ 支持 Ｈ Ｃ．～ Ｅ支持 Ｈ （５） 開發專家系統所要解決的基本問題有３個，那就是知識的獲取、知識的表示和（ ）；知識 表示的方
法主要有（ ），（ ），（ ），（ ）。 （６） 反演歸結的支持集策略規定：參加歸結的子句 應這樣選取：（ ），而 其歸結式應 并入（ ）內。 （７） 謂詞邏輯下，子句 Ｃ１ ＝ Ｌ１ ∨Ｃ′１ ，Ｃ２＝～ Ｌ２ ∨Ｃ′２ ，若 σ是互補句節的（ ）的合 一子，則 其歸結 式（消解式，ｒｅｓｏｌｖｅｎｔ）Ｃ＝（ ）。 （８） 以反演歸結證明子句集 Ｓ不可滿足的過程中，當前歸結式是（ ）或（ ），則可 刪除。 （９） 語義網絡是（ ）表示的［節點１，有向弧，節點２］三 元式聯結而成 的。其節點表 示（ ），其弧表示（ ）。 （１０）ＰＲＯＳＰＥＣＴＯＲ系統中的規則，由 專家指 定其 ＬＳ、ＬＮ 的值，由似 然比定 義知：ＬＳ、ＬＮ 與０（零） 比較應 ＬＳ、ＬＮ皆（ ）０，并且，若指定 ＬＳ＞１，則 ＬＮ 應指定（ ）；反之亦然。 二、計算證據對結論的不確定性的影響（７分） 已知規則 Ｒ１、Ｒ２ 的可信度：Ｒ１，Ａ→ Ｘ，ＣＦ（Ｘ，Ａ）＝０．８ Ｒ２，Ｂ→Ｘ，ＣＦ（Ｘ，Ｂ）＝０．６ 證據可信度 ＣＦ（Ａ）＝ＣＦ（Ｂ）＝０．５，Ｘ 的初始ＣＦ０（Ｘ）＝０．１，現逐次引用 Ｒ１ 、Ｒ２ ，要求用 ＭＹＣＩＮ 的方 法計算結論 Ｘ 的可信度 ＣＦ（Ｘ）。 三、用標準邏輯（經典邏輯，謂詞邏輯）的子句集表示下 述刑偵知識，并用反 演歸結的線 性策略證 明結 論。（９分） 現定義如下謂詞（其項變量 Ｘ，Ｙ，Ｚ，皆為全稱變量）。 Ｔｈｉｅｆ（Ｘ）———某人 Ｘ是賊； Ｌｉｋｅｓ（Ｘ，Ｙ）———某人 Ｘ 喜歡某物 Ｙ； Ｍａｙ ｓｔｅａｌ（Ｘ，Ｙ）———某人 Ｘ可能會偷竊某物 Ｙ。 （１） 用子句集表示下屬刑偵知識： ｉ Ｊｏｈｎ是賊。 ｉｉ Ｐａｕｌ喜歡酒（ｗｉｎｅ）。 ｉｉｉ Ｐａｕｌ（也）喜歡奶酪（ｃｈｅｅｓｅ） ｉｖ 如果 Ｐａｕｌ喜歡某物則Ｊｏｈｎ也喜歡某物。 ３８４ 附 錄 ｖ 如果某人是賊，而且他喜歡某物，則他就可能會偷竊該物。 （２） 求證結論：Ｊｏｈｎ可能會偷竊什么？ 即求證目標： Ｍａｙ ｓｔｅａｌ（Ｊｏｈｎ，Ｚ），Ｚ＝？ （提示：建議將求證目標作為頂子句，按線性策略進行反演消
解，注明 每次消解式的 置換及其父 子句的 編號。） 四、用框架表示下述報道的風災事件（９分） 【虛擬新華社３月１５日電】 昨 日，在云 南玉 溪地區 發 生地 震，造成 財產 損失 約 １０萬元，統計部門如果需要詳細的損失數字，可電詢６２３３２９３１。另據專家認為震 級不會超過４級，并認為地處無人區，不會造成人員傷亡。 提示：分析概括用下劃線標出的要點，經過概念化形 成槽（ｓｌｏｔ）并擬定 其槽的 名稱及 其側面（ｆａｃｅｔ）值。 特別要注意“值”（ｖａｌｕｅ）、“默認值”（ｄｅｆａｕｌｔ）、“如果需要值”（ｉｆ－ｎｅｅｄｅｄ）、“如果附加值”（ｉｆ－ａｄｄｅｄ）的 區別與 應用，建議采用格式如下。不用的側面值可刪。 附錄Ａ 計算機科學與技術學科綜合考試人工智能真題 ３８５ 附 錄 Ｂ 計 算機 科學 與技 術學 科綜 合考 試真 題參 考解 答 １９９９年綜合考試人工智能真題參考解答 一、（Ｋ），（９），（Ｌ），（３０） 二、１．（符號主義），（仿生學），（聯結主義） ２．（框架表示法），（語義網絡表示法），（面向對象表示法），（產生式表示法） ３． 三、解： ～（ｘ）（ｙ）（ｚ）（ｕ）Ｐ（ｘ，ｙ，ｚ，ｕ） （ｘ）（ｙ）（ｚ）（ｕ）～Ｐ（ｘ，ｙ，ｚ，ｕ） （ｘ）（ｚ）～Ｐ（ｘ，ｆ（ｘ），ｚ，ｇ（ｘ，ｚ））這就是該謂詞公式的Ｓｋｏｌｅｍ 范式。 其子句集為：Ｓ＝｛～Ｐ（ｘ，ｆ（ｘ），ｚ，ｇ（ｘ，ｚ））｝ 四、解： 第一步：定義謂詞。將待證明的問題的前提條件和邏輯結論用謂詞公式表示出來。 （１） 定義謂詞： ｂｒｏｔｈｅｒ（ｘ，ｙ）：表示 ｘ是ｙ的兄弟； ｓｉｓｔｅｒ（ｘ，ｙ）：表示 ｘ是ｙ的姐妹； ｗｏｍａｎ（ｘ）：表示 ｘ是女性。 （２） 將前提及要求證的問題表示成謂詞公式： Ｒ１：任何人的兄弟不是女性 （ｘ）（ｙ）（ｂｒｏｔｈｅｒ（ｘ，ｙ）→～ｗｏｍａｎ（ｘ）） Ｒ２：任何人的姐妹必是女性
