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

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

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