![[那艾仪器]](/upLoad/slide/month_1608/201608021608252142.jpg)
热线：021-5161-9676 |
热线：021-5161-9676 |
Ｖａｌｕｅ： Ｄｅｆａｕｌｔ： Ｉｆ－ｎｅｅｄｅｄ： Ｉｆ－ａｄｄｅｄ： Ｓｌｏｔ２： Ｖａｌｕｅ： Ｄｅｆａｕｌｔ： Ｉｆ－ｎ干式氮吹仪ｅｅｄｅｄ： Ｉｆ－ａｄｄｅｄ： Ｓｌｏｔ３： Ｖａｌｕｅ： Ｄｅｆａｕｌｔ： Ｉｆ－ｎｅｅｄｅｄ： Ｉｆ－ａｄｄｅｄ： 四、对结论做假设 Ｈ，有证据 Ｅ１ 和 Ｅ２ ，规则 Ｒ１ 和 Ｒ２。（１０分） Ｒ１：Ｅ１ → Ｈ，ＬＳ＝２０，ＬＮ＝１； Ｒ２：Ｅ２ → Ｈ，ＬＳ＝３００，ＬＮ＝１。 已知 Ｈ 的先验概率 Ｐ（Ｈ）＝０．０３。若证据 Ｅ１ 和 Ｅ２ 依次出现，按主观 Ｂａｙｅｓ推理，求 Ｈ在此条件下的 概率 Ｐ（Ｈｍ Ｅ１ ，Ｅ２）。 （注意：每步应列出计算式，计算结果可取近似值。） ２００１年计算机科学与技术学科综合考试真题 课 程Ⅳ 人工 智能原理 一、选择与填空（共１０分，每空０．５分） （１） 标准逻辑（谓词逻辑）中，重言式（ｔａｕｔｌｏｇｙ）是（ ）。 附录Ａ 计算机科学与技术学科综合考试人工智能真题 ３８３ Ａ．永真 Ｂ．永假 Ｃ．非永真（ｉｎｖａｌｉｄ） （２） 反演（ｒｅｆｕｔａｔｉｏｎ）归结（消解，ｒｅｓｏｌｕｔｉｏｎ）证明定理时，若当前归 结式（消解式，ｒｅｓｏｌｖｅｎｔ）是（ ），则 定理得证。 Ａ．永真式 Ｂ．包孕式（ｓｕｂｓｕｍｅｄ） Ｃ．空子句 （３） ＭＹＣＩＮ 系统中规定，若证据 Ａ的可信度 ＣＦ（Ａ）＝０，则意味着（ ）。 Ａ．证据不可信 Ｂ．对证据一无所知 Ｃ．证据可信 （４） 主观 Ｂａｙｅｓ推理中，规则 Ｅ→ Ｈ，其 ＬＳ＝ＬＮ＝１，这意味着（ ）。 Ａ．Ｅ 对 Ｈ 没有影响 Ｂ．Ｅ 支持 Ｈ Ｃ．～ Ｅ支持 Ｈ （５） 开发专家系统所要解决的基本问题有３个，那就是知识的获取、知识的表示和（ ）；知识 表示的方
法主要有（ ），（ ），（ ），（ ）。 （６） 反演归结的支持集策略规定：参加归结的子句 应这样选取：（ ），而 其归结式应 并入（ ）内。 （７） 谓词逻辑下，子句 Ｃ１ ＝ Ｌ１ ∨Ｃ′１ ，Ｃ２＝～ Ｌ２ ∨Ｃ′２ ，若 σ是互补句节的（ ）的合 一子，则 其归结 式（消解式，ｒｅｓｏｌｖｅｎｔ）Ｃ＝（ ）。 （８） 以反演归结证明子句集 Ｓ不可满足的过程中，当前归结式是（ ）或（ ），则可 删除。 （９） 语义网络是（ ）表示的［节点１，有向弧，节点２］三 元式联结而成 的。其节点表 示（ ），其弧表示（ ）。 （１０）ＰＲＯＳＰＥＣＴＯＲ系统中的规则，由 专家指 定其 ＬＳ、ＬＮ 的值，由似 然比定 义知：ＬＳ、ＬＮ 与０（零） 比较应 ＬＳ、ＬＮ皆（ ）０，并且，若指定 ＬＳ＞１，则 ＬＮ 应指定（ ）；反之亦然。 二、计算证据对结论的不确定性的影响（７分） 已知规则 Ｒ１、Ｒ２ 的可信度：Ｒ１，Ａ→ Ｘ，ＣＦ（Ｘ，Ａ）＝０．８ Ｒ２，Ｂ→Ｘ，ＣＦ（Ｘ，Ｂ）＝０．６ 证据可信度 ＣＦ（Ａ）＝ＣＦ（Ｂ）＝０．５，Ｘ 的初始ＣＦ０（Ｘ）＝０．１，现逐次引用 Ｒ１ 、Ｒ２ ，要求用 ＭＹＣＩＮ 的方 法计算结论 Ｘ 的可信度 ＣＦ（Ｘ）。 三、用标准逻辑（经典逻辑，谓词逻辑）的子句集表示下 述刑侦知识，并用反 演归结的线 性策略证 明结 论。（９分） 现定义如下谓词（其项变量 Ｘ，Ｙ，Ｚ，皆为全称变量）。 Ｔｈｉｅｆ（Ｘ）———某人 Ｘ是贼； Ｌｉｋｅｓ（Ｘ，Ｙ）———某人 Ｘ 喜欢某物 Ｙ； Ｍａｙ ｓｔｅａｌ（Ｘ，Ｙ）———某人 Ｘ可能会偷窃某物 Ｙ。 （１） 用子句集表示下属刑侦知识： ｉ Ｊｏｈｎ是贼。 ｉｉ Ｐａｕｌ喜欢酒（ｗｉｎｅ）。 ｉｉｉ Ｐａｕｌ（也）喜欢奶酪（ｃｈｅｅｓｅ） ｉｖ 如果 Ｐａｕｌ喜欢某物则Ｊｏｈｎ也喜欢某物。 ３８４ 附 录 ｖ 如果某人是贼，而且他喜欢某物，则他就可能会偷窃该物。 （２） 求证结论：Ｊｏｈｎ可能会偷窃什么？ 即求证目标： Ｍａｙ ｓｔｅａｌ（Ｊｏｈｎ，Ｚ），Ｚ＝？ （提示：建议将求证目标作为顶子句，按线性策略进行反演消
解，注明 每次消解式的 置换及其父 子句的 编号。） 四、用框架表示下述报道的风灾事件（９分） 【虚拟新华社３月１５日电】 昨 日，在云 南玉 溪地区 发 生地 震，造成 财产 损失 约 １０万元，统计部门如果需要详细的损失数字，可电询６２３３２９３１。另据专家认为震 级不会超过４级，并认为地处无人区，不会造成人员伤亡。 提示：分析概括用下划线标出的要点，经过概念化形 成槽（ｓｌｏｔ）并拟定 其槽的 名称及 其侧面（ｆａｃｅｔ）值。 特别要注意“值”（ｖａｌｕｅ）、“默认值”（ｄｅｆａｕｌｔ）、“如果需要值”（ｉｆ－ｎｅｅｄｅｄ）、“如果附加值”（ｉｆ－ａｄｄｅｄ）的 区别与 应用，建议采用格式如下。不用的侧面值可删。 附录Ａ 计算机科学与技术学科综合考试人工智能真题 ３８５ 附 录 Ｂ 计 算机 科学 与技 术学 科综 合考 试真 题参 考解 答 １９９９年综合考试人工智能真题参考解答 一、（Ｋ），（９），（Ｌ），（３０） 二、１．（符号主义），（仿生学），（联结主义） ２．（框架表示法），（语义网络表示法），（面向对象表示法），（产生式表示法） ３． 三、解： ～（ｘ）（ｙ）（ｚ）（ｕ）Ｐ（ｘ，ｙ，ｚ，ｕ） （ｘ）（ｙ）（ｚ）（ｕ）～Ｐ（ｘ，ｙ，ｚ，ｕ） （ｘ）（ｚ）～Ｐ（ｘ，ｆ（ｘ），ｚ，ｇ（ｘ，ｚ））这就是该谓词公式的Ｓｋｏｌｅｍ 范式。 其子句集为：Ｓ＝｛～Ｐ（ｘ，ｆ（ｘ），ｚ，ｇ（ｘ，ｚ））｝ 四、解： 第一步：定义谓词。将待证明的问题的前提条件和逻辑结论用谓词公式表示出来。 （１） 定义谓词： ｂｒｏｔｈｅｒ（ｘ，ｙ）：表示 ｘ是ｙ的兄弟； ｓｉｓｔｅｒ（ｘ，ｙ）：表示 ｘ是ｙ的姐妹； ｗｏｍａｎ（ｘ）：表示 ｘ是女性。 （２） 将前提及要求证的问题表示成谓词公式： Ｒ１：任何人的兄弟不是女性 （ｘ）（ｙ）（ｂｒｏｔｈｅｒ（ｘ，ｙ）→～ｗｏｍａｎ（ｘ）） Ｒ２：任何人的姐妹必是女性
