五常论坛⼀、选择题(每题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)陈述句
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年提出，并且同时提出⼀个机器智能的测试模型，请问这个科学家是 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、⼈⼯智能的远期⽬标是，
dbi
近期⽬标是。
三、简答及计算题(每题5分，共25分)
1、填写下⾯的三值逻辑表。
其中T，F，U分别表⽰真，假，不能判定
2、什么是产⽣式？产⽣式规则的语义是什么？
3、谓词公式G通过８个步骤所得的⼦句集合S，称为G的⼦句集。请写出这些步骤。
4、已知S={P(f(x),y,g(y)),P(f(x),z,g(x))}，求MGU
5、证明G是否是F的逻辑结论；
))
(
)
(
(
:
)) (
)
(
)
(
(
:
x
Q
x
P
x
G
x Q
a
Q
x
P
x
F
∧
∨
∧
四、应⽤题(共30分)
1、⽤语义⽹络表⽰下列信息：
(1)胡途是思源公司的经理，他35岁，住在飞天胡同68号
(2)清华⼤学与北京⼤学进⾏蓝球⽐赛，最后以89：102的⽐分结束。
答：
2、图⽰博弈树，其中末⼀⾏的数字为假设的估值，请利⽤α-β剪枝技术剪去不必要的分枝。（在节点及边上直接加注释）
3、设有如下关系：（1）如果x是y的⽗亲，y⼜是z的⽗亲，则x是z的祖⽗；（2）⽼李是⼤李的⽗亲；（3）⼤李是⼩李的⽗亲；问上述⼈员中谁和谁是祖孙关系？
答案：
⼀、1、B 2、C3、A4、C5、C
6、D
7、A
8、A
9、A10、D
11、A12、D13、B14、C15、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）消去蕴含式和等价式→，<->
松下m1000
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}
得证。
四、
2、
3、解：现定义如下谓词
F(x,y)------ x是y的⽗亲;
G(x,z)------ x是y的祖⽗;
⽤谓词逻辑表⽰已知与求解:
定西日报电子版(1) F(x,y)∧F(y,z)→G(x,z)
(2) F(L,D)
(3) F(D,X)
(4) G(u,v),u=?,v=?
其中,L表⽰⽼李,D表⽰⼤李,X表⽰⼩李。
豫公网安备41160202000603
站长QQ:729038198
关于我们
投诉建议