（人工智能）人工智能题
测试题
——人工智能原理
一、填空题
1.人 工 智 能 作 为 壹 门 学 科 ， 它 研 究 的 对 象 是 ______， 而 研 究 的 近 期 目 标 是
___________________；远期目标是___________________。
2.人工智能应用的主要领域有_________，_________，_________，_________，_______
和__________。
3.知识表示的方法主要有_________，_________，_________，_________和________。
4.产生式系统由三个部分所组成，即___________，___________和___________。
5.用归结反演方法进行定理证明时，可采取的归结策略有___________、___________、
_________、_________、_________和_________。
6.宽 度 优 先 搜 索 对 应 的 数 据 结 构 是 ___________________； 深 度 优 先 搜 索 是
________________。
7.不确定知识处理的基本方法有__________、__________、__________和__________。
研究的主要途径有三大学派，它们是________学派、________学派和________学派。
9.专家系统的瓶颈是 ________________________；它来自于俩个阶段，第壹阶段
是 ，第二阶段是 。
10.确 定 因 子 法 中 函 数 MB是 描 述 ________________________、 而 函 数 MD是 描 述
________________________。
11.人工智能研究的主要领域有_________、_________、_________、_________、_______
和__________。
12.壹阶谓词逻辑能够使用的连接词有______、_______、_______和_______。
13.基于规则的演绎系统主要有________、_________和_________。
-S证据理论中函数 Bel定义为 ________________________、而函数 Pl定义为
________________________。
15.问题的状态空间，能够记为三元组<S,F,G>，其中 S为________，F为________，G为
________。
16.人工智能研究的主要内容有____ _____、____ _____、____ _____、_______和
_____________。
17.知识表示的方法主要有_________、_________、_________、_________和________。
18.世界上第壹个专家系统 是于 年由 主持研制成功的；
我国的第壹个专家系统 是于 年研制成功的。
19.神经网络可分为____________、____________、______________和广泛前向网络。
20.于框架表示法中，用若干个___________描述对象的属性，用若干个_________描述属
性的各个方面。
21.产生式系统的三个基本组成部分是__________________，________________________，
________________________。
22.知识表示方法按照控制性知识的组织方式可分为___________________________和
_____________________。
二、选择题
1.非结构化的知识的表示法是（）。
A.语义网络表示B.谓词逻辑表示
C.框架表示法中D.面向对象表示
2.归结策略中，（）是完备的。
Ⅰ.线性输入策略Ⅱ.支持集策略Ⅲ.单文字策略Ⅳ.祖先过滤策略
A.Ⅰ,ⅡB.Ⅰ,ⅢC.Ⅱ,ⅣD.Ⅲ,Ⅳ
3.于证据理论中，信任函数和似然函数对（Bel（A），Pl（A））的值为（0，0）时，
表示（）。
为真B.对A壹无所知
为假D.对A为真有壹定信任
4.于主观Bayes方法中，专家给出的Ln和LS值，不能出现下俩种情况（）。
Ⅰ.LN<1,LS<1Ⅱ.LN<1,LS>1Ⅲ.LN>1,LS<1Ⅳ.LN>1,LS>1
A.Ⅰ,ⅡB.Ⅱ,ⅢC.Ⅰ,ⅣD.Ⅱ,Ⅳ
5.于证据理论中，信任函数和似然函数的关系为（）。
（A）≤Pl（A）（A）＜Pl（A）
（A）≥Pl（A）（A）＞Pl（A）
6.不完备的搜索过程是（）
A．广度优先搜索B．深度优先搜索
C．有界深度优先搜索D．代价树广度优先搜索
7.于主观Bayes方法中，规则E→H,有LS=LN=1,这意味：（）
对H没有影响支持H
C.-E支持支持-H
8.于可信度方法中，若证据A的可信度CF（F）=0,这意味：（）
A.证据A不可信B.对证据A壹无所知
C.证据A可信D.没有意义
9.人工智能研究的领域不包括（）。
A.自然语言理解B.自动程序设计
C.程序设计方法D.自动定理证明
10.用归结反演证明定理时，若当前归结式为（），则定理得证
A.永真式B.包孕式（subsumed）
C.原子谓词D.空子句
11.于主观Bayes方法中，证据E支持结论H时，有（）。
=<1
=>1
12.于可信度方法中，证据E的出现增加结论H为真时，有（）。
（H，E）>（H，E）>0
（H，E）=（H，E）<0
13.谓词公式中量词x的辖域是()
(x).
14.设个体域为整数集，下列公式中其值为 1的是()
.
.
15.设 L(x)：x是演员，J(x)：x是老师，A(x,y)：x佩服 y.那么命题“所有演员均佩服某
些老师”符号化为()
.
.
16.谓词公式 xA(x)xA(x)的类型是（）
A.永真式 B.矛盾式
C.非永真式的可满足式 D.不属于(A),(B),(C)任何类型
17.谓词公式取真值为 1的充分必要条件是()
A.对任意 y，使 P(y)均取真值 1
B.存于壹个 y0，使 P(y0)取真值 1
C.存于某些 y，使 P(y)均取真值 1
D.存于 y0，使 P(y0)取真值 0
18.设 GxyP(x,y)Q(z,w)，下面三个命题为真的是()
是前束范式 不是前束范式
不是壹阶公式 是永真式
19.和命题公式 P（QR）等值的公式是()
A.(PQ)RB.(PQ)RC.(PQ)(QR)
20.命题公式(PQ)P是()
A.永真式 B.永假式 C.可满足式 D.合取范式
三、判断题
1.和/或图中结点的深度必大于其父辈的深度。（）
2.若问题 P能够归结为和之等价的壹组子问题：,当且仅当这些子问题全部可解时，原
问题 P才可解。（）
3.目标公式于逻辑上遵循，那么满足的每个解释也满足。（）
4.于图搜索算法中，如果按估价函数作为 OPEN表中的结点排序的依据，则该算法就是
算法。（）
5.于图搜索中，若和结点的后继结点且非全部不可解，则它是可解的。（）
6.任壹表达式均能够转换成和/或形式。（）
7.。（）
8.专家系统的瓶颈是知识的获取。（）
9.对叶子结点进行静态估计后，为了计算非叶子结点的估计值，必须从叶子结点向上
倒推计算。（）
10.人工智能所解决的问题是壹般的数值计算或数据处理问题。
11.第壹个人工智能程序设计语言是表处理语言，它于 1960年于美国设计实现。
12.耦合性语言意为将具有规约语义的函数语言和具有归结语义的逻辑型语言组合于壹
起，且于俩者间提供接口。
13.壹旦推出空子句，则说明子句集 S是可满足的。、
14.公式的合壹唯壹。、
15.和或图通常称为状态图。
16.归结原理除了能用于对已知结果的证明外，仍能用于对未知结果的求解。
17.规则演绎系统，是壹种基于谓词逻辑的产生式系统。
表的动态数据结构，用于专门登记已经考查过的节点。
19.于和或图中，无子节点的节点称为端节点。
20.解树的代价就是树根的代价。
21.模糊集合和其隶属函数是等价的。
22.公式的 Skolem标准型和原公式等值
23.产生式就是逻辑蕴涵式。
24.正向推理是自底向上的综合过程，而反向推理则是自顶向下的分析过程。
25.框架适合表达结构性的知识。
26.语义网络是由节点和边组成的壹种有向网，可用于表示事物间的关系。
27.确定性理论是壹种精确推理模型。
28.基本概率分配函数之值是概率。
29.黑板模型适于求解那些大型复杂且可分解为壹系列层次化的子问题的问题。
30.自然语言理解包括语音理解和文字理解。
31.于谓词逻辑中，由于子句中含有变元，所以不能直接消去互补文字，需要用最壹般
合壹对变元进行代换，然后才能进行归结
四、名词解释
1.可解结点
2.专家系统
3.状态空间
4.产生式系统
5.图灵测试（TuringTest）
6.盲目搜索
7.估价函数
8.人工智能
9.合适公式
的差异集合
11.机器学习
12.产生式
13.启发式搜索
14.归结原理
15.原子集
五、论述题
简答题
1.规则演绎系统和产生式系统有哪几种推理方式？各自的特点为何？
2.从概念结构而言，专家系统有哪些部分构成？各部分的作用是什么？
3.人工智能的基本技术有哪些？且简述各种技术。
4.不确定性推理和通常的确定性推理有哪些差别？
证明题
5.设有子句集：
其中是目标公式否定后得到的子句。现要求用线性输入策略对子句集进行归结。
6．已知
F:∧∧
G:
求证：G是 F的逻辑结论
7.用海伯伦定理证明下列子句集不可满足。
8．用归结方法证明下列公式为恒真。
计算题
9．用壹阶谓词逻辑表示下列的英语句子
（ 1）
Acomputersystemisintelligentifitcanperformatask,whichifperformedbyahuman,requ
iresintelligence.
（ 2） Aformulawhosemainconnectiveisa→
isaequivalenttosomeformulawhosemainconnectiveisa∨.
（ 3）
Iftheinputtounificationalgorithmisasetofunifiableexpressions,theoutputisthemg
u;iftheinputisasetofnon-unifiableexpressions,theoutputisFALL.
10．设有壹组规则，推理网络如图所示。
Rule1:IFE1∧E2THENE3={a1,a2}CF={,}
Rule2:IFE5∧E8THENE4={b}CF={}
Rule3:IFE3THENH={h1,h2,h3}CF={,,}
Rule4:IFE4THENH={h1,h2,h3}CF={,,}
Rule5:IFE6∨E7THENE8CF={}
已知：CF(E1)=
CF(E2)=
CF(E5)=
CF(E6)=
CF(E7)=
试用 D-S证据理论求出 CF（H）。
11．将下列谓词公式化成相应的子句集。
（1）
（2）
12.将下列公式化为 skolem子句形
a)
b)
c)
