人工智能》题Word下载.docx
《人工智能》题Word下载.docx》由会员分享，可在线阅读，更多相关《人工智能》题Word下载.docx（8页珍藏版）》请在冰豆网上搜索。
13.基于规则的演绎系统主要有
、和
。
14.D-S证据理论中函数Bel定义为
、而函数Pl定义
为。
15.问题的状态空间，可以记为三元组
<
S,F,G>
其中S为
F为，
G为。
16.人工智能研究的主要内容有
、
17.知识表示的方法主要有
18.世界上第一个专家系统
是在年由
主持研制成
功的；
我国的第一个专家系统
是在
年研制成功的。
19.神经网络可分为、
和广泛前向网
络。
20.在框架表示法中，用若干个
描述对象的属性，
用若干个
描述属性的各个方面。
21.产生式系统的三个基
本组成部分是
11.人工智能研究的主要领域有
22.知识表示方法按照控制性知识的组织方式可分为
选择题
过滤策略
时，表示（）。
A.A为真B.对al无所知
C.A为假D.对A为真有一定信任
4.
）。
在主观Bayes方法中，专家给出的Ln和LS值，不能出现下两种情况（
LS>
1
6.
不完备的搜索过程是（
C.有界深度优先搜索D.代价树广度优先搜索
7.在主观Bayes方法中，规则H,有LS=LN=1,这意味：
（）
A.E对H没有影响B.E支持H
C.七支持HD.E支持-H
8.在可信度方法中，若证据A的可信度CF（F）=0,这意味：
A.证据A不可信B.对证据L无所知
C.证据A可信D.没有意义
9.人工智能研究的领域不包括（）。
A.自然语言理解B.自动程序设计
C.程序设计方法D.自动定理证明
10.用归结反演证明定理时，若当前归结式为（），则定理得证
A.永真式B.包孕式（subsumed）
C.原子谓词D.空子句
11.在主观Bayes方法中，证据E支持结论H时，有（）。
A.LS=0B.LS<
C.LS=1D.LS>
12.在可信度方法中，证据E的出现增加结论H为真时，有（）。
A.CF（H，
E）>
B.CF
（H，E）>
C.CF（H，
E）=0
D.CF
（H，E）<
13.谓词公式
x（P（x）
yR（y））
Q（x）中量词x
的辖域是（）
Ax（P（x）
B.P（x）
C.P（x）
yR（y）D.Q（x）
14.设个体域为整数集，下列公式中其值为1的是（）
A.xy（xy0）B.yx（xy0）
C.xy（xy0）D.xy（xy0）
15.
设L（x）：
x是演员，J（x）：
x是老师，A（x,y）：
x佩服y.那么命题“所有演员都佩服某些老师”符号化为（）
C.xy（L（x）J（y）A（x,y））D.xy（L（x）J（y）A（x,y））
16.谓词公式xA（x）xA（x）的类型是（）
A.永真式B.矛盾式
C.非永真式的可满足式D.不属于（A）,（B）,（C）任何类型
17.谓词公式yP（y）取真值为1的充分必要条件是（）
A.对任意y，使P（y）都取真值1
B.存在一个yo，使P（yo）取真值1
C.存在某些y，使P（y）都取真值1
D.存在yo，使P（yo）取真值0
18.设GxyP（x,y）Q（z,w），下面三个命题为真的是（）
A.G是前束范式B.G不是前束范式
C.G不是一阶公式D.G是永真式
19.与命题公式P（QR）等值的公式是（）
A.（PQ）RB.（PQ）RC.（PQ）RD.P（QR）
20.命题公式（PQ）P是（）
A.永真式B.永假式C.可满足式D.合取范式三、判断题
1.与/或图中结点的深度必大于其父辈的深度。
（
2.若问题P可以归结为与之等价的一组子问题：
R,P2Pn,当且仅当这些子
问题全部可解时，原问题P才可解。
3.目标公式L在逻辑上遵循S，那么满足S的每个解释也满足Lo（）
4.在图搜索算法中，如果按估价函数fngnhn作为OPEN表中的结点排
序的依据，则该算法就是A*算法。
5.在图搜索中，若与结点的后继结点并非全部不可解，则它是可解的。
（）
6•任一表达式均可以转换成与/或形式。
7.［尸"
）7。
仁）］・^工）尸«
7WQ5。
8.专家系统的瓶颈是知识的获取。
9.对叶子结点进行静态估计后，为了计算非叶子结点的估计值，必须从叶子结
点向上倒推计算。
10.人工智能所解决的问题是一般的数值计算或数据处理问题。
11.第一个人工智能程序设计语言是表处理语言，它于1960年在美国设计实现。
12.耦合性语言意为将具有规约语义的函数语言和具有归结语义的逻辑型语言组合在一起，并在两者间提供接口。
13.一旦推出空子句，则说明子句集S是可满足的。
14.公式的合一唯
15.与或图通常称为状态图
16.归结原理除了能用于对已知结果的证明外，还能用于对未知结果的求解。
17.规则演绎系统，是一种基于谓词逻辑的产生式系统。
18.0PEN表的动态数据结构，用于专门登记已经考查过的节点。
19.在与或图中，无子节点的节点称为端节点。
20.解树的代价就是树根的代价。
21.模糊集合与其隶属函数是等价的。
22.公式的Skolem标准型与原公式等值
23.产生式就是逻辑蕴涵式。
24.正向推理是自底向上的综合过程，而反向推理则是自顶向下的分析过程。
25.框架适合表达结构性的知识。
26.语义网络是由节点和边组成的一种有向网，可用于表示事物间的关系。
27.确定性理论是一种精确推理模型。
28.基本概率分配函数之值是概率。
29.黑板模型适于求解那些大型复杂且可分解为一系列层次化的子问题的问题。
30.自然语言理解包括语音理解和文字理解。
31.在谓词逻辑中，由于子句中含有变元，所以不能直接消去互补文字，需要用最一般合一对变元进行代换，然后才能进行归结
四、名词解释
1.可解结点
2.专家系统
3.状态空间
4.产生式系统
5.图灵测试（TuringTest）
6.盲目搜索
7.估价函数
8.人工智能
9.合适公式
10.W的差异集合
11.机器学习
12.产生式
13.启发式搜索
14.归结原理
15.原子集
五、论述题
简答题
1.规则演绎系统和产生式系统有哪几种推理方式？
各自的特点为何？
2.从概念结构而言，专家系统有哪些部分构成？
各部分的作用是什么？
3.人工智能的基本技术有哪些？
并简述各种技术。
4.不确定性推理与通常的确定性推理有哪些差别？
证明题
5.设有子句集：
SIxRx,Ia,RyLy,La
其中IxRx是目标公式否定后得到的子句。
现要求用线性输入策略对子句集进行归结。
6．已知
F:
（x）（（y）（A（x,y）AB（y））（y）（C（y）AD（x,y）））
G:
（x）（C（x）（x）（y）（A（x,y）B（y）））
求证：
G是F的逻辑结论
7.用海伯伦定理证明下列子句集不可满足。
8．用归结方法证明下列公式为恒真。
计算题
9．用一阶谓词逻辑表示下列的英语句子
（1）Acomputersystemisintelligentifitcanperformatask,which
ifperformedbyahuman,requiresintelligence.
（2）Aformulawhosemainconnectiveisaisaequivalenttosome
formulawhosemainconnectiveisaV.
（3）Iftheinputtounificationalgorithmisasetofunifiable
expressions,theoutputisthemgu;
iftheinputisasetofnon-unifiableexpressions,theoutputisFALL.
10．设有一组规则，推理网络如图所示。
Rule1:
IF
E
1AE2
THEN
E3={a1,a2}CF={0.2,0.6}
Rule2:
5AE8
E4={b}CF={0.8}
Rule3:
3
H={h1,h2,h3}CF={0.2,0.5,0.3}
Rule4:
4
H={h1,h2,h3}CF={0.3,0.4,0.1}
Rule5:
6VE7
E8CF={0.8}
已知：
CF（E1）=0.7
CF（E2）=0.8
CF（E5）=0.6
CF（E6）=0.4
CF（E7）=0.9
试用D-S证据理论求出CF（H）。
11．将下列谓词公式化成相应的子句集。
（1）xyz{P（x）x[Q（x,y）R（z）]}
R（x,z,w））
（2）xyzuvw（P（x,y,z,u,v,w）Q（x,y,z,u,v,w）
12.将下列公式化为skolem子句形
a）xPxxQxxPxQx
b）xPxyzQx,yzRy,x
c）xPxxzQx,zzRx,y,z
升级会员 