文档介绍：A)
正向推理
B)
反向推理
C）双向推理
4、
语义网络表达知识时，有向弧
AKO链、ISA链是用来表达节点知识的（
A)
无悖性
B)
可扩充性
C）继承性
5、
(A T B) A A => B 是
A)
附加律
B）拒收律
C)
假言推理 D）
US
6、
命题是可以判断真假的
A)
祈使句
B）疑问句
C)
感叹句
D）陈述句
7、
仅个体变元被量化的谓词称为
A)
一阶谓词B）
原子公式
C)
二阶谓词
D）全称量词
8 MGU 是
A）最股合
9、 1997 年 5
授台计算机被称
B）最
-著名的
（）
般替换
“人机大
战”
C）最般谓词
,最终计算机以
D）基替换

A深蓝
B) IBM
10、下列不在人工智能系统的知识包含的
A）事实
B）规则
C)
C）深思
4个要素中控制和元知识
D）蓝天
D)
关系
一、选择题（每题1分，共15分）
1、AI的英文缩写是
A) Automatic In tellige nee B)Artifical In tellige nee
C) Automatice In formatio n D) Artifical In formatio n
2、反演归结(消解)证明定理时，若当前归结式是( )时，则定理得证。
A)永真式 B)包孕式(subsumed ) C)空子句
3、
从已知事实出发，通过规则库求得结论的产生式系统的推理方式是
11、谓词逻辑下，子句,C1=L V C1
A） C1 ' V C2'b B）C1'V C2'
12、或图通常称为
A ）框架网络 B）语义图
13、不属于人工智能的学派是
A）符号主义 B）机会主义
14、人工智能的含义最早由一位科学家于家是
A）明斯基 B）.扎德
C=()
,C2= ? L/ C2 若b是互补文字的（最一般）合一置换，则其归结式
C）C1 ' A C2'b D） C1' A C2'
C）博亦图 D）状态图
C）行为主义 D）连接主义。
1950年提出,弁且同时提出一个机器智能的测试模型，请问这个科学
C）图林 D）冯诺依曼
，必须让机器具有知识。因此，在人工智能中有一个研究领域，主要研究计算机如何自动获取知识和
技能，实现自我完善，这门研究分支学科叫（）。
A）专家系统 B）机器学****C）神经网络 D）模式识别
二、填空题（，共30分）
1、不确定性类型按性质分： . ,
2、在删除策略归结的过程中删除以下子句：含有的子句；含
有的子句；子句集中被别的子句的子句。
3、对证据的可信度 CF （A ）、CF （A1 ）、CF （A2 ）之间，规定如下关系：
CF （〜A ） =、CF （A1 A A2 ） =、
CF （A1 V A2 ） =
4、图：指由和组成的网络。按连接同一节点的各边的逻辑关系又可分为
和。
5、合一算法：求非空有限具有相同谓词名的原子公式集的
6、产生式系统的推理过程中，从可触发规则中选择一个规则来执行，被执行的规则称为
。
7 、 P（ B|A ）表示在规则
A 为真的作用下结论 B 为真
的。
&人工智能的远期目标是
近期目标是。
三、简答及I
1、填写下面的三值逻辑表。
其中T, F, U分别表示真，假，不能判定
A
T F ir
T
F
U
V
T F LJ
T
F
U
P
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的逻辑结论；
F : x(P(x) Q(a) Q(x))
G: x(P(x) Q(x))
四、应用题(共30分)
1、用语义网络表示下列信息：
(1)胡途是思源公司的经理，他 35岁，住在飞天胡同 68号
(2)清华大学与北京大学进行蓝球比赛，最后以 89: 102的比分结束。
答：
2、图示博弈树，其中末一行的数字为假设的估值，请利用a - B剪枝技术剪去不必要的分枝。
加注释)
(在节点及边上直接
⑶大
3、设有如下关系： (1)如果x是y的父亲，y又是z的父亲，则x是z的祖父；(2)老李是大李的父亲;
李是小李的