新葡萄京娱乐app下载 > 资讯资讯 > 企业公告企业公告

澳门新萄京最大平台科学与技术学科综合考试真题

发表时间:2016/11/18 9:09:28 阅读次数:

Value: Default: If-needed: If-added: Slot2: Value: Default: If-n澳门新萄京最大平台eeded: If-added: Slot3: Value: Default: If-needed: If-added: 四、对结论做假设 H,有证据 E1 和 E2 ,规则 R1 和 R2。(10分) R1:E1 → H,LS=20,LN=1; R2:E2 → H,LS=300,LN=1。 已知 H 的先验概率 P(H)=0.03。若证据 E1 和 E2 依次出现,按主观 Bayes推理,求 H在此条件下的 概率 P(Hm E1 ,E2)。 (注意:每步应列出计算式,计算结果可取近似值。) 2001年计算机科学与技术学科综合考试真题 课 程Ⅳ 人工 智能原理 一、选择与填空(共10分,每空0.5分) (1) 标准逻辑(谓词逻辑)中,重言式(tautlogy)是( )。 附录A 计算机科学与技术学科综合考试人工智能真题 383 A.永真 B.永假 C.非永真(invalid) (2) 反演(refutation)归结(消解,resolution)证明定理时,若当前归 结式(消解式,resolvent)是( ),则 定理得证。 A.永真式 B.包孕式(subsumed) C.空子句 (3) MYCIN 系统中规定,若证据 A的可信度 CF(A)=0,则意味着( )。 A.证据不可信 B.对证据一无所知 C.证据可信 (4) 主观 Bayes推理中,规则 E→ H,其 LS=LN=1,这意味着( )。 A.E 对 H 没有影响 B.E 支撑 H C.~ E支撑 H (5) 开发专家系统所要解决的基本问题有3个,那就是常识的获取、常识的表示和( );常识 表示的方


法主要有( ),( ),( ),( )。 (6) 反演归结的支撑集策略规定:参加归结的子句 应这样选取:( ),而 其归结式应 并入( )内。 (7) 谓词逻辑下,子句 C1 = L1 ∨C′1 ,C2=~ L2 ∨C′2 ,若 σ是互补句节的( )的合 一子,则 其归结 式(消解式,resolvent)C=( )。 (8) 以反演归结证明子句集 S不可满足的过程中,当前归结式是( )或( ),则可 删除。 (9) 语义网络是( )表示的[节点1,有向弧,节点2]三 元式联结而成 的。其节点表 示( ),其弧表示( )。 (10)PROSPECTOR系统中的规则,由 专家指 定其 LS、LN 的值,由似 然比定 义知:LS、LN 与0(零) 比较应 LS、LN皆( )0,并且,若指定 LS>1,则 LN 应指定( );反之亦然。 二、计算证据对结论的不确定性的影响(7分) 已知规则 R1、R2 的可信度:R1,A→ X,CF(X,A)=0.8 R2,B→X,CF(X,B)=0.6 证据可信度 CF(A)=CF(B)=0.5,X 的初始CF0(X)=0.1,现逐次引用 R1 、R2 ,要求用 MYCIN 的方 法计算结论 X 的可信度 CF(X)。 三、用标准逻辑(经典逻辑,谓词逻辑)的子句集表示下 述刑侦常识,并用反 演归结的线 性策略证 明结 论。(9分) 现定义如下谓词(其项变量 X,Y,Z,皆为全称变量)。 Thief(X)———某人 X是贼; Likes(X,Y)———某人 X 喜欢某物 Y; May steal(X,Y)———某人 X可能会偷窃某物 Y。 (1) 用子句集表示下属刑侦常识: i John是贼。 ii Paul喜欢酒(wine)。 iii Paul(也)喜欢奶酪(cheese) iv 如果 Paul喜欢某物则John也喜欢某物。 384 附 录 v 如果某人是贼,而且他喜欢某物,则他就可能会偷窃该物。 (2) 求证结论:John可能会偷窃什么? 即求证目标: May steal(John,Z),Z=? (提示:建议将求证目标作为顶子句,按线性策略进行反演消


解,注明 每次消解式的 置换及其父 子句的 编号。) 四、用框架表示下述报道的风灾事件(9分) 【虚拟新华社3月15日电】 昨 日,在云 南玉 溪地区 发 生地 震,造成 财产 损失 约 10万元,统计部门如果需要详细的损失数字,可电询62332931。另据专家认为震 级不会超过4级,并认为地处无人区,不会造成人员伤亡。 提示:分析概括用下划线标出的要点,经过概念化形 成槽(slot)并拟定 其槽的 名称及 其侧面(facet)值。 特别要注意“值”(value)、“默认值”(default)、“如果需要值”(if-needed)、“如果附加值”(if-added)的 区别与 应用,建议采用格式如下。不用的侧面值可删。 附录A 计算机科学与技术学科综合考试人工智能真题 385 附 录 B 计 算机 科学 与技 术学 科综 合考 试真 题参 考解 答 1999年综合考试人工智能真题参考解答 一、(K),(9),(L),(30) 二、1.(符号主义),(仿生学),(联结主义) 2.(框架表示法),(语义网络表示法),(面向对象表示法),(产生式表示法) 3. 三、解: ~(x)(y)(z)(u)P(x,y,z,u) (x)(y)(z)(u)~P(x,y,z,u) (x)(z)~P(x,f(x),z,g(x,z))这就是该谓词公式的Skolem 范式。 其子句集为:S={~P(x,f(x),z,g(x,z))} 四、解: 第一步:定义谓词。将待证明的问题的前提条件和逻辑结论用谓词公式表示出来。 (1) 定义谓词: brother(x,y):表示 x是y的兄弟; sister(x,y):表示 x是y的姐妹; woman(x):表示 x是女性。 (2) 将前提及要求证的问题表示成谓词公式: R1:任何人的兄弟不是女性 (x)(y)(brother(x,y)→~woman(x)) R2:任何人的姐妹必是女性

更多新葡萄京娱乐app下载相关常识要点请关注大家微信!

-5低温恒温槽-立式
多用途恒温超声提取机
手提式总有机碳分析仪
XML 地图| Sitemap 地图