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

ｅｇｉｅＭｅｌｌｏｎＵｎｉｖｅｒｓｉｔｙ （２６）Ｍｉｃｈｉｇａｎ （２７）ＭＩＴｓ （２８）ＫａｎｓａｓＣｉｔｙ （２９）Ｐｒｏｖｉｄｅｎｃｅ （３０）ＳｔａｎｆｏｒｄＵｎｉｖｅｒｓｉｔｙ 二、填空题（共１０分） １． 近年来，对人类智能的理解上形成了两种不同的 观点，一 种观点 称做（ ）主义，另一 种观 点，即（ ）的观点，称做（ ）主义。 ２．常用的知识表示方法有逻辑表示法、（ ）、（ ）、（ ）、（ ） 等。 ３．下图为Ｓｉｍｏｎ提出的学习模型，请填充空白框。 三、（５分）将下式化为不含量词的子句 ～ｘｙｚｕＰ（ｘ，ｙ，ｚ，ｕ） 四、（６分）已知 规则１：任何人的兄弟不是女性。 规则２：任何人的姐妹必是女性。 事实：Ｍａｒｙ是 Ｂｉｌｌ的姐妹。 求证：用归结推理方法证明 Ｍａｒｙ不是 Ｔｏｍ 的兄弟。 （提示）规则１表示为ｘｙ（ｂｒｏｔｈｅｒ（ｘ，ｙ）→～ｗｏｍａｎ（ｘ））。 事实表示为 ｓｉｓｔｅｒ（Ｍ

ａｒｙ，Ｂｉｌｌ）。 五、（１０分）已知：规则可信度 Ａ→Ｘ ＣＦ（Ｘ，Ａ）＝０．８ Ｂ→Ｘ ＣＦ（Ｘ，Ｂ）＝０．６ Ｃ→Ｘ ＣＦ（Ｘ，Ｃ）＝０．４ Ｘ∧Ｄ→ Ｙ ＣＦ（Ｙ，Ｘ∧Ｄ）＝０．３ 证据可信度 ＣＦ（Ａ）＝ＣＦ（Ｂ）＝ＣＦ（Ｃ）＝ＣＦ（Ｄ）＝０．５。 Ｘ、Ｙ 的初始可信度 ＣＦ０ （Ｘ）＝０．１；ＣＦ０（Ｙ）＝０．２。 要求用 ＭＹＣＩＮ 的方法计算： 附录Ａ 计算机科学与技术学科综合考试人工智能真题 ３８１ １． 结论 Ｘ 的可信度 ＣＦ（Ｘ）； ２． 结论 Ｙ的可信度 ＣＦ（Ｙ）。 ２０００年计算机科学与技术学科综合考试真题 课 程Ⅳ 人工 智能原理 一、选择与填空（共１０分，每空０．５分） １． 命题逻辑下，可以归结（消解、ｒｅｓｏｌｕｔｉｏｎ）的子句 Ｃ１ 和 Ｃ２，在某解释下 Ｃ１ 和 Ｃ２ 为真。则其 归结式 （消解式、ｒｅｓｏｌｖｅｎｔ）Ｃ 在该解释下（ ）。 Ａ．必真 Ｂ．必假 Ｃ．真假不能断言 ２． 表达式 Ｇ是不可满足的，当且仅当对所有的解释（ ）。