一、选择题(每题1分，共15分).doc

一、选择题(每题1分，共15分) 1、AI的英文缩写是 A)Automatic Intelligence B)Artifical Intelligence C)Automatice Information D)Artifical Information 2、反演归结（消解）证明定理时，若当前归结式是（ ）时，则定理得证。 A)永真式 B)包孕式（subsumed） C)空子句 3、从已知事实出发，通过规则库求得结论的产生式系统的推理方式是 A)正向推理 B)反向推理 C)双向推理 4、语义网络表达知识时，有向弧AKO 链、ISA 链是用来表达节点知识的（ ）。 A)无悖性 B)可扩充性 C)继承性 5、(A→B)∧A = B是 A)附加律　 B)拒收律　 C)假言推理　 D)US 6、命题是可以判断真假的 A)祈使句　 B)疑问句　 C)感叹句　 D)陈述句 7、仅个体变元被量化的谓词称为 A)一阶谓词　 B)原子公式　 C)二阶谓词　 D)全称量词 8、MGU是 A)最一般合一　 B)最一般替换　 C)最一般谓词　 D)基替换 9、1997年５月，著名的“人机大战”，最终计算机以3.5比2.5的总比分将世界国际象棋棋王卡斯帕罗夫击败，这台计算机被称为（ ） A）深蓝 B）IBM C）深思 D）蓝天 10、下列不在人工智能系统的知识包含的4个要素中 A)事实　 B)规则　 C)控制和元知识　 D)关系 11、谓词逻辑下，子句, C1=L∨C1‘, C2= ? L∨C2‘,?若σ是互补文字的（最一般）合一置换，则其归结式C=（ ） A) C1’σ∨C2’σ　 B)C1’∨C2’　 C)C1’σ∧C2’σ　 D)C1’ ∧C2’ 12、或图通常称为 A）框架网络 B)语义图 C)博亦图 D)状态图 13、不属于人工智能的学派是 A)符号主义 B)机会主义 C)行为主义 D)连接主义。 14、人工智能的含义最早由一位科学家于1950年提出，并且同时提出一个机器智能的测试模型，请问这个科学家是 4、已知S={P(f(x),y,g(y)),P(f(x),z,g(x))}，求MGU 解： 5、证明G是否是F的逻辑结论； 四、应用题(共30分) 1、用语义网络表示下列信息： 胡途是思源公司的经理，他35岁，住在飞天胡同68号答案： 一、 1、 B 2、C　 3、A　 4、C　 5、C 6、 D 7、A　 8、A　 9、A　 10、D 11、A　12、D　 13、B　14、C　 15、B 二、 1、随机性，模糊性，不完全性，不一致性 2、纯文字，永真式，类含 3、-CF(A)，min{CF(A1),CF(A2)}，max{CF(A1),CF(A2)} 4、节点，有向边，或图，与或图 5、最一般合一（MGU） 6、被触发规则 7、A→B，概率 8、制造智能机器，实现机器智能 三、 1、 2、产生式规则基本形式：P→Q 或者 IF P THEN Q P 是产生式的前提（前件），用于指出该产生式是否可用的条件 Q 是一组结论或操作（后件），用于指出当前提 P 所指示的条件满足时，应该得出的结论或应该执行的操作 产生式规则的语义：如果前提P被满足，则可推出结论 Q 或执行 Q 所规定的操作 3、 1）消去蕴含式和等价式→，- 2）缩小否定词的作用范围，直到其作用于原子公式: 3）适当改名，使量词间不含同名指导变元和约束变元。 4.）消去存在量词（形成Skolem标准型） 5）消去所有全称量词 6) 化成合取范式 7). 适当改名，使子句间无同名变元 8). 消去合取词∧，用逗号代替，以子句为元素组成一个集合S 4、解：k=0;S0=S;δ0=ε;S0不是单元素集，求得差异集D0={y,z},其中y是变元，z是项，且y不在z中出现。k=k+1=1 有δ1=δ0·｛z/y｝=ε·｛z/y｝=｛z/y｝， S1=S0·｛z/y｝={P(f(x),z,g(z)),P(f(x),z,g(x))},S1不是单元素集， 求得差异集D1=｛z,x｝,k=k+1=2;δ2=δ1·｛z/x｝=｛z/y,z/x｝, S2=S1·｛z/x｝=｛P(f(z),z,g(z))｝是单元素集。 根据求MGU算法，MGU=δ2=｛z/y,z/x｝ 5、证:①P(x) ．．．从F变换 ②Q(a)∨Q(x) ．．．从F变换 ③┓P(y)∨┓Q(y) ．．．结论的否定 ④┓Q(x) ．．．①③归结,{x/y} ⑤□ ．．．②④归结,置换{a/x} 得证。 四、 1、 2、 3、解:现定义如下谓词 F(x,y)------ x是y的