DOC《一、选择题（每题1分,共15分）》

一、选择题(每题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年5月,著名的 人机大战 ,最终计算机以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年提出,并且同时提出一个机器智能的测试模型,请问这个科学家是 A)明斯基 B).扎德 C)图林 D)冯.诺依曼 15.要想让机器具有智能,必须让机器具有知识.因此,在人工智能中有一个研究领域,主要研究计算机如何自动获取知识和技能,实现自我完善,这门研究分支学科叫( ). A)专家系统 B)机器学习 C)神经网络 D)模式识别

二、填空题(每空1.5分,共30分)

1、不确定性类型按性质分:

2、在删除策略归结的过程中删除以下子句:含有 的子句;

含有的子句;

子句集中被别的子句 的子句.

3、对证据的可信度CF(A)、CF(A1)、CF(A2)之间,规定如下关系: CF(~A)CF(A1∧A2 CF(A1∨A2

4、图:指由 和 组成的网络.按连接同一节点的各边的逻辑关系又可分为 和.

5、合一算法:求非空有限具有相同谓词名的原子公式集的

6、产生式系统的推理过程中,从可触发规则中选择一个规则来执行,被执行的规则称为 .

7、P(B|A) 表示在规则 中,证据A为真的作用下结论B为真的 .

8、人工智能的远期目标是 , 近期目标是 .

三、简答及计算题(每题5分,共25分)

1、填写下面的三值逻辑表. 其中T,F,U分别表示真,假,不能判定

2、什么是产生式?产生式规则的语义是什么? 答:

3、谓词公式G通过8个步骤所得的子句集合S,称为G的子句集.请写出这些步骤. 答:

4、已知S={P(f(x),y,g(y)),P(f(x),z,g(x))},求MGU 解:

5、证明G是否是F的逻辑结论;

四、应用题(共30分)

1、用语义网络表示下列信息: (1)胡途是思源公司的经理,他35岁,住在飞天胡同68号(2)清华大学与北京大学进行蓝球比赛,最后以89:102的比分结束. 答:

2、图示博弈树,其中末一行的数字为假设的估值,请利用α-β剪枝技术剪去不必要的分枝.(在节点及边上直接加注释)