課 程Ⅳ 人工 智能原理 一、選擇題（共４分） 氮吹儀價格 人工智能作為一門學(xué)科，在（ ）年誕生于（ ）。ＬＩＳＰ 語言是（ ）年提出的，ＭＹＣＩＮ 的誕 生地 是（ ）。 第１、３空格候選答案： （Ａ）１８７０ （Ｂ）１８７６ （Ｃ）１８８０ （Ｄ）１８８６ （Ｅ）１８９０ （Ｆ）１８９５ （Ｇ）１９３５ （Ｈ）１９４０ （Ｉ）１９４６ （Ｊ）１９５０ （Ｋ）１９５６ （Ｌ）１９６０ （Ｍ）１９７０ （Ｎ）１９８０ 第２、４空格候選答案： （１）Ｄｏｖｅｒ （２）ＬａｓＶｅｇａ （３）ＲｉｃｅＵｎｉｖｅｒｓｉｔｙ （４）ＮｅｗＹｏｒｋ （５）Ｈｏｕｓｔｏｎ （６）Ｃｈｉｃａｇｏ （７）Ｂｏｓｔｏｎ （８）Ｌｏｎｄｏｎ （９）Ｄａｒｔｍｏｕｔｈ （１０）Ｓｅａｒｔｉｅ （１１）ＨａｒｖａｒｄＵｎｉｖｅｒｓｉｔｙ （１２）ＯｘｆｏｒｄＵｎｉｖｅｒｓｉｔｙ （１３）ＵｎｉｖｅｒｓｉｔｙｏｆＣａｍｏｒｉｄｇｅ （１４）Ｂｉｒｍｉｎｇｈａｍ （１５）ＪｏｈｎｓＨｏｐｋｉｎｓＵｎｉｖｅｒｓｉｔｙ （１６）Ｐｅｎｎｓｙｌｖａｎｉａ （１７）ＲＡＮＤ （１８）ＩＢＭ （１９）ＳａｎＪｏｓｅ （２０）ＦｒａｎｋｌｉｎａｎｄＭａｒｓｈａｌｌＣｏｌｌｅｇｅ （２１）Ｐｈｉｌａｄｅｌｐｈｉａ （２２）Ｄｅｎｖｅｒ （２３）Ｍｏｎｔｒｅａｌ （２４）Ｂｅｒｋｅｌｅｙ （２５）Ｃａｒｎ

ｅｇｉｅＭｅｌｌｏｎＵｎｉｖｅｒｓｉｔｙ （２６）Ｍｉｃｈｉｇａｎ （２７）ＭＩＴｓ （２８）ＫａｎｓａｓＣｉｔｙ （２９）Ｐｒｏｖｉｄｅｎｃｅ （３０）ＳｔａｎｆｏｒｄＵｎｉｖｅｒｓｉｔｙ 二、填空題（共１０分） １． 近年來，對人類智能的理解上形成了兩種不同的 觀點，一 種觀點 稱做（ ）主義，另一 種觀 點，即（ ）的觀點，稱做（ ）主義。 ２．常用的知識表示方法有邏輯表示法、（ ）、（ ）、（ ）、（ ） 等。 ３．下圖為Ｓｉｍｏｎ提出的學(xué)習(xí)模型，請?zhí)畛淇瞻卓颉? 三、（５分）將下式化為不含量詞的子句 ～ｘｙｚｕＰ（ｘ，ｙ，ｚ，ｕ） 四、（６分）已知 規(guī)則１：任何人的兄弟不是女性。 規(guī)則２：任何人的姐妹必是女性。 事實：Ｍａｒｙ是 Ｂｉｌｌ的姐妹。 求證：用歸結(jié)推理方法證明 Ｍａｒｙ不是 Ｔｏｍ 的兄弟。 （提示）規(guī)則１表示為ｘｙ（ｂｒｏｔｈｅｒ（ｘ，ｙ）→～ｗｏｍａｎ（ｘ））。 事實表示為 ｓｉｓｔｅｒ（Ｍ

ａｒｙ，Ｂｉｌｌ）。 五、（１０分）已知：規(guī)則可信度 Ａ→Ｘ ＣＦ（Ｘ，Ａ）＝０．８ Ｂ→Ｘ ＣＦ（Ｘ，Ｂ）＝０．６ Ｃ→Ｘ ＣＦ（Ｘ，Ｃ）＝０．４ Ｘ∧Ｄ→ Ｙ ＣＦ（Ｙ，Ｘ∧Ｄ）＝０．３ 證據(jù)可信度 ＣＦ（Ａ）＝ＣＦ（Ｂ）＝ＣＦ（Ｃ）＝ＣＦ（Ｄ）＝０．５。 Ｘ、Ｙ 的初始可信度 ＣＦ０ （Ｘ）＝０．１；ＣＦ０（Ｙ）＝０．２。 要求用 ＭＹＣＩＮ 的方法計算： 附錄Ａ 計算機科學(xué)與技術(shù)學(xué)科綜合考試人工智能真題 ３８１ １． 結(jié)論 Ｘ 的可信度 ＣＦ（Ｘ）； ２． 結(jié)論 Ｙ的可信度 ＣＦ（Ｙ）。 ２０００年計算機科學(xué)與技術(shù)學(xué)科綜合考試真題 課 程Ⅳ 人工 智能原理 一、選擇與填空（共１０分，每空０．５分） １． 命題邏輯下，可以歸結(jié)（消解、ｒｅｓｏｌｕｔｉｏｎ）的子句 Ｃ１ 和 Ｃ２，在某解釋下 Ｃ１ 和 Ｃ２ 為真。則其 歸結(jié)式 （消解式、ｒｅｓｏｌｖｅｎｔ）Ｃ 在該解釋下（ ）。 Ａ．必真 Ｂ．必假 Ｃ．真假不能斷言 ２． 表達(dá)式 Ｇ是不可滿足的，當(dāng)且僅當(dāng)對所有的解釋（ ）。