文档介绍:nrxx出xxoz
趾番赭宀黨驱®-Ms-鶴轨叵匿風塑孝令sJ#-g
KIIKrASHX)
y)),存于量词是于全称量词的辖域内,我们允许所存于的x可能依赖于y值。令这种依赖关系明显地由函数所定义,它把每个y值映射到存于的那个X。这种函数叫做()
依赖函数
Skolem函数
决定函数
D多元函数
6•子句〜PvQ和P经过消解以后,得到()
P
Q
~P
PvQ
7、(AvB)oA称为(),〜(AaB)o〜Av〜B称为()
8、下列哪部分不是专家系统的组成部分()
)用户B)综合数据库C)推理机D)知识库
9、产生式系统的推理不包括()
A)正向推理B)逆向推理C)双向推理D)简单推理
10、C(B|A)表示于规则A->B中,证据A为真的作用下结论B为真的
A)可信度B)信度C)信任增长度D)概率
11、AI的英文缩写是
A)AutomaticIntelligenceB)ArtificalIntelligence
C)AutomaticeInformationD)ArtificalInformation
12、反演归结(消解)证明定理时,若当前归结式是()时,则定理得证
A)永真式B)包孕式(subsumed)C)空子句13、于公式中Vymxp(x,y)),存于量词是于全称量词的辖域内,我们允许所存于的x可能依赖于y值。令这种依赖关系明显地由函数所定义,它把每个
y值映射到存于的那个x。这种函数叫做()
依赖函数
Skolem函数
决定函数
D多元函数
14、子句〜PvQ和P经过消解以后,得到()
P
Q
~P
PvQ
15、如果问题存于最优解,则下面几种搜索算法中,()必然能够得到该最优解
广度优先搜索
深度优先搜索
有界深度优先搜索
启发式搜索
三、简答和应用题
深度优先方法的特点是什么?6
什么是置换?置换是可交换的吗?6分
某问题由下列公式描述:
⑴、试用归结法证明(x)R(x);8分
4•下图所示博弈树,按从左到右的顺序进行a-p剪枝搜索,试标明各生成节点的
到推值,何处发生剪枝,及应选择的走步。10分
(1)如果x是y的父亲,y又是z的父亲,则x是z的祖父;(2)老
李是大李的父亲;(3)大李是小李的父亲;问上述人员中谁和谁是祖孙关系?(10分)
6•张某被盗,公安局派了五个侦察员去调查。研究案情时,侦察员A说:“赵和钱中至少有壹人作案”;侦察员D说:“钱和孙至少有壹人作案”;侦察员C说:“孙和李中至少有壹个作案”;侦察员D说“赵和孙至少壹个和案无关”;侦察员E说
“钱和李中至少有壹人和此案无关”。如果这五个侦察员的话均是可信的,试用消解原理推理求出谁是盗窃犯。(10分)
填空题
1、修改证明树
2、。
3、正向推理
4、ArtificalInteligenee
5、搜索技术推理技术知识表示和知识库技术、归纳技术、联想技术
6、框架语义网络面向对象
7、综合数据库知识库正向推理反向推理
8、辖域约束变元自由变元
9