人工智能试卷四
一、选择题(每题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)陈述句
7、仅个体变元被量化的谓词称为
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、人工智能的远期目标是，近期目标是。
三、简答及计算题(每题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、C 15、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）消去蕴含式和等价式→，<->
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}
得证。
四、
1、
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表示小李。
先证存在祖孙关系
①┓F(x,y)∨┓F(y,z)∨G(x,z)．．．从(1)变换
② F(L,D) ．．．从(2)变换
③ F(D,X) ．．．从(3)变换
④┓G(u,v) ．．．结论的否定
⑤┓F(D,z)∨G(L,z) ．．．①②归结,置换｛L/x,D/y｝
⑥ G(L,X) ．．．③⑤归结,置换｛X/z｝
⑦□．．．④⑥归结,置换｛L/u,X/v｝
得证,说明存在祖孙关系。
为了求解用一个重言式④
④┓G(u,v)∨G(u,v) ．．．用重言式代替结论的否定,重言式恒为真
⑤┓F(D,z)∨G(L,z) ．．．①②归结,置换｛L/x,D/y｝
⑥ G(L,X) ．．．③⑤归结,置换｛X/z｝
⑦ G(L,X) ．．．④⑥归结,置换｛L/u,X/v｝
得结果:L是X的祖父，即老李是小李的祖父。
人工智能试卷五
一、选择题(每题1分，共15分)
1、人工智能是一门
A)数学和生理学B)心理学和生理学C)语言学
D)综合性的交叉学科和边缘学科
2、语义网络表达知识时，有向弧AKO 链、ISA 链是用来表达节点知识的（）。
A) 无悖性B) 可扩充性C) 继承性
3、(A->B)∧A => B是
A)附加律B)拒收律C)假言推理D)US
4、命题是可以判断真假的
A)祈使句B)疑问句C)感叹句D)陈述句
5、仅个体变元被量化的谓词称为
A)一阶谓词B)原子公式C)二阶谓词D)全称量词
6、MGU是
A) 最一般合一B)最一般替换C) 最一般谓词D)基替换
最一般合一
7、下列不在人工智能系统的知识包含的4个要素中
A) 事实B) 规则C) 控制D) 关系
8、当前归结式是（）时，则定理得证。
A) 永真式 B 包孕式（subsumed）C) 空子句
9、或图通常称为
A）框架网络B)语义图C)博亦图D)状态图
10、不属于人工智能的学派是
A)符号主义B) 机会主义C)行为主义D)连接主义。
11、所谓不确定性推理就是从( )的初始证据出发，通过运用( )的知识，最终推出具有一定程度的不确定性但却是合理或者近乎合理的结论的思维过程。
A)不确定性, 不确定性B)确定性, 确定性
C)确定性, 不确定性D) 不确定性确定性
12.要想让机器具有智能，必须让机器具有知识。因此，在人工智能中有一个研究领域，主要研究计算机如何自动获取知识和技能，实现自我完善，这门研究分支学科叫（）。
A)专家系统B)机器学习C)神经网络D)模式识别
13、下列哪部分不是专家系统的组成部分（）
A.）用户B）综合数据库C）推理机D）知识库
14、产生式系统的推理不包括（）
A）正向推理B）逆向推理C）双向推理D）简单推理
15、C(B|A) 表示在规则A->B中，证据A为真的作用下结论B为真的
A)可信度B)信度C)信任增长度D)概率
二、填空题(每题1分，共30分)
1、人工智能的含义最早由一位科学家于1950年提出，并且同时提出一个机器智能的测试模型，请问这个科学家是
2、从已知事实出发，通过规则库求得结论的产生式系统的推理方式是
。
3、AI的英文缩写是。
4、不确定性类型按性质分：，，
，。
5、在删除策略归结的过程中删除以下子句：含有的子句;含有的子句;子句集中被别的子句的子句。
6、对证据的可信度CF（A）、CF（A1）、CF（A2）之间，规定如下关系：
CF（~A）=、CF（A1∧A2 ）=、
CF（A1∨A2 ）=。
7、图：指由组成的网络。按连接同一节点的各边的逻辑关系又可分为和。
8、合一算法：求非空有限具有相同谓词名的原子公式集的。
9、1997年５月，著名的“人机大战”，最终名为“”的计算机以3.5比2.5的总比分将世界国际象棋棋王卡斯帕罗夫击败。
10、人工智能的远期目标是，近期目标是。
三、简答及计算题(每题5分，共25分)
1、解释下列模糊性知识：
1) 张三，体型，（胖，0.9））。
2) (患者，症状，(头疼，0.95) )∧ (患者，症状，(发烧，1.1) ) →(患者，疾病，(感冒，1.2) )
答：
2、简单阐述产生式系统的组成：
答：3、补齐产生式系统与图搜索的对比表
答：
4、已知W={P(f(x,g(A,y)),z),P(f(x,z),z)}，求MGU
解：
5、证明G是否是F1、F2的逻辑结论；
))
(
)
(
(
))
(
)
(
(
2
))
(
)
(
(
)
(
(
1
x
R
x
S
x
G
x
S
x
P
x
F
x
R
x
Q
x
P
x
F
∧
?
∧
?
∧
→
?
：
：
：
证:
四、应用题(共30分)
1、将命题：“某个学生读过三国演义”分别用谓词公式和语义网络表示
答：
2、图示博弈树，其中末一行的数字为假设的估值，请利用α-β剪枝技术剪去不必要的分枝。（在节点及边上直接加注释）
3、利用谓词逻辑表示下列知识（包括已知和结论），然后化成子句集：
（1）凡是清洁的东西就有人喜欢；
（2）人们都不喜欢苍蝇
求证：苍蝇是不清洁的。
证：
答案：
一、1、D 2、C 3、C 4、D 5、A
6、A
7、D
8、C
9、D 10、B
11、A 12、B 13、A. 14、D 15、B
二、1、图林2、正向推理3、Artifical Intelligence
4、随机性，模糊性，不完全性，不一致性
5、纯文字，永真式，类含
6、-CF(A)，min{CF(A1),CF(A2)}，max{CF(A1),CF(A2)} )
7、节点和有向边，或图，与或图8、最一般合一（MGU）
9、深蓝10、制造智能机器，实现机器智能
三、1、答：1）表示：命题“张三比较胖” 2）解释为：如果患者有些头疼并且发高烧，则他患了重感冒。
2、答：1）产生式规则库：描述相应领域知识的产生式规则集
2）数据库：（事实的集合）存放问题求解过程中当前信息的数据结构（初始事实、外部数据库输入的事实、中间结果
事实和最后结果事实）
3）推理机：（控制系统）是一个程序，控制协调规则库与数据库的运行，包含推理方式和控制策略。
3、答：
4、解：k=0;S0=S;δ0=ε;S0不是单元素集，求得差异集D0={g(A,y)},z},其中z是变元，g(A,y)是项，且z不在g(A,y)中出现。k=k+1=1
有δ1=δ0·｛g(A,y)/z｝=ε·｛g(A,y)/z｝=｛g(A,y)/z｝，
S1=S0·｛g(A,y)/z｝={P(f(x,g(A,y)),g(A,y))},S1是单元素集。
根据求MGU算法，MGU=δ1=｛g(A,y)/z｝
5、证:①┓P(x)∨Q(x) ．．．从F1变换
②┓P(y)∨R(y) ` ．．．从F1变换
③P(a) ．．．从F2变换
④S(a) ．．．从F2变换
⑤┓S(z)∨┓R(z) ．．．结论的否定
⑥R(a) ．．．②③归结｛a/y｝
⑦┓R(a) ．．．④⑤归结｛a/z｝
⑧□．．．⑥⑦归结
得证.
四、1、答：谓词公式表示：
?x(student(x)∧read(x,三国演义))
语义网络表示如图：
2、
3、证：现定义如下谓词
L(x,y)------某人x喜欢某物y；
P(y)------ 某物y是清洁的东西
(1) ?y?x(P(y)→L(x,y)) ==> ┓P(y)∨L(f(y),y)
(2) ?x(┓L(x,Fly)) ==> ┓L(x,Fly)
(3) P(Fly) ．．．结论的反
(4) L(f(Fly), Fly) ．．．(1)(3)归结,置换{Fly/y} (5) □．．．(2)(4)归结,{f(Fly)/x}
得证。
人工智能试卷八
一、填空题（共30分）
1. 归结法中，可以通过---------的方法得到问题的解答。
2.化成子句形式为：。
3.从已知事实出发，通过规则库求得结论的产生式系统的推理方式是
4.AI是是的英文缩写
5. 人工智能的基本技术包括、、、——、——。
6.目前所用的知识表示形式有、、等。
7.产生式系统有三部分组成，和推理机。其中推理可分为和。
8.在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的，而在一个量词的辖域中与该量词的指导变元相同的变元称为，其他变元称为
9、1997年５月，著名的“人机大战”，最终名为“”的计算机以3.5比2.5的总比分将世界国际象棋棋王卡斯帕罗夫击败。
10、人工智能的远期目标是，近期目标是。
11、谓词逻辑中，重言式（tautlogy）的值是。
12、利用归结原理证明定理时，若得到的归结式为，则结论成立。
13、若C1=┐P∨Q，C2=P∨┐Q，则C1和C2的归结式R（C1，C2）= 。
14、若C1=P(x) ∨Q(x)，C2=┐P(a) ∨R(y)，则C1和C2的归结式R（C1，C2）= 。
15、在归结原理中，几种常见的归结策略并且具有完备性的是，，。
16、在启发式搜索当中，通常用来表示启发性信息。
17、假言推理（A→B）∧A?，假言三段论（A→B）∧（B→C）? .
填空题
1、修改证明树
2、
。
3、正向推理
4、 Artifical Inteligence
5、搜索技术推理技术知识表示和知识库技术、归纳技术、联想技术
6、框架语义网络面向对象
7、综合数据库知识库正向推理反向推理
8、辖域约束变元自由变元
9、深蓝
10、制造智能机器实现机器智能
11、真
12、空集
13、┐P∨P或┐Q∨Q
14、Q（a）∨R（y）
15、删除策略支持集策略线性归结策略
16、启发函数
17、 B A→C
二、选择题（15小题，共15分
1.人工智能是一门
A)数学和生理学B)心理学和生理学C)语言学
D)综合性的交叉学科和边缘学科
2、下列哪个不是人工智能的研究领域（）
A.机器证明
B.模式识别
C. 人工生命
D. 编译原理
3.神经网络研究属于下列（）学派
A. 符号主义
B. 连接主义
C. 行为主义
D. 都不是
4.已知初始问题的描述，通过一系列变换把此问题最终变为一个子问题集合；这些子问题的解可以直接得到，从而解决了初始问题。这是知识表示法叫（）
A. 状态空间法
B. 问题归约法
C. 谓词逻辑法
D. 语义网络法
5.在公式中?y?xp(x,y))，存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义，它把每个y值映射到存在的那个x。这种函数叫做（）
A. 依赖函数
B. Skolem函数
C. 决定函数
D. 多元函数
6.子句~P∨Q和P经过消解以后，得到（）
A. P
B. Q
C. ~P
D. P∨Q
7、8.A∧（A∨B）?A 称为（），~（A∧B）?~A∨~B称为（）
A. 结合律
B.分配律
C.吸收律
D.摩根律
8、下列哪部分不是专家系统的组成部分（）
A.）用户B）综合数据库C）推理机D）知识库
9、产生式系统的推理不包括（）
A）正向推理B）逆向推理C）双向推理D）简单推理
10、C(B|A) 表示在规则A->B中，证据A为真的作用下结论B为真的
A)可信度B)信度C)信任增长度D)概率
11、AI的英文缩写是
A)Automatic Intelligence B)Artifical Intelligence
C)Automatice Information D)Artifical Information
12、反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。
A)永真式B)包孕式（subsumed）C)空子句
13、在公式中?y?xp(x,y))，存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义，它把每个y值映射到存在的那个x。这种函数叫做（）
A. 依赖函数
B. Skolem函数
C. 决定函数
D. 多元函数
14、子句~P∨Q和P经过消解以后，得到（）
A. P
B. Q
C. ~P
E. P∨Q
15、如果问题存在最优解，则下面几种搜索算法中，（）必然可以得到该最优解。
A. 广度优先搜索
B. 深度优先搜索
C. 有界深度优先搜索
D. 启发式搜索
三、简答与应用题
i. 深度优先方法的特点是什么？6
ii. 什么是置换？置换是可交换的吗？6分
某问题由下列公式描述：
(1)、试用归结法证明(x)R(x)；8分
4. 下图所示博弈树，按从左到右的顺序进行α-β剪枝搜索，试标明各生成节点的到推值，何处发生剪枝，
及应选择的走步。10分
5.10分设有如下关系：（1）如果x是y的父亲，y又是z的父亲，则x是z的祖父；（2）老李是大李的
父亲；（3）大李是小李的父亲；问上述人员中谁和谁是祖孙关系？(10分)
6. 张某被盗，公安局派了五个侦察员去调查。研究案情时，侦察员Ａ说：“赵与钱中至少有一人作案”；侦察
员Ｄ说：“钱与孙至少有一人作案”；侦察员Ｃ说：“孙与李中至少有一个作案”；侦察员Ｄ说“赵与孙至少一个与案无关”；侦察员Ｅ说“钱与李中至少有一人与此案无关”。如果这五个侦察员的话都是可信的，试用消解原理推理求出谁是盗窃犯。（10分）
选择题
三、简答与应用题
1. 解答: （1）属于图搜索；（2）是一个通用的搜索方法；（3）如果深度限制不合适，有可能找不到问题的解；（4）
不能保证找到最优解。
2. 回答: 通常用有序对的集合s＝{t1/v1，t2/v2，…，tn/vn}来表示任一置换，置换集的元素ti/vi的含义是表达式中
的变量vi处处以项ti来替换，用s对表达式E作置换后的例简记为Es。
一般来说，置换是不可交换的，即两个置换合成的结果与置换使用的次序有关。
3.
5. 、解:现定义如下谓词
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表示小李。
先证存在祖孙关系
①～F(x,y)∨～F(y,z)∨G(x,z)．．．从(1)变换
② F(L,D) ．．．从(2)变换
③ F(D,X) ．．．从(3)变换
④～G(u,v) ．．．结论的否定
⑤～F(D,z)∨G(L,z) ．．．①②归结,置换｛L/x,D/y｝
⑥ G(L,X) ．．．③⑤归结,置换｛X/z｝
⑦□．．．④⑥归结,置换｛L/u,X/v｝
得证,说明存在祖孙关系。
为了求解用一个重言式④
④～G(u,v)∨G(u,v) ．．．用重言式代替结论的否定,重言式恒为真
⑤～F(D,z)∨G(L,z) ．．．①②归结,置换｛L/x,D/y｝
⑥ G(L,X) ．．．③⑤归结,置换｛X/z｝
⑦ G(L,X) ．．．④⑥归结,置换｛L/u,X/v｝得结果:L是X的祖父，即老李是小李的祖父。
6. 解：设用T(x)表示x是作案者，则
侦察员A的话可表示：T(赵)T(钱)
侦察员B的话可表示：T(钱)T(孙)
侦察员C的话可表示：T(孙)T(李)
侦察员D的话可表示：T(赵)T(孙)
侦察员E的话可表示：T(钱)T(李)
上面五个组成子句集S，求谁是作案者，把T(x)ANSWER(x)并入S1得到。即比S1多出如下一个子句：T(x) ANSWER(x)
然后利用消解原理对S1进行消解可得答案：钱和孙是作案者。
人工智能试卷九
试题部分：
一、选择题（15小题，共15分）
1. 人工智能产生于哪一年（）。
A. 1957
B. 1962
C. 1956
D. 1979
2.下列哪个不是人工智能的研究领域（）
A.机器证明
B.模式识别
C. 人工生命
D. 编译原理
3.神经网络研究属于下列（）学派
A. 符号主义
B. 连接主义
C. 行为主义
D. 都不是
4.已知初始问题的描述，通过一系列变换把此问题最终变为一个子问题集合；这些子问题的解可以直接得到，从而解决了初始问题。这是知识表示法叫（）
A. 状态空间法
B. 问题归约法
C. 谓词逻辑法
D. 语义网络法
5.在公式中?y?xp(x,y))，存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义，它把每个y值映射到存在的那个x。这种函数叫做（）
A. 依赖函数
B. Skolem函数
C. 决定函数
D. 多元函数
6.子句~P∨Q和P经过消解以后，得到（）
A. P
B. Q
C. ~P
F. P∨Q
7、8.A∧（A∨B）?A 称为（），~（A∧B）?~A∨~B称为（）
B. 结合律 B.分配律
C.吸收律
D.摩根律
9、10.如果问题存在最优解，则下面几种搜索算法中，（）必然可以得到该最优解，（）可以认为是“智能程度相对比较高”的算法。
D. 广度优先搜索
E. 深度优先搜索
F. 有界深度优先搜索
G. 启发式搜索
11.产生式系统的推理不包括（）
A. 正向推理
B. 逆向推理
C. 双向推理
D. 简单推理
12.下列哪部分不是专家系统的组成部分（）
A. 用户
B. 综合数据库
C. 推理机
D. 知识库
13. 要想让机器具有智能，必须让机器具有知识。因此，在人工智能中有一个研究领域，主要研究计算机如何自动获取知识和技能，实现自我完善，这门研究分支学科叫（）。
A. 专家系统
B. 机器学习
C. 神经网络
D. 模式识别
14、人工智能是一门
A)数学和生理学B)心理学和生理学C)语言学
D)综合性的交叉学科和边缘学科
15、语义网络表达知识时，有向弧AKO 链、ISA 链是用来表达节点知识的（）。
A) 无悖性B) 可扩充性C) 继承性
二、填空题（共30分）：
1. 归结法中，可以通过---------的方法得到问题的解答。
2.化成子句形式为：。
3.从已知事实出发，通过规则库求得结论的产生式系统的推理方式是
4.AI是是的英文缩写
5. 人工智能的基本技术包括、、、归纳技术、联想技术。
6.目前所用的知识表示形式有、、等。
7.产生式系统有三部分组成，和推理机。其中推理可分为和。
8.在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的，而在一个量词的辖域中与该量词的指导变元相同的变元称为，其他变元称为
9、1997年５月，著名的“人机大战”，最终名为“”的计算机以3.5比2.5的总比分将世界国际象棋棋王卡斯帕罗夫击败。
10、人工智能的远期目标是，近期目标是。
11、谓词逻辑中，重言式（tautlogy）的值是。
12、利用归结原理证明定理时，若得到的归结式为，则结论成立。
13、若C1=┐P∨Q，C2=P∨┐Q，则C1和C2的归结式R（C1，C2）= 。
14、若C1=P(x) ∨Q(x)，C2=┐P(a) ∨R(y)，则C1和C2的归结式R（C1，C2）= 。
15、在归结原理中，几种常见的归结策略并且具有完备性的是，，。
16、在启发式搜索当中，通常用来表示启发性信息。
17、假言推理（A→B）∧A?，假言三段论（A→B）∧（B→C）? .
三、简答与应用题
1、剪枝方法只是极小极大方法的一种近似，剪枝可能会遗漏掉最佳走步。这种说法是否正确？(6分) 2. 将下列谓词公式化成子句集
()()
()()
()
()
a
f
y
x
R
z
x
Q
z
P
z
y
x,
,
,
~→
∧
?
?
?。（6分）
3、解释下列模糊性知识：
1) 张三，体型，（胖，0.9））。
2) (患者，症状，(头疼，0.95) )∧ (患者，症状，(发烧，1.1) ) →(患者，疾病，(感冒，1.2) )(6分)
4.写出图中树的结点两个访问序列，要求分别满足以下两个搜索策略：(6分)
(1) 深度优先搜索
(2) 广度优先搜索
5、产生式系统由哪些部分组成？
6. 张某被盗，公安局派了五个侦察员去调查。研究案情时，侦察员Ａ说：“赵与钱中至少有一人作案”；侦察员Ｄ说：“钱与孙至少有一人作案”；侦察员Ｃ说：“孙与李中至少有一个作案”；侦察员Ｄ说“赵与孙至少一个与案无关”；侦察员Ｅ说“钱与李中至少有一人与此案无关”。如果这五个侦察员的话都是可信的，试用消解原理推理求出谁是盗窃犯。（15分）
7. 下图所示博弈树，按从左到右的顺序进行α-β剪枝搜索，试标明各生成节点的到推值，何处发生剪枝，及应选择的走步。
答案部分
1. 修改证明树
2. 。
3. 正向推理
4. Artifical Inteligence
5. 搜索技术推理技术知识表示和知识库技术
6. 框架语义网络面向对象
7. 综合数据库知识库正向推理反向推理
8. 辖域 约束变元 自由变元 9. 深蓝
10. 制造智能机器 实现机器智能 11. 真 12. 空集
13. ┐P ∨P 或┐Q ∨Q 14. Q （a ）∨R （y ）
15. 删除策略 支持集策略 线性归结策略 16. 启发函数
17. B A →C 三、简答与应用题
1不正确。 － 剪枝方法利用已经搜索的信息，剪掉哪些对于搜索最佳走步没有意义的分枝，其找到的最佳走步与极小极大方法找到的结果是一样的。而且搜索效率有很大提高。 2、()()()()()()a f y x R z x Q z P z y x ,,,~→∧???
()()()))a (f ,y ,x (R z ,x ┐Q
)z (P z ┐y x ∨∧??? ()()))a (f ,y ,x (R )z ,x (Q )z (P ~z y x ∨∨??? ()()))a (f ,y ,b (R )z ,b (Q )z (P ~z y ∨∨?? ()()()()))a (f ,y ,b (R )y g ,b (Q )y g (P ~y ∨∨?
()(){}))a (f ,y ,b (R )y g ,b (Q )y g (P ~∨∨
3、答：1）表示：命题“张三比较胖” 2）解释为：如果患者有些头疼并且发高烧，则他患了重感冒。
4、解：（１）深度优先搜索：
１－２－５－６－１０－１１－３－７－１２－１３－４－８－９ （２）广度优先搜索：
１－２－３－４－５－６－７－８－９－１０－１１－１２－１３－１４ 5解答: 组成产生式系统的三要素:（1）综合数据库；（2）一组产生式规则（或者规则集）；（3）一个控制系统（或者控制策略）
6、解：设用T(x)表示x 是作案者，则
侦察员A 的话可表示：T(赵)T(钱) 侦察员B 的话可表示：T(钱)T(孙) 侦察员C 的话可表示：T(孙)T(李)
侦察员D 的话可表示：T(赵) T(孙) 侦察员E 的话可表示：T(钱) T(李) 上面五个组成子句集S ，求谁是作案者，把T(x)ANSWER(x)并入S 1得到。即比S 1多出如下一个子句：T(x)ANSWER(x)
然后利用消解原理对S 1进行消解可得答案：钱和孙是作案者。
7.
人工智能试卷十
一、选择题（15小题，共15分）
1、97年５月，著名的“人机大战”，最终计算机以3.5比2.5的总比分将世界国际象棋棋王卡斯帕罗夫击败，这台计算机被称为（ ） A ）深蓝 B ）IBM C ）深思 D ）蓝天
2、下列不在人工智能系统的知识包含的4个要素中 A)事实 B)规则 C)控制和元知识 D)关系
3、谓词逻辑下，子句, C1=L ∨C1…, C2= ? L ∨C2…, 若ζ是互补文字的（最一般）合一置换，则其归结式C=（ ） A) C1?ζ∨C2?ζ B)C1?∨C2? C)C1?ζ∧C2?ζ D)C1? ∧C2?
4、或图通常称为 A ）框架网络 B)语义图 C)博亦图 D)状态图
5、不属于人工智能的学派是 A)符号主义 B)机会主义 C)行为主义 D)连接主义。
6、人工智能的含义最早由一位科学家于1950年提出，并且同时提出一个机器智能的测试模型，请问这个科学家是 A)明斯基 B).扎德 C)图林 D)冯.诺依曼
7、要想让机器具有智能，必须让机器具有知识。因此，在人工智能中有一个研究领域，主要研究计算机如何自动获取知识和技能，实现自我完善，这门研究分支学科叫（ ）。 A)专家系统 B)机器学习 C)神经网络 D)模式识别 8、下列哪部分不是专家系统的组成部分（ ） A.）用户 B ）综合数据库 C ）推理机 D ）知识库 9、产生式系统的推理不包括（ ） A ）正向推理 B ）逆向推理 C ）双向推理 D ）简单推理 10、C(B|A) 表示在规则A->B 中，证据A 为真的作用下结论B 为真的 A)可信度 B)信度 C)信任增长度 D)概率 11、AI 的英文缩写是
A)Automatic Intelligence B)Artifical Intelligence C)Automatice Information D)Artifical Information
12、反演归结（消解）证明定理时，若当前归结式是（ ）时，则定理得证。 A)永真式 B)包孕式（subsumed ） C)空子句
13、在公式中?y ?xp(x,y))，存在量词是在全称量词的辖域内，我们允许所存在的x 可能依赖于y 值。令这种依赖关系明显地由函数所定义，它把每个y 值映射到存在的那个x 。这种函数叫做（ ） A. 依赖函数 B. Skolem 函数 C. 决定函数
D. 多元函数
14、子句~P ∨Q 和P 经过消解以后，得到（ ） A. P B. Q C. ~P
G. P ∨Q
15、如果问题存在最优解，则下面几种搜索算法中，（）必然可以得到该最优解。
H. 广度优先搜索
I. 深度优先搜索
J. 有界深度优先搜索
D. 启发式搜索
二、填空题（共30分）：
1.在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的，而在一个量词的辖域中与该量词的指导变元相同的变元称为，其他变元称为
2、假言推理（A→B）∧A?，假言三段论（A→B）∧（B→C）?
3、几种常用的归结策略：、支持集策略、线形归结策略、输入归结策略、单元归结策略
4、在诸如走迷宫、下棋、八数码游戏等游戏中，常用到的一种人工智能的核心技术称为
技术，解这类问题时，常把在迷宫的位置、棋的布局、八数码所排成的形势用图来表，这种图称为
5.在启发式搜索当中，通常用来表示启发性信息。
6.在二人博弈问题中，最常用的一种分析技术是，这种方法的思想是先生成一棵博弈树，然后再计算其倒推值。但它的效率较低，因此人们在此基础上，又提出了
7、不确定性类型按性质分：，，
，。
8、在删除策略归结的过程中删除以下子句：含有的子句;含有的子句;子句集中被别的子句的子句。
9、对证据的可信度CF（A）、CF（A1）、CF（A2）之间，规定如下关系：
CF（~A）=、CF（A1∧A2 ）=、
CF（A1∨A2 ）=。
10、图：指由组成的网络。按连接同一节点的各边的逻辑关系又可分为和。
11、合一算法：求非空有限具有相同谓词名的原子公式集的。
12、开发专家系统所要解决的基本问题有三个，那就是知识的获取、知识的表示和，知识表示的方法主要有，，和语义网络等，在语义网络表示知识时，所使用的推理方法有和
三、简答与应用题
1、谓词逻辑形式化下列描述
“不存在最大的整数”(4分)
2.α－β剪枝的条件是什么？
（6分）
3、某问题由下列公式描述：
(1)、试用归结法证明(x)R(x)；
（8分）
4. 专家系统的一般步骤有哪些？专家系统的开发与一般的软件系统开发相比较，有哪些共同点和特点？（7分）
5.何谓“图灵实验”？简单描述之（5分）
6、设有如下关系：（1）如果x是y的父亲，y又是z的父亲，则x是z的祖父；（2）老李是大李的父亲；（3）大李是小李的父亲；问上述人员中谁和谁是祖孙关系？(10分)
7. 给1～9九个数字排一个序列，使得该序列的前n(n=1,...,9) 个数字组成的整数能被n整除。
(1)、讨论哪些知识可以帮助该问题的求解。
(2)、用产生式系统描述该问题. (15分)
答案部分
一、选择题
二、填空题
1、辖域约束变元自由变元
2、 B A→C
3、删除策略
4、图搜索状态空间图（或状态图）
5、启发函数
6、极大极小分析法α-β剪枝技术
7、随机性模糊性不一致性不确定性
8、纯文字永真类含
9、~CF（A）min{CF（A1），CF（A2）} max{CF（A1），CF（A2）}
10、或图与或图
11、最一般合一
12、知识的运用逻辑表示法（谓词表示法）框架产生式AKO ISA
三、简答及应用题
1、定义谓词G(x)：x为整数
D(x,y)：x大于y
形式化为：
()
()),(
)
(
)
(y
x
D
y
G
y
x
G
x
┐→
?
∧
?
或者()
()),(
)
(
)
(x
y
D
y
G
y
x
G
x∧
?
→
?
2、回答: α剪枝：若任一极小值层节点的β值小于或等于它任一先辈极大值节点的α值，即α（先辈层）≥β
（后继层），则可中止该极小值层中这个MIN节点以下的搜索过程。这个MIN节点最终的倒推值就确定为这个β值。
β剪枝：若任一极大值层节点的α值大于或等于它任一先辈极小值层节点的β值，即α（后继层）≥β（先辈层），则可以中止该极大值层中这个MAX节点以下的搜索过程。这个MAX节点的最终倒推值就确定为这个α值。3、化子句集如下：
4、答：（１）专家系统与一般的软件系统开发无异，其开发过程同样要遵循软件工程的步骤和原则，即也要进行系统分析、系统设计等几个阶段的工作。
（２）但由于它是专家系统，而不是一般的软件系统，所以，又有其独特的地方，主要包括以下几个步骤：
１）系统总体分析与设计；
２）知识获取；
３）知识表示与知识描述语言设计；
４）知识库设计、知识库管理系统设计；
５）推理机与解释模块设计；
６）总控与界面设计
７）编程与调试
８）测试与评价
９）运行与维护
（３）可以看出它有如下特点：
１）知识获取和知识表示设计是一切工作的起点；
知识表示与知识描述语言确定后，其他设计可同时进行；
5、答：所谓“图灵实验”，是为了判断一台机器是否具备智能的实验。实验由三个封闭的房间组成，分别放置主持人、参与人和机器。主持人向参与人和机器提问，通过提问的结果来判断谁是人，谁是机器。如果主持人无法判断谁是人，谁是机器，则这台机器具备智能，即所谓的“智能机器”。
6、解:现定义如下谓词
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表示小李。
先证存在祖孙关系
①～F(x,y)∨～F(y,z)∨G(x,z)．．．从(1)变换
② F(L,D) ．．．从(2)变换
③ F(D,X) ．．．从(3)变换
④～G(u,v) ．．．结论的否定
⑤～F(D,z)∨G(L,z) ．．．①②归结,置换｛L/x,D/y｝
⑥ G(L,X) ．．．③⑤归结,置换｛X/z｝
⑦□．．．④⑥归结,置换｛L/u,X/v｝
得证,说明存在祖孙关系。
为了求解用一个重言式④
④～G(u,v)∨G(u,v) ．．．用重言式代替结论的否定,重言式恒为真
⑤～F(D,z)∨G(L,z) ．．．①②归结,置换｛L/x,D/y｝
⑥ G(L,X) ．．．③⑤归结,置换｛X/z｝
⑦ G(L,X) ．．．④⑥归结,置换｛L/u,X/v｝
得结果:L是X的祖父，即老李是小李的祖父。
7、如下的知识可以帮助求解该问题：
（1）序列中，偶数在偶数位置，奇数在奇数位置；
（2）第五个数为5。
综合数据库：
用一个1到9的序列表示：N = {x}，其中x为1到9的数字之一。
规则集：
r1: IF len(N)=4 THEN {x}∪{5}
r2: IF len(N)为偶数and n=In(1, 3, 7, 9) THEN {x}∪{n}
r3: IF len(N)为奇数and n=In(2, 4, 6, 8) THEN {x}∪{n}
其中len(N)为求序列的长度，In(a, b, c, d)为取a、b、c、d之一。
初始状态：{}
结束条件：得到的序列N前i个数组成的整数能被i整除
人工智能试卷十三
1. 什么是人工智能？人工智能与计算机程序的区别？
答：AI是研究如何制造人造的智能机器或智能系统来模拟人类智能活动的能力以延伸人类智能的科学，它与计算机程序的区别是：
?AI研究的是符号表示的知识而不是数值数据为研究对象
?AI采用启发式搜索方法而不是普通的算法
?控制结构与知识是分离的
?允许出现不正确的答案
2. 化下列逻辑表达式为不含存在量词的前束范式
()()()()()
()
[]
a
f
Y
X
R
Z
X
P
Z
Y
X,
,
,→
?
?
?
答：
()()()()
()
[])
,
,
,
(a
f
Y
X
R
Z
X
P
Z
Y
X→
?
?
?
()()()()
()
[])
,
,
,
(~a
f
Y
X
R
Z
X
P
Z
Y
X∨
?
?
?
()()
()
[]
a
f
Y
X
R
Z
X
P
Z
Y
X,
,
,
~∨
?
?
?
()()
()
[]
a
f
Y
b
R
Z
b
P
Z
Y,
,
,
~∨
?
?
()()()[]a f Y b R Y f b P Y ,,)(,~∨?
3. 求下列谓词公式的子句集
))),(),((),(((y x R y x Q y x P y x →∨??
答：
))),(),((),(((~y x R y x Q y x P y x ∨∨?? ))),()),((~),(((~y x R y x Q y x P y x ∨∧??
))),(),((~)),(),(((~y x R y x Q y x R y x P y x ∨∧∨??
所以子句集为：
{),(),(~),,(),(~y x R y x Q y x R y x P ∨∨}
4. 若有梯形ABCD ，将其中的若干定理形式化即定义一些谓词公式，然后利用归结原理证明内错角
CDB ABD ∠=∠
证明：设梯形顶点依次为a,b,c,d,定义谓词: T(x,y,u,v):表示xy 为上底,uv 为下底的梯形. P(x,y,u,v):表示xy||uv
E(x,y,z,u,v,w)表示∠xyz=∠uvw ，问题的描述和相应的子句集为 xyuv[T(x,y,u,v)→P(x,y,u,v)]...梯形上下底平行 子句：～T(x,y,u,v)∨P(x,y,u,v) xyuv[P(x,y,u,v)→E(x ,y,v,u,v,y)]...平行则内错交相等 子句：
T(a,b,c,d)...已知 子句：T(a,b,c,d) E(a,b,d,c,d,b)...要证明的结论 子句：～E(a,b,d,c,d,b) 子句集S 为
～T(x,y,u,v)∨P(x,y,u,v) ～P(x,y,u,v)∨E(x,y,v,u,v,y) T(a,b,c,d)
～E(a,b,d,c,d,b)
下面利用归结原理证明 P(a,b,c,d) （1）和（3）归结，置换{a/x,b/y,c/u,d/v} E(a,b,d,c,d,b) （2）和（5）归结，置换{a/x,b/y,c/u,d/v} NIL （4）和（6）归结 根据归结原理得证。
5. 求子句集{}f(u))u),h(z,P(z,f(g(y)),a,P(x ,S =的MGU
解：k=0;S0=S;δ0=ε;S0不是单元素集，求得差异集D0=｛a/z ｝,其中z 是变元，a 是项，且z 不在a 中出现。k=k+1=1
有δ1=δ0·｛a/z ｝=ε·｛a/z ｝=｛a/z ｝，
S1=S0·｛a/z ｝=｛P(a,x,f(g(y)),P(a,h(a,u),f(u))),S1不是单元素集，
求得差异集D1=｛x,h(a,u)｝,k=k+1=2;δ2=δ1·｛h(a,u)/x ｝=｛a/z,h(a,u)/x ｝, S2=S1·｛h(a,u)/x ｝=｛P(a,h(a,u),f(g(y)),P(a,h(a,u),f(u)))， S2不是单元素集，求得差异集D2=｛g(y),u ｝,k=k+1=3 δ3=δ2·｛g(y)/u ｝=｛a/z,h(a,u)/x ｝·｛g(y)/u ｝=｛a/z,h(a,g(y))/x,g(y)/u ｝ S3=S2·｛g(y)/u ｝=｛P(a,h(a,g(y)),f(g(y)))｝是单元素集。 根据求MGU 算法，MGU=δ3=｛a/z,h(a,g(y))/x,g(y)/u ｝
6. 用代价优先算法求解下图的旅行推销员问题，请找一条从北京出发能遍历各城市的最佳路径（旅行费最少），每
条弧上的数字表示城市间的旅行费用。并用CLOSED 表记录遍历过的结点，OPEN 表记录待遍历的结点。画出closed 和open 表的变化过程，然后根据closed 表找出最佳路径。
解：
7. 用框架表示下述报导的沙尘暴灾害事件
提示：分析概括用下划线标出的要点，经过概念化形成槽（Slot）并拟出槽的名称，选填侧面（face）值。侧面包含“值（value）”，“默认值（default）”，“如果需要值（if-needed）”，“如果附加值（if-added）”几个方面，用
人工智能试卷十八
一、选择题：（13小题，共13分）
1.人工智能的含义最早由一位科学家于1950年提出，并且同时提出一个机器智能的测试模型，请问这个科学家是（C）。
A. 明斯基
B. 扎德
C. 图灵
D. 冯.诺依曼
2.下列哪个不是人工智能的研究领域（D）
A.机器证明
B.模式识别
C. 人工生命
D. 编译原理
3.神经网络研究属于下列（B）学派
A. 符号主义
B. 连接主义
C. 行为主义
D. 都不是
4.已知初始问题的描述，通过一系列变换把此问题最终变为一个子问题集合；这些子问题的解可以直接得到，从而解决了初始问题。这是知识表示法叫（B）
A. 状态空间法
B. 问题归约法
C. 谓词逻辑法
D. 语义网络法
5.在公式中?y?xp(x,y))，存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义，它把每个y值映射到存在的那个x。这种函数叫做（B）
A. 依赖函数
B. Skolem函数
C. 决定函数
D. 多元函数
6.子句~P∨Q和P经过消解以后，得到（B）
A. P
B. Q
C. ~P
H. P∨Q
7,8.A∧（A∨B）?A 称为（C），~（A∧B）?~A∨~B称为（D）
三、结合律 B.分配律 C.吸收律 D.摩根律
9,10.如果问题存在最优解，则下面几种搜索算法中，（A）必然可以得到该最优解，（D）可以认为在这几种算法中是“智能程度相对比较高”的算法。
K. 广度优先搜索
L. 深度优先搜索
M. 有界深度优先搜索
N. 启发式搜索
11.产生式系统的推理不包括（D）
A. 正向推理
B. 逆向推理
C. 双向推理
D. 简单推理
12.下列哪部分不是专家系统的组成部分（A）
A. 用户
B. 综合数据库
C. 推理机
D. 知识库
13. 要想让机器具有智能，必须让机器具有知识。因此，在人工智能中有一个研究领域，主要研究计算机如何自动获取知识和技能，实现自我完善，这门研究分支学科叫（B）。
A. 专家系统
B. 机器学习
C. 神经网络
D. 模式识别！
二、填空题：（12小题，共30分）
1. 人工智能三大学派是符号主义、联结主义、行为主义。
2. 化成子句形式为：。
3.从已知事实出发，通过规则库求得结论的产生式系统的推理方式是正向推理
4.AI的英文缩写是Artifical Inteligence
5.在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的辖域，而在一个量词的辖域中与该量词的指导变元相同的变元称为约束变元，其他变元称为自由变元
6、假言推理（A→B）∧A? B ，假言三段论（A→B）∧（B→C）?A→C
7、几种常用的归结策略：删除策略、支持集策略、线形归结策略、输入归结策略、单元归结策略
8、在诸如走迷宫、下棋、八数码游戏等游戏中，常用到的一种人工智能的核心技术称为
图搜索技术，解这类问题时，常把在迷宫的位置、棋的布局、八数码所排成的形势用图来表
，这种图称为状态空间图（或状态图）
9.在启发式搜索当中，通常用启发函数来表示启发性信息。
10.在二人博弈问题中，最常用的一种分析技术是极大极小分析法，这种方法的思想是先生成一棵博弈树，然后再计算其倒推值。但它的效率较低，因此人们在此基础上，又提出了α-β剪枝技术
11.某产生式系统中的一条规则：A（x）→B（x），则前件是A（x），后件是B（x）
12.在框架和语义网络两种知识表示方法中，框架适合于表示结构性强的知识，而语义网络则适合表示一些复杂的关系和联系的知识。面向对象不仅仅是一种知识表示方法，也是一种流行的软件设计和开发技术。
三、简答题：（3小题，共27分）
1. 把下列谓词公式分别化成相应的子句集：x( y P(x,y)→～y(Q(x,y)→R(x,y)))（9分）
解：x(yP(x,y)→～y(Q(x,y)→R(x,y)))==>x(yP(x,y )→y～(～Q(x,y)∨R(x,y)))
==>x(yP(x,y)→y(Q(x,y)∧～R(x,y)))
==>x(～yP(x,y)∨y(Q(x,y)∧～R(x,y)))
==>x(y～P(x,y)∨y(Q(x,y)∧～R(x,y)))......改名）
==>x(y～P(x,y)∨z(Q(x,z)∧～R(x,z)))
==>x(y～P(x,y)∨z(Q(x,z)∧～R(x,z)))......y=f(x),z=g(x)消去存在量词y,z
==>x(～P(x,f(x))∨(Q(x,g(x))∧～R(x,g(x))))
==>x((～P(x,f(x))∨(Q(x,g(x))∧(～P(x,f(x))∨～R(x,g(x))))
从而谓词公式的子句集是
｛～P(x,f(x))∨(Q(x,g(x)，～P(x,f(x))∨～R(x,g(x)))
2. 专家系统的一般步骤有哪些？专家系统的开发与一般的软件系统开发相比较，有哪些共同点和特点？（5分）答：（１）专家系统与一般的软件系统开发无异，其开发过程同样要遵循软件工程的步骤和原则，即也要进行系统分析、系统设计等几个阶段的工作。
（２）但由于它是专家系统，而不是一般的软件系统，所以，又有其独特的地方，主要包括以下几个步骤：
１０）系统总体分析与设计；
１１）知识获取；
１２）知识表示与知识描述语言设计；
１３）知识库设计、知识库管理系统设计；
１４）推理机与解释模块设计；
１５）总控与界面设计
１６）编程与调试
１７）测试与评价
１８）运行与维护
（３）可以看出它有如下特点：
２）知识获取和知识表示设计是一切工作的起点；
知识表示与知识描述语言确定后，其他设计可同时进行；
2、八数码游戏，初始棋局和目标棋局如图，定义启发函数h（x）表示某状态下与目标数码不同的位置个数，用全局择优法画出搜索的过程。（8分）
初始状态：，目标状态：
解：
4、试实现一个“大学教师”的框架，大学教师类属于教师，包括以下属性：学历（学士、硕士、博士）、专业（计算机、电子、自动化、……）、职称（助教、讲师、副教授、教授）（5分）
解：
框架名：<大学教师>
类属：<教师>
学历：(学士、硕士、博士)
专业：（计算机、电子、自动化、…..）
职称：（助教、讲师、副教授、教授）
四、应用题：（2小题，共30分）
1. 张某被盗，公安局派了五个侦察员去调查。研究案情时，侦察员Ａ说：“赵与钱中至少有一人作案”；侦察员Ｄ说：“钱与孙至少有一人作案”；侦察员Ｃ说：“孙与李中至少有一个作案”；侦察员Ｄ说“赵与孙至少一个与案无关”；侦察员Ｅ说“钱与李中至少有一人与此案无关”。如果这五个侦察员的话都是可信的，试用消解原理推理求出谁是盗窃犯。（15分）
解：设用T(x)表示x是作案者，则
侦察员A的话可表示：T(赵)T(钱)
侦察员B的话可表示：T(钱)T(孙)
侦察员C的话可表示：T(孙)T(李)
侦察员D的话可表示：T(赵)T(孙)
侦察员E的话可表示：T(钱)T(李)
上面五个组成子句集S，求谁是作案者，把T(x)ANSWER(x)并入S1得到。即比S1多出如下一个子句：T(x) ANSWER(x)
然后利用消解原理对S1进行消解可得答案：钱和孙是作案者。
2. 某企业欲招聘一个JAVA程序员，定义如下产生式规则(要求)：
r1: IF有工作经验or (本科以上学历and 有相关知识背景then 录用（0.9)
r2:IF 工作两年以上and 作过相关工作then 有工作经验（0.8）
r3:IF 学过数据结构and 学过JAVA and 学过数据库and 学过软件工程then 有相关知识背景(0.9)
r4:学过数据结构（相关课程的成绩/100 ）
r5:学过JAVA（相关课程的成绩/100 ）
r6:学过数据库（相关课程的成绩/100 ）
r7:学过软件工程（相关课程的成绩/100 ）
r8:做过相关工作：
JAVA程序员：1，项目经理：1，数据库开发工程师：0.9，数据库管理员：0.7,网络管理员：0.6，客服人员：
0.4
设有一本科毕业生甲，其相关课程的成绩为数据结构=85,JAVA=80,数据库=40,软件工程=90
另有一社会招聘人员乙，参加工作三年，曾做过数据库管理员和数据库开发人员
根据确定性理论，问该公司应该招聘谁？如果你是该本科生，为了能在招聘中胜出，你应该加强哪门课程，并使该门课程的成绩至少达到多少？（15分）
解：（1）对于本科毕业生，由r4，r5，r6，r7：
CF（学过数据结构）=0.6
CF（学过JAVA）=0.8
CF（学过数据库）=0.4
CF（学过软件工程）=0.9
由r3，
CF（有相关知识背景）=0.9*min{0.85,0.8,0.4,0.9}=0.36
CF（本科学历）=1
由r1，
CF（录用）=0.9*min{0.36，1}=0.324
（2）对于社会招聘人员，由r8，
CF（相关工作）=0.9
CF（工作两年以上）=1
由r2，
CF（有工作经验）=0.8*min{1，0.9}=0.72
由r1，
CF（录用）=0.9*0.72=0.648
所以，该公司应录用社会招聘人员乙。
（3）可以看出，应该加强数据库的学习，并使该门课程达到80分以上。
工智能试卷十九
一、选择题(每题1分，共15分)
1、人工智能是一门
A)数学和生理学B)心理学和生理学C)语言学
D)综合性的交叉学科和边缘学科
2、语义网络表达知识时，有向弧AKO 链、ISA 链是用来表达节点知识的（）。
A) 无悖性B) 可扩充性C) 继承性
3、(A->B)∧A => B是
A)附加律B)拒收律C)假言推理D)US
4、命题是可以判断真假的
A)祈使句B)疑问句C)感叹句D)陈述句
5、仅个体变元被量化的谓词称为
A)一阶谓词B)原子公式C)二阶谓词D)全称量词
6、MGU是
A) 最一般合一B)最一般替换C) 最一般谓词D)基替换
最一般合一
7、下列不在人工智能系统的知识包含的4个要素中
A) 事实B) 规则C) 控制D) 关系
8、当前归结式是（）时，则定理得证。
A) 永真式 B 包孕式（subsumed）C) 空子句
9、或图通常称为
A）框架网络B)语义图C)博亦图D)状态图
10、不属于人工智能的学派是
A)符号主义B) 机会主义C)行为主义D)连接主义。
11、所谓不确定性推理就是从( )的初始证据出发，通过运用( )的知识，最终推出具有一定程度的不确定性但却是合理或者近乎合理的结论的思维过程。
A)不确定性, 不确定性B)确定性, 确定性
C)确定性, 不确定性D) 不确定性确定性
12.要想让机器具有智能，必须让机器具有知识。因此，在人工智能中有一个研究领域，主要研究计算机如何自动获取知识和技能，实现自我完善，这门研究分支学科叫（）。
A)专家系统B)机器学习C)神经网络D)模式识别
13、下列哪部分不是专家系统的组成部分（）
A.）用户B）综合数据库C）推理机D）知识库
14、产生式系统的推理不包括（）
A）正向推理B）逆向推理C）双向推理D）简单推理
15、C(B|A) 表示在规则A->B中，证据A为真的作用下结论B为真的
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、人工智能的远期目标是，
近期目标是。
三、简答及计算题
1、将下列自然语言转化为谓词表示形式：
(1) 所有的人都是要呼吸的。
(2) 每个学生都要参加考试。
(3) 任何整数或是正的或是负的。（12分）
2、人工智能主要有哪几种研究途径和技术方法，简单说明之。（8分）
答：（１）符号智能：主要以符号知识为基础，通过符号推理进行问题求解而实现的智能，主要包括知识工程和符号处理技术；
（２）计算智能：是以数据计算为基础，通过数值计算进行问题求解而实现的智能，包括人工神经网络，进化计算，模糊技术等。
3、设已知:
(1)能阅读者是识字的;
(2)海豚不识字;
(3)有些海豚是聪明的;
求证:有些聪明者并不能阅读. (10分)
4、下列谓词公式分别化成相应的子句集。(10分)
x( y P(x,y)→～y(Q(x,y)→R(x,y)))
5、某企业欲招聘一个JAVA程序员，定义如下产生式规则(要求)：
r1: IF有工作经验or (本科以上学历and 有相关知识背景then 录用（0.9)
r2:IF 工作两年以上and 作过相关工作then 有工作经验（0.8）
r3:IF 学过数据结构and 学过JAVA and 学过数据库and 学过软件工程then 有相关知识背景(0.9)
r4:学过数据结构（相关课程的成绩/100 ）
r5:学过JAVA（相关课程的成绩/100 ）
r6:学过数据库（相关课程的成绩/100 ）
r7:学过软件工程（相关课程的成绩/100 ）
r8:做过相关工作：
JAVA程序员：1，项目经理：1，数据库开发工程师：0.9，数据库管理员：0.7,网络管理员：0.6，客服人员：0.4 设有一本科毕业生甲，其相关课程的成绩为数据结构=85,JAVA=80,数据库=40,软件工程=90
另有一社会招聘人员乙，参加工作三年，曾做过数据库管理员和数据库开发人员
根据确定性理论，问该公司应该招聘谁？如果你是该本科生，为了能在招聘中胜出，你应该加强哪门课程，并使该门课程的成绩至少达到多少？（15分）
解：（1）对于本科毕业生，由r4，r5，r6，r7：
CF（学过数据结构）=0.6
CF（学过JAVA）=0.8
CF（学过数据库）=0.4
CF（学过软件工程）=0.9
由r3，
CF（有相关知识背景）=0.9*min{0.85,0.8,0.4,0.9}=0.36
CF（本科学历）=1
由r1，
CF（录用）=0.9*min{0.36，1}=0.324
（2）对于社会招聘人员，由r8，
CF（相关工作）=0.9
CF（工作两年以上）=1
由r2，
CF（有工作经验）=0.8*min{1，0.9}=0.72
由r1，
CF（录用）=0.9*0.72=0.648
所以，该公司应录用社会招聘人员乙。
（3）可以看出，应该加强数据库的学习，并使该门课程达到80分以上。
答案：
一、1、D 2、C 3、C 4、D 5、A
6、A
7、D
8、C
9、D 10、B
11、A 12、B 13、A. 14、D 15、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、将下列自然语言转化为谓词表示形式：
(3) 所有的人都是要呼吸的。
(4) 每个学生都要参加考试。
(3) 任何整数或是正的或是负的。（12分）
解：设M(x)：x是人，H(x)：x要呼吸。
P(x)：x是学生，Q(x)：x要参加考试。
J(x)：x是整数，R(x)：x是正数，N(x)：x是负数。
则上述三题就记为：
(1) V-x(M(x)→H(x))
(2) V-x(P(x)→Q(x))
(3) V-x(I(x)→R(x)∨N(x)))
2、人工智能主要有哪几种研究途径和技术方法，简单说明之。（8分）
答：（１）符号智能：主要以符号知识为基础，通过符号推理进行问题求解而实现的智能，主要包括知识工程和符号处理技术；
（２）计算智能：是以数据计算为基础，通过数值计算进行问题求解而实现的智能，包括人工神经网络，进化计算，模糊技术等。
3、设已知:
(1)能阅读者是识字的;
(2)海豚不识字;
(3)有些海豚是聪明的;
求证:有些聪明者并不能阅读. (10分)
证:定义如下命题:
R(x):x能阅读;
L(x):x识字;
I(x):x是聪明的;
D(x):x是海豚;
把已知条件及求证结论翻译成谓词公式为
x(R(x)→L(x))...已知
x(D(x)→～L(x))...已知
x(D(x)∧I(x))...已知
x(I(x)∧～R(x))...求证结论
将已知条件,求证结论的反化成子句集
①～R(x)∨L(x)
②～D(y)∨～L(y)
③D(a)
④I(a)
⑤～I(z)∨R(z)
⑥～L(a)......2,3归结｛a/y｝
⑦～R(a)......1,6归结｛a/x｝
⑧R(a)......4,5归结｛a/z｝
⑨□......7,8归结
得证.
5、下列谓词公式分别化成相应的子句集。(10分)
（1）x( y P(x,y)→～y(Q(x,y)→R(x,y)))
解：x(yP(x,y)→～y(Q (x,y)→R(x,y)))==>x(yP(x,y)→y～(～Q(x,y)∨R(x,y)))
==>x(yP(
x,y)→y(Q(x,y)∧～R(x,y)))
==>x(～yP(x,y)∨y(Q(x,y)∧～R(x,y)))
==>x(y～P(x,y)∨y(Q(x,y)∧～R(x,y)))......改名）
==>x(y～P(x,y)∨z(Q(x,z)∧～R(x,z)))
==>x(y～P(x,y)∨z(Q(x,z)∧～R(x,z)))......y=f(x),z=g(x)消去存在量词y,z
==>x(～P(x,f(x))∨(Q(x,g(x))∧～R(x,g(x))))
==>x((～P(x,f(x))∨(Q(x,g(x))∧(～P(x,f(x))∨～R(x,g(x))))
从而谓词公式的子句集是
｛～P(x,f(x))∨(Q(x,g(x)，～P(x,f(x))∨～R(x,g(x)))
5、某企业欲招聘一个JAVA程序员，定义如下产生式规则(要求)：
r1: IF有工作经验or (本科以上学历and 有相关知识背景then 录用（0.9)
r2:IF 工作两年以上and 作过相关工作then 有工作经验（0.8）
r3:IF 学过数据结构and 学过JAVA and 学过数据库and 学过软件工程then 有相关知识背景(0.9)
r4:学过数据结构（相关课程的成绩/100 ）
r5:学过JAVA（相关课程的成绩/100 ）
r6:学过数据库（相关课程的成绩/100 ）
r7:学过软件工程（相关课程的成绩/100 ）
r8:做过相关工作：
JAVA程序员：1，项目经理：1，数据库开发工程师：0.9，数据库管理员：0.7,网络管理员：0.6，客服人员：0.4
设有一本科毕业生甲，其相关课程的成绩为数据结构=85,JAVA=80,数据库=40,软件工程=90
另有一社会招聘人员乙，参加工作三年，曾做过数据库管理员和数据库开发人员
根据确定性理论，问该公司应该招聘谁？如果你是该本科生，为了能在招聘中胜出，你应该加强哪门课程，并使该门课程的成绩至少达到多少？（15分）
解：（1）对于本科毕业生，由r4，r5，r6，r7：
CF（学过数据结构）=0.6
CF（学过JAVA）=0.8
CF（学过数据库）=0.4
CF（学过软件工程）=0.9
由r3，
CF（有相关知识背景）=0.9*min{0.85,0.8,0.4,0.9}=0.36
CF（本科学历）=1
由r1，
CF（录用）=0.9*min{0.36，1}=0.324
（2）对于社会招聘人员，由r8，
CF（相关工作）=0.9
CF（工作两年以上）=1
由r2，
CF（有工作经验）=0.8*min{1，0.9}=0.72
由r1，
CF（录用）=0.9*0.72=0.648
所以，该公司应录用社会招聘人员乙。
（3）可以看出，应该加强数据库的学习，并使该门课程达到80分以上。
人工智能试卷二十
一、选择题：（13小题，共13分）
1.人工智能的含义最早由一位科学家于1950年提出，并且同时提出一个机器智能的测试模型，请问这个科学家是（C）。
A. 明斯基
B. 扎德
C. 图灵
D. 冯.诺依曼
2.下列哪个不是人工智能的研究领域（D）
A.机器证明
B.模式识别
C. 人工生命
D. 编译原理
3.神经网络研究属于下列（B）学派
A. 符号主义
B. 连接主义
C. 行为主义
D. 都不是
4.已知初始问题的描述，通过一系列变换把此问题最终变为一个子问题集合；这些子问题的解可以直接得到，从而解决了初始问题。这是知识表示法叫（B）
A. 状态空间法
B. 问题归约法
C. 谓词逻辑法
D. 语义网络法
5.在公式中?y?xp(x,y))，存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义，它把每个y值映射到存在的那个x。这种函数叫做（B）
A. 依赖函数
B. Skolem函数
C. 决定函数
D. 多元函数
6.子句~P∨Q和P经过消解以后，得到（B）
A. P
B. Q
C. ~P
I. P∨Q
7,8.A∧（A∨B）?A 称为（C），~（A∧B）?~A∨~B称为（D）
四、结合律 B.分配律 C.吸收律 D.摩根律
9,10.如果问题存在最优解，则下面几种搜索算法中，（A）必然可以得到该最优解，（D）可以认为在这几种算法中是“智能程度相对比较高”的算法。
O. 广度优先搜索
P. 深度优先搜索
Q. 有界深度优先搜索
R. 启发式搜索
11.产生式系统的推理不包括（D）
A. 正向推理
B. 逆向推理
C. 双向推理
D. 简单推理
12.下列哪部分不是专家系统的组成部分（A）
A. 用户
B. 综合数据库
C. 推理机
D. 知识库
13. 要想让机器具有智能，必须让机器具有知识。因此，在人工智能中有一个研究领域，主要研究计算机如何自动获取知识和技能，实现自我完善，这门研究分支学科叫（B）。
A. 专家系统
B. 机器学习
C. 神经网络
D. 模式识别！
二、填空题：（12小题，共30分）
3. 人工智能三大学派是符号主义、联结主义、行为主义。
4. 化成子句形式为：。
3.从已知事实出发，通过规则库求得结论的产生式系统的推理方式是正向推理
4.AI的英文缩写是Artifical Inteligence
5.在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的辖域，而在一个量词的辖域中与该量词的指导变元相同的变元称为约束变元，其他变元称为自由变元
6、假言推理（A→B）∧A? B ，假言三段论（A→B）∧（B→C）?A→C
7、几种常用的归结策略：删除策略、支持集策略、线形归结策略、输入归结策略、单元归结策略
8、在诸如走迷宫、下棋、八数码游戏等游戏中，常用到的一种人工智能的核心技术称为
图搜索技术，解这类问题时，常把在迷宫的位置、棋的布局、八数码所排成的形势用图来表
，这种图称为状态空间图（或状态图）
9.在启发式搜索当中，通常用启发函数来表示启发性信息。
10.在二人博弈问题中，最常用的一种分析技术是极大极小分析法，这种方法的思想是先生成一棵博弈树，然后再计算其倒推值。但它的效率较低，因此人们在此基础上，又提出了α-β剪枝技术
11.某产生式系统中的一条规则：A（x）→B（x），则前件是A（x），后件是B（x）
12.在框架和语义网络两种知识表示方法中，框架适合于表示结构性强的知识，而语义网络则适合表示一些复杂的关系和联系的知识。面向对象不仅仅是一种知识表示方法，也是一种流行的软件设计和开发技术。
三、简答题：（3小题，共27分）
1.将下列自然语言转化为谓词表示形式：
(5) 所有的人都是要呼吸的。
(6) 每个学生都要参加考试。
(7) 任何整数或是正的或是负的。（9分）
解：
设M(x)：x是人，H(x)：x要呼吸。
P(x)：x是学生，Q(x)：x要参加考试。
J(x)：x是整数，R(x)：x是正数，N(x)：x是负数。
则上述三题就记为：
(1) V-x(M(x)→H(x))
(2) V-x(P(x)→Q(x))
V-x(I(x)→R(x)∨N(x)))
2.何谓“图灵实验”？简单描述之（5分）
答：所谓“图灵实验”，是为了判断一台机器是否具备智能的实验。实验由三个封闭的房间组成，分别放置主持人、参与人和机器。主持人向参与人和机器提问，通过提问的结果来判断谁是人，谁是机器。如果主持人无法判断谁是人，谁是机器，则这台机器具备智能，即所谓的“智能机器”。
3.写出图中树的结点两个访问序列，要求分别满足以下两个搜索策略：(8分)
(3) 深度优先搜索
(4) 广度优先搜索
解：（１）深度优先搜索：
１－２－５－６－１０－１１－３－７－１２－１３－４－８－９
（２）广度优先搜索：
１－２－３－４－５－６－７－８－９－１０－１１－１２－１３－１４
4.试实现一个“大学教师”的框架，大学教师类属于教师，包括以下属性：学历（学士、硕士、博士）、专业（计算机、电子、自动化、……）、职称（助教、讲师、副教授、教授）（5分）解：
框架名：<大学教师>
类属：<教师>
学历：(学士、硕士、博士)
专业：（计算机、电子、自动化、…..）
职称：（助教、讲师、副教授、教授）
四、应用题：（2小题，共30分）
1.设有A，B，C三人中有人从不说真话，也有人从不说假话，某人向这三人分别提出同一个问题：谁是说谎者？A 答：“B和C都是说谎者”；B答：“A和C都是说谎者”；C答：“A和B中至少有一个是说谎者”。求谁是老实人，谁是说谎者？（15分）
解：设用Ｔ(x)表示x说真话。
如果Ａ说的是真话，则有
如果Ａ说的是假话，则有：
对Ｂ和Ｃ说的话作相同的处理，可得：
把上面这些公式化成子句集，得到Ｓ：
下面首先求谁是老实人。把并入Ｓ得到。即比Ｓ多如下一个子句：
应用消解原理对Ｓ１进行消解：
所以，Ｃ是老实人，即Ｃ从不说假话
除此之外，无论如何对进行消解，都推不出ANSWER(B)和ANSWER(A)。
下面来证明Ａ和Ｂ不是老实人。
设Ａ不是老实人，则有把它否定并入Ｓ中，得到子句集，即比Ｓ多如下一个子句：
应用消解原理对Ｓ2进行消解：
所以，Ａ不是老实人。
同理，可以证明Ｂ也不是老实人。
2. 设已知:
(1)能阅读者是识字的;
(2)海豚不识字;
(3)有些海豚是聪明的;
求证:有些聪明者并不能阅读. (15分)
证:定义如下命题:
R(x):x能阅读;
L(x):x识字;
I(x):x是聪明的;
D(x):x是海豚;
把已知条件及求证结论翻译成谓词公式为
x(R(x)→L(x))...已知
x(D(x)→～L(x))...已知
x(D(x)∧I(x))...已知
x(I(x)∧～R(x))...求证结论
将已知条件,求证结论的反化成子句集
①～R(x)∨L(x)
②～D(y)∨～L(y)
③D(a)
④I(a)
⑤～I(z)∨R(z)
⑥～L(a)......2,3归结｛a/y｝
⑦～R(a)......1,6归结｛a/x｝
⑧R(a)......4,5归结｛a/z｝
⑨□......7,8归结
得证.
人工智能试卷二十
安徽理工大学《人工智能》试卷库（二）
一、选择题：（13小题，共13分）
1.人工智能的含义最早由一位科学家于1950年提出，并且同时提出一个机器智能的测试模型，请问这个科学家是（C）。
A. 明斯基
B. 扎德
C. 图灵
D. 冯.诺依曼
2.下列哪个不是人工智能的研究领域（D）
A.机器证明
B.模式识别
C. 人工生命
D. 编译原理
3.神经网络研究属于下列（B）学派
A. 符号主义
B. 连接主义
C. 行为主义
D. 都不是
4.已知初始问题的描述，通过一系列变换把此问题最终变为一个子问题集合；这些子问题的解可以直接得到，从而解决了初始问题。这是知识表示法叫（B）
A. 状态空间法
B. 问题归约法
C. 谓词逻辑法
D. 语义网络法
5.在公式中?y?xp(x,y))，存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义，它把每个y值映射到存在的那个x。这种函数叫做（B）
A. 依赖函数
B. Skolem函数
C. 决定函数
D. 多元函数
6.子句~P∨Q和P经过消解以后，得到（B）
A. P
B. Q
C. ~P
J. P∨Q
7,8.A∧（A∨B）?A 称为（C），~（A∧B）?~A∨~B称为（D）
五、结合律 B.分配律 C.吸收律 D.摩根律
9,10.如果问题存在最优解，则下面几种搜索算法中，（A）必然可以得到该最优解，（D）可以认为在这几种算法中是“智能程度相对比较高”的算法。
S. 广度优先搜索
T. 深度优先搜索
U. 有界深度优先搜索
V. 启发式搜索
11.产生式系统的推理不包括（D）
A. 正向推理
B. 逆向推理
C. 双向推理
D. 简单推理
12.下列哪部分不是专家系统的组成部分（A）
A. 用户
B. 综合数据库
C. 推理机
D. 知识库
13. 要想让机器具有智能，必须让机器具有知识。因此，在人工智能中有一个研究领域，主要研究计算机如何自动获取知识和技能，实现自我完善，这门研究分支学科叫（B）。
A. 专家系统
B. 机器学习
C. 神经网络
D. 模式识别！
二、填空题：（12小题，共30分）
5. 人工智能三大学派是符号主义、联结主义、行为主义。
6. 化成子句形式为：。
3.从已知事实出发，通过规则库求得结论的产生式系统的推理方式是正向推理
4.AI的英文缩写是Artifical Inteligence
5.在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的辖域，而在一个量词的辖域中与该量词的
指导变元相同的变元称为约束变元，其他变元称为自由变元
6、假言推理（A→B）∧A? B ，假言三段论（A→B）∧（B→C）?A→C
7、几种常用的归结策略：删除策略、支持集策略、线形归结策略、输入归结策略、单元归结策略
8、在诸如走迷宫、下棋、八数码游戏等游戏中，常用到的一种人工智能的核心技术称为
图搜索技术，解这类问题时，常把在迷宫的位置、棋的布局、八数码所排成的形势用图来表
，这种图称为状态空间图（或状态图）
9.在启发式搜索当中，通常用启发函数来表示启发性信息。
10.在二人博弈问题中，最常用的一种分析技术是极大极小分析法，这种方法的思想是先生成一棵博弈树，然后再计算其倒推值。但它的效率较低，因此人们在此基础上，又提出了α-β剪枝技术
11.某产生式系统中的一条规则：A（x）→B（x），则前件是A（x），后件是B（x）
12.在框架和语义网络两种知识表示方法中，框架适合于表示结构性强的知识，而语义网络则适合表示一些复杂的关系和联系的知识。面向对象不仅仅是一种知识表示方法，也是一种流行的软件设计和开发技术。
三、简答题：（3小题，共27分）
1.将下列自然语言转化为谓词表示形式：
(8) 所有的人都是要呼吸的。
(9) 每个学生都要参加考试。
(10) 任何整数或是正的或是负的。（9分）
解：
设M(x)：x是人，H(x)：x要呼吸。
P(x)：x是学生，Q(x)：x要参加考试。
J(x)：x是整数，R(x)：x是正数，N(x)：x是负数。
则上述三题就记为：
(1) V-x(M(x)→H(x))
(2) V-x(P(x)→Q(x))
V-x(I(x)→R(x)∨N(x)))
2.何谓“图灵实验”？简单描述之（5分）
答：所谓“图灵实验”，是为了判断一台机器是否具备智能的实验。实验由三个封闭的房间组成，分别放置主持人、参
谁是机器，则这台机器具备智能，即所谓的“智能机器”。
3.写出图中树的结点两个访问序列，要求分别满足以下两个搜索策略：(8分)
(5) 深度优先搜索
(6) 广度优先搜索
解：（１）深度优先搜索：
１－２－５－６－１０－１１－３－７－１２－１３－４－８－９
（２）广度优先搜索：
１－２－３－４－５－６－７－８－９－１０－１１－１２－１３－１４
4.试实现一个“大学教师”的框架，大学教师类属于教师，包括以下属性：学历（学士、硕士、博士）、专业（计算机、电子、自动化、……）、职称（助教、讲师、副教授、教授）（5分）
解：
框架名：<大学教师>
类属：<教师>
学历：(学士、硕士、博士)
专业：（计算机、电子、自动化、…..）
职称：（助教、讲师、副教授、教授）
四、应用题：（2小题，共30分）
1.设有A，B，C三人中有人从不说真话，也有人从不说假话，某人向这三人分别提出同一个问题：谁是说谎者？A 答：“B和C都是说谎者”；B答：“A和C都是说谎者”；C答：“A和B中至少有一个是说谎者”。求谁是老实人，谁是说谎者？（15分）
解：设用Ｔ(x)表示x说真话。
如果Ａ说的是真话，则有
如果Ａ说的是假话，则有：
对Ｂ和Ｃ说的话作相同的处理，可得：
把上面这些公式化成子句集，得到Ｓ：
下面首先求谁是老实人。把并入Ｓ得到。即比Ｓ多如下一个子句：应用消解原理对Ｓ１进行消解：
所以，Ｃ是老实人，即Ｃ从不说假话
除此之外，无论如何对进行消解，都推不出ANSWER(B)和ANSWER(A)。
下面来证明Ａ和Ｂ不是老实人。
设Ａ不是老实人，则有把它否定并入Ｓ中，得到子句集，即比Ｓ多如下一个子句：应用消解原理对Ｓ2进行消解：
所以，Ａ不是老实人。
同理，可以证明Ｂ也不是老实人。
2. 设已知:
(1)能阅读者是识字的;
(2)海豚不识字;
(3)有些海豚是聪明的;
求证:有些聪明者并不能阅读. (15分) 证:定义如下命题:
R(x):x能阅读;
L(x):x识字;
I(x):x是聪明的;
D(x):x是海豚;
把已知条件及求证结论翻译成谓词公式为x(R(x)→L(x))...已知
x(D(x)→～L(x))...已知
x(D(x)∧I(x))...已知
x(I(x)∧～R(x))...求证结论
将已知条件,求证结论的反化成子句集
①～R(x)∨L(x)
②～D(y)∨～L(y)
③D(a)
④I(a)
⑤～I(z)∨R(z)
⑥～L(a)......2,3归结｛a/y｝
⑦～R(a)......1,6归结｛a/x｝
⑧R(a)......4,5归结｛a/z｝
⑨□......7,8归结
得证.
安徽理工大学毕业设计(论文)工作管理规定 教务〔2004〕5号 毕业设计（论文）是各专业培养计划的重要组成部分，是对学生知识、能力和素质的综合考核，具有不可替代的作用。为适应社会经济与科学技术发展对高素质创新人才培养的需求，必然需要相应地提高本科生毕业设计（论文）的质量和要求。因此，为加强毕业设计（论文）教学工作的管理，提高毕业设计（论文）的质量，特制定本规定。 一、毕业设计（论文）的目的和要求 （一）毕业设计（论文）的主要目的 毕业设计（论文）是学生在校期间最后一个重要的综合性实践教学环节，是学生全面运用所学基础理论、基本知识和基本技能，对实际问题进行设计（或研究）的综合性训练，旨在培养学生独立工作、分析问题和解决问题的能力。通过初步进行科学研究，使学生在以下几方面得到提高： 1、调查研究、方案制定、分析比较、检索中外文献资料的能力； 2、设计、计算、绘图与标准化正确选择的能力； 3、语言表达、逻辑思维、实验研究、数据处理等方面的能力； 4、创新意识、创新能力和获取新知识的能力。 （二）毕业设计（论文）基本要求 为确保毕业设计（论文）的质量，各院系及专业教研室要在毕业设计（论文）前做好毕业实习、专业课程设计等实践教学环节的安排。具体要求如下： 1、毕业设计（论文）按照各专业《毕业设计（论文）教学大纲》的要求进行； 2、毕业设计（论文）要具有学术性，要对自然科学或社会科学领域内某一问题进行专门、系统的研究，并表述其研究成果； 3、毕业设计（论文）要具有创见性，要对学术或工程的某一个问题有新的发现、新的构想或新的发展与完善； 4、毕业设计（论文）要具有科学性，要求论述系统而完整，首尾一贯而不前后矛盾，实事求是而不主观臆造； 5、毕业设计（论文）应做到观点正确、论据充分、推理严密、计算准确，层次分明、条理清楚、语言简练，有必要的相关资料和图表等； 6、毕业设计（论文）必须参阅一定量的外文资料，并要求在毕业设计（论文）中反映出来。 二、毕业设计（论文）的组织领导
人工智能试卷（B） 试题部分： 一、选择题（15小题，共15分） 1、97年５月，著名的“人机大战”，最终计算机以3.5比2.5的总比分将世界国际象棋棋王卡斯帕罗夫击败，这台计算机被称为（A） A）深蓝B）IBM C）深思D）蓝天 2、下列不在人工智能系统的知识包含的4个要素中D A)事实B)规则C)控制和元知识D)关系 3、谓词逻辑下，子句, C1=L∨C1‘, C2= ? L∨C2‘, 若σ是互补文字的（最一般）合一置换，则其归结式C=（A ） A) C1’σ∨C2’σB)C1’∨C2’C)C1’σ∧C2’σD)C1’∧C2’ 4、或图通常称为D A）框架网络B)语义图C)博亦图D)状态图 5、不属于人工智能的学派是B A)符号主义B)机会主义C)行为主义D)连接主义。 6、人工智能的含义最早由一位科学家于1950年提出，并且同时提出一个机器智能的测试模型，请问这个科学家是C A)明斯基B).扎德C)图林D)冯.诺依曼 7、要想让机器具有智能，必须让机器具有知识。因此，在人工智能中有一个研究领域，主要研究计算机如何自动获取知识和技能，实现自我完善，这门研究分支学科叫（B ）。 A)专家系统B)机器学习C)神经网络D)模式识别 8、下列哪部分不是专家系统的组成部分（A） A.）用户B）综合数据库C）推理机D）知识库 9、产生式系统的推理不包括（D ） A）正向推理B）逆向推理C）双向推理D）简单推理 10、C(B|A) 表示在规则A->B中，证据A为真的作用下结论B为真的B A)可信度B)信度C)信任增长度D)概率 11、AI的英文缩写是B A)Automatic Intelligence B)Artifical Intelligence C)Automatice Information D)Artifical Information 12、反演归结（消解）证明定理时，若当前归结式是（C）时，则定理得证。 A)永真式B)包孕式（subsumed）C)空子句 13、在公式中?y?xp(x,y))，存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义，它把每个y值映射到存在的那个x。这种函数叫做（B ） A. 依赖函数 B. Skolem函数 C. 决定函数 D. 多元函数 14、子句~P∨Q和P经过消解以后，得到（B ） A. P B. Q C. ~P D.P∨Q
一、填空： 1.人工智能的研究途径有（1）、（2）和行为模拟。 2.任意列举人工智能的四个应用性领域（3）、（4）、（5）、（6）。 3.人工智能的基本技术包括（7）、（8）、（9）归纳技术、联想技术。 4.谓词逻辑是一种表达能力很强的形式语言，其真值的特点和命题逻辑的区别是 （10）。 5.谓词逻辑中，重言式（tautlogy）的值是（11）。 6.设P是谓词公式，对于P的任何论域，存在P为真的情况，则称P为（12）。 7.在著名的医疗专家系统MYCIN中规定，若证据A的可信度CF（A）=0，则意味 着13 ，CF（A）=-1，则意味着（14），CF（A）=1，则意味着（15）。 8.谓词公式G是不可满足的，当且仅当对所有的解释（16）。 9.谓词公式与其子句集的关系是（17）。 10.利用归结原理证明定理时，若得到的归结式为（18），则结论成立。 11.若C1=┐P∨Q，C2=P∨┐Q，则C1和C2的归结式R（C1，C2）= （19）。 12.若C1=P(x) ∨Q(x)，C2=┐P(a) ∨R(y)，则C1和C2的归结式R（C1，C2）= （20）。 13.有谓词公式G，置换δ，则G·ε= （21），δ·ε= （22）。 14.有子句集S=｛P(x),P(y)｝，其MGU= （23）。 15.在归结原理中，几种常见的归结策略并且具有完备性的是（24），（25），（26）。 16.状态图启发式搜索算法的特点是（27）。 17.广度优先搜索算法中，OPEN表的数据结构实际是一个（28），深度优先搜索算 法中，OPEN表的数据结构实际是一个（29）。 18.产生式系统有三部分组成（30），（31）和推理机。其中推理可分为（32）和 （33）。 19.专家系统的结构包含人机界面、（34），（35），（36），（37）和解 释模块。
一、选择题答案1、b 2、A 3、A 二、填空题答案 1、在修正的A算法中，fm的含义是到当前为止，扩展的节点中，f的最大值 2、对任意节点n，设m是n的子节点，当h满足条件h(n)-h(m) ≤ C(n, m), h(t) = 0时，称h是单调的。 三、问答题答案 第1题 答：当问题有解时，A*算法总是找到问题的最优解结束。如果h函数定义的不合理，则当扩展一个节点时，不一定就找到了从初始节点到该节点的最优路径，对于这样的节点，就有可能被多次扩展。特别是如果这样的节点处于问题的最优解路径上时，则一定会被多次扩展。解决的方法一是对h函数的定义给出限制，使得h满足单调性。对于满足单调性条件的h，则一定不会出现重复扩展节点问题。二是对A*算法加以改进，使用修正的A*算法进行搜索，则可以减少重复扩展节点问题。 第2题 答：回溯搜索策略与深度有限搜索策略最大的不同是深度有限搜索策略属于图搜索，而回溯搜索则不是图搜索。在回溯搜索中，只保留了从初始节点到当前节点的搜索路径。而深度优先搜索，则保留了所有的已经搜索过的路径。 第3题 答：化子句集如下：
归结树如下： 修改证明树：
得到问题的解答：R(h(f(g(c, a)))) 第4题 第5题 答：搜索图如图所示，其中括号内标出的是节点的f值，圆圈内的数字是扩展的次序。F(16) 得到的解路径为：S-B-F-J-T 第6题 答：如下的知识可以帮助求解该问题： （1）序列中，偶数在偶数位置，奇数在奇数位置； （2）第五个数为5。 综合数据库：
用一个1到9的序列表示：N = {x}，其中x为1到9的数字之一。规则集： r1: IF len(N)=4 THEN {x}∪{5} r2: IF len(N)为偶数and n=In(1, 3, 7, 9) THEN {x}∪{n} r3: IF len(N)为奇数and n=In(2, 4, 6, 8) THEN {x}∪{n} 其中len(N)为求序列的长度，In(a, b, c, d)为取a、b、c、d之一。初始状态：{} 结束条件：得到的序列N前i个数组成的整数能被i整除。
（人工智能）人工智能导论 试卷库
人工智能试卷（B） 试题部分： 壹、选择题（15小题，共15分） 1、97年５月，著名的“人机大战”，最终计算机以3.5比2.5的总比分将世界国际象棋棋王卡斯帕罗夫击败，这台计算机被称为（） A）深蓝B）IBMC）深思D）蓝天 2、下列不于人工智能系统的知识包含的4个要素中 A)事实B)规则C)控制和元知识D)关系 3、谓词逻辑下，子句,C1=L∨C1‘,C2=?L∨C2‘,若σ是互补文字的（最壹般）合壹置换，则其归结式C=（） A)C1’σ∨C2’σB)C1’∨C2’C)C1’σ∧C2’σD)C1’∧C2’ 4、或图通常称为 A）框架网络B)语义图C)博亦图D)状态图 5、不属于人工智能的学派是 A)符号主义B)机会主义C)行为主义D)连接主义。 6、人工智能的含义最早由壹位科学家于1950年提出，且且同时提出壹个机器智能的测试模型，请问这个科学家是 A)明斯基B).扎德C)图林D)冯.诺依曼 7、要想让机器具有智能，必须让机器具有知识。因此，于人工智能中有壹个研究领域，主要研究计算机如何自动获取知识和技能，实现自我完善，这门研究分支学科叫（）。 A)专家系统B)机器学习C)神经网络D)模式识别 8、下列哪部分不是专家系统的组成部分（） A.）用户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、于公式中?y?xp(x,y))，存于量词是于全称量词的辖域内，我们允许所存于的x可能依赖于y值。令这种依赖关系明显地由函数所定义，它把每个y值映射到存于的那个x。这种函数叫做（） A.依赖函数 B.Skolem函数 C.决定函数 D.多元函数 14、子句~P∨Q和P经过消解以后，得到（） A.P B.Q C.~P D.P∨Q 15、如果问题存于最优解，则下面几种搜索算法中，（）必然能够得到该最优解。
人工智能期末试题及答案 完整版 Prepared on 21 November 2021
xx学校 2012—2013学年度第二学期期末试卷考试课程：《人工智能》考核类型：考试A卷 考试形式：开卷出卷教师： 考试专业：考试班级： 一单项选择题（每小题2分，共10分） 1.首次提出“人工智能”是在（D ）年 2. 人工智能应用研究的两个最重要最广泛领域为：B A.专家系统、自动规划 B. 专家系统、机器学习 C. 机器学习、智能控制 D. 机器学习、自然语言理解 3. 下列不是知识表示法的是 A 。 A：计算机表示法B：“与/或”图表示法 C：状态空间表示法D：产生式规则表示法 4. 下列关于不确定性知识描述错误的是 C 。 A：不确定性知识是不可以精确表示的 B：专家知识通常属于不确定性知识 C：不确定性知识是经过处理过的知识 D：不确定性知识的事实与结论的关系不是简单的“是”或“不是”。 5. 下图是一个迷宫，S0是入口，S g是出口，把入口作为初始节点，出口作为目标节点，通道作为分支，画出从入口S0出发，寻找出口Sg的状态树。根据深度优先搜索方法搜索的路径是 C 。 A：s0-s4-s5-s6-s9-sg B：s0-s4-s1-s2-s3-s6-s9-sg C：s0-s4-s1-s2-s3-s5-s6-s8-s9-sg D：s0-s4-s7-s5-s6-s9-sg 二填空题（每空2分，共20分） 1.目前人工智能的主要学派有三家：符号主义、进化主义和连接主义。 2. 问题的状态空间包含三种说明的集合，初始状态集合S、操作符集合F以及目标状态集合G 。 3、启发式搜索中，利用一些线索来帮助足迹选择搜索方向，这些线索称为启发式(Heuristic)信息。
人工智能导论在线作业集团标准化办公室：[VV986T-J682P28-JP266L8-68PNN]
答：决策树是一种数据挖掘分类算法、是直观运用概率分析的一种图解法、是一个预测模型。 基本方法： 决策树一般由方块结点、圆形结点、方案枝、概率枝等组成，方块结点称为决策结点，由结点引出若干条细支，每条细支代表一个方案，称为方案枝；圆形结点称为状态结点，由状态结点引出若干条细支，表示不同的自然状态，称为概率枝。每条概率枝代表一种自然状态。在每条细枝上标明客观状态的内容和其出现概率。在概率枝的最末稍标明该方案在该自然状态下所达到的结果(收益值或损失值)。这样树形图由左向右，由简到繁展开，组成一个树状网络图。 步骤： a.绘制决策树图。从左到右的顺序画决策树，此过程本身就是对决策问题的再分析过程。 b.按从右到左的顺序计算各方案的期望值，并将结果写在相应方案节点上方。期望值的计算是从右到左沿着决策树的反方向进行计算的。 c.对比各方案的期望值的大小，进行剪枝优选。在舍去备选方案枝上，用“=”记号隔断。 2、什么是知识它有哪些特性列举至少六种知识表示方法 答：经过国内外学者的共同努力，目前已经有许多知识表示方法得到了深入的研究，目前使用较多的知识表示方法主要有：谓词逻辑表示法，产生式表示法、框架表示法、语义网络表示法、表示法、基于本体的知识表示法等。本文将介绍这些知识表示方法的特征和优缺点，进行一些分析和比较。 （1）词逻辑表示法。谓词逻辑表示法是指各种基于（ormalogic）知识表示方式，用逻辑公式描述对象、性质、状况和关系，例如“在轨道上”可以描述成：（npaceshiporbit）它是领域中使用最早和最广泛的知识表示方法之一。其根本目的在于把数学中的逻辑论证符号化，能够采用数学演绎的方式，证明一个新语句是从哪些已知正确的语句推导出来的，那么也就能够断定这个新语句也是正确的。 在这种方法中，识库可以看成一组逻辑公式的集合，识库的修改是增加或删除逻辑公式。使用逻辑法表示知识，将以描述的知识通过引入谓词、函数来加以形式描述，得有关的逻辑公式，而以机器内部代码表示。在逻辑法表示下可采用归结法或其它方法进行准确的推理。
课程名称人工智能导论考试日期2007-6-14 考生姓名学号专业或类别 题号一二三四总分累分人 签名题分100 得分 考生注意事项：1、本试卷共8 页，请查看试卷中是否有缺页。 2、考试结束后，考生不得将试卷、答题纸和草稿纸带出考场。 一、填空题(每空1分，共20分) 得分评卷人 1. 人工智能三大学派是符号主义，连接主义，行为主义、和。 2. 在知识表示方法中，与谓词逻辑表示为ISA（LIMING ，MAN）等效的语义网络形式 为。 3.状态空间表示法的两个基本概念是和。状态，操作符 4. 产生式系统由3个部分组成：一个总数据库、一套规则，一个控制策略 、。 5. ANN中文意义是人工神经元网络 。 6. 反向传播（back-propagation,BP）算法过程是从输出节点开始， 将误差信号沿原来的连接通路返回，通过修改各层神经元的连接权值，使误差信号减至最小 ，所以称为“反向传播”。 7. 消解反演证明定理时，若当前归结式是空子句 ，则定理得证。 8. 子句和P经过消解以后，得到 Q 。 9．基于规则的正向演绎系统，其规则形式为，其中前项要满足的条件是。→W或L1∨L2→W，L为单文字
2006～2007学年第2学期考试A卷
13. 设E 1=P(a,v,f(g(y))),E 2 =P(z,f(a),f(u)),则E 1 和E 2 的mgu（最一般合一）为 。 14. 进化策略是在父矢量x i ，i=1,2,……p中，通过加入一个零均方差的高斯随机变量以及预先选择x的标准偏差来产生子代矢量x。 二、选择题(每小题2分，共20分) 得分评卷人 1. 在图搜索中，选择最有希望的节点作为下一个要扩展的节点，这种搜索方法叫做( ) A. 宽度搜索 B. 深度搜索 C. 有序搜索 D. 广义搜索 2. 下列人工神经网络属于反馈网络的是（） A. Hopfield网 B. BP网络 C. 多层感知器 D. LVQ网络 3. 使用一组槽来描述事件的发生序列，这种知识表示法叫做( ) A. 语义网络法 B. 过程表示法 C. 剧本表示法 D. 框架表示法 4. 产生式系统的推理不包括( ) A. 正向推理 B. 逆向推理 C. 双向推理 D. 简单推理 5. 启发式搜索是寻求问题（）解的一种方法 A. 最优 B. 一般 C. 满意 D. 最坏 6. 语义网络表达知识时，有向弧AKO链、ISA链表达节点知识的（） A. 无悖性 B. 可扩充性 C. 继承性 D. 完整性 7. 下面表达式对中（）是能够合一的。 A. P（q（f（v）），g（u））和P（x，x） B. P（x，f（x））和P（y，y） C. P（y，y，B）和P（z，x，z） D. P（f（A），x），P（x，A）
本科毕业设计开题报告 院系：计算机科学与技术 专业班级：2000级2班 学号：384001236 学生姓名：石琪 指导教师：胡胜利 2005年 3 月 14 日
一、课题的名称、来源 1、课题名称 数据结构多媒体教学系统 2、课题来源 数据结构多媒体教学系统，是为了配合数据结构课程的教学而设计的，可作为教学资源库的一部分。 二、课题的研究现状 多媒体计算机辅助教学，是20世纪90年代多媒体技术发展起来后与CAI技术相结合的产物。多媒体技术是当代计算机技术关注的热点之一，是指把文字、音频、视频、图形、图像、动画等多媒体信息通过计算机进行数字化采集、获取、压缩/解压缩、编辑、存储等加工处理，再以单独或合成形式表现出来的一体化技术。因为多媒体的数据类型不仅包括数字和文本，还包括仿真图形、立体声音响、运动视频图像等人类最习惯的视听媒体信息，所以多媒体技术为教育的发展开辟了新天地。多媒体使学生的感观和想象力相互配合，产生前所未有的思想空间和创造资源。教育软件的多媒体化更进一步满足学生心理上的不同要求。 随着计算机辅助教学在国外的兴起，我国也很快跟上了国际步伐。我国从80年代起步进行CAI的实验，北京师范大学、华东师范大学成立了教育技术研究所，专门从事计算机辅助教育方面的研究，在全国成立了计算机辅助教育学会。华东师范大学于1980年研制出“计算机辅助BASIC语言教学系统”取得良好效果。清华大学研制的通用型CAI写作系统，达到了90年代国际先进水平。但是，与发达国家相比，在CAI领域我国无论是在研究方面还是在应用方面，都存在较大差距。 在高等院校，近几年来开展计算机辅助教学得到了广大师生的积极响应，学校也投入了大量资金，新建了许多多媒体教室和网络教室。但光有硬件是远远不够的，还必须由适合于各专业教学的多媒体CAI软件。大众化的软件可以购买，但各专业的专业课程软件必须由专业老师和学生自己编写，这样才能真正将多媒体教学深入专业、深入课堂。 三、课题的研究意义 自进入九十年代以来，多媒体技术迅速兴起、蓬勃发展，其应用已遍及国民经济与社会生活的各个角落，正在对人类的生产方式、工作方式乃至生活方式带来巨大的变革。特别是由于多媒体具有图、文、声并茂甚至有活动影像这样的特点，所以能提供最理想的教学环境，它必然会对教育、教学过程产生深刻的影响。这种深刻影响可以用一句话来概括：多媒体技术将会改变教学模式、教学内容、教学手段、教学方法，最终导致整个教育思想、教学理论甚至教育体制的根本变革。多媒体技术之所以对教育领域有如此重大的意义，是由于多媒体技术本身具有许多对于教育、教学过程来说是特别宝贵的特性与功能，这些特性与功能是其他媒体(例如幻灯、投影、电影、录音、录像、电视等)所不具备或是不完全具备的。 实践已证明多媒体教学系统有如下效果： 1)学习效果好； 2)说服力强； 3)教学信息的集成使教学内容丰富，信息量大； 4)感官整体交互，学习效率高； 5)各种媒体与计算机结合可以使人类的感官与想象力相互配合，产生前所未有的
福州大学2014～2015学年第2学期考试A卷 课程名称人工智能导论考试日期2015-6-14 考生姓名学号专业或类别 题号一二三四总分累分人 签名题分100 得分 考生注意事项：1、本试卷共8 页，请查看试卷中是否有缺页。 2、考试结束后，考生不得将试卷、答题纸和草稿纸带出考场。 一、填空题(每空1分，共20分) 得分评卷人 1. 人工智能三大学派是、和。 2. 在知识表示方法中，与谓词逻辑表示为ISA（LIMING ，MAN）等效的语义网络形式 为。 3.状态空间表示法的两个基本概念是和。 4. 产生式系统由3个部分组成：一个总数据库、、。 5. ANN中文意义是。 6. 反向传播（back-propagation,BP）算法过程是从输出节点开始， ，所以称为“反向传播”。 7. 消解反演证明定理时，若当前归结式是，则定理得证。 8. 子句和P经过消解以后，得到。 9．基于规则的正向演绎系统，其规则形式为，其中前项要满足的条件是。 10. 语义网络下的推理是通过和实现的。 11. 被成为人工智能之父，曾提出一个机器智能的测试模型。 12. 谓词公式(?x)(?y)(?z)(P(x,y)∨Q(y,z)W(z))消去存在量词后，可以化为 。
13. 设E 1=P(a,v,f(g(y))),E 2 =P(z,f(a),f(u)),则E 1 和E 2 的mgu（最一般合一）为 。 14. 进化策略是在父矢量x i ，i=1,2,……p中，通过加入一个 变量以及预先选择x的标准偏差来产生子代矢量x。 二、选择题(每小题2分，共20分) 得分评卷人 1. 在图搜索中，选择最有希望的节点作为下一个要扩展的节点，这种搜索方法叫做( ) A. 宽度搜索 B. 深度搜索 C. 有序搜索 D. 广义搜索 2. 下列人工神经网络属于反馈网络的是（） A. Hopfield网 B. BP网络 C. 多层感知器 D. LVQ网络 3. 使用一组槽来描述事件的发生序列，这种知识表示法叫做( ) A. 语义网络法 B. 过程表示法 C. 剧本表示法 D. 框架表示法 4. 产生式系统的推理不包括( ) A. 正向推理 B. 逆向推理 C. 双向推理 D. 简单推理 5. 启发式搜索是寻求问题（）解的一种方法 A. 最优 B. 一般 C. 满意 D. 最坏 6. 语义网络表达知识时，有向弧AKO链、ISA链表达节点知识的（） A. 无悖性 B. 可扩充性 C. 继承性 D. 完整性 7. 下面表达式对中（）是能够合一的。 A. P（q（f（v）），g（u））和P（x，x） B. P（x，f（x））和P（y，y） C. P（y，y，B）和P（z，x，z） D. P（f（A），x），P（x，A） 8. 在遗传算法中，变量x的定义域为 [-2，5]，要求其精度为10-6，现用二进制进行编码，
2006～2007学年第2学期考试A 卷 参考答案 一、1. 符号主义，连接主义，行为主义 3.状态，操作符 4.一套规则，一个控制策略 5.人工神经元网络 6.将误差信号沿原来的连接通路返回，通过修改各层神经元的连接权值，使误差信号减至最小 7.空子句 8.Q 9. L→W 或L1∨L2→W，L 为单文字 10.继承，匹配 11.图灵 12. 13. 14. 零均方差的高斯随机 二、CBCDCCADAB 三、1. （1）自然语言理解 （2）人工神经元网络 数据库智能检索 智能控制 专家咨询系统 智能调度和指挥 定理机器证明 智能决策支持系统 博弈 知识发现和数据发掘 机器人学 分布式人工智能 自动程序设计 组合调度问题 感知问题 2.
3.构成：略 特征：（1）能较好的模拟人的形象思维。 （2）具有大规模并行协同处理能力。 （3）具有较强的学习能力。 （4）具有较强的容错能力和联想能力。 （5）是一个大规模自组织、自适应的非线性动力系统。 4.遗传算法是一种随机搜索算法。该算法将优化问题看作是自然界生物的进化过程。模拟大自然生物进化的遗传规律来达到寻优的目的。 5.设A(x):想出国留学 P(x):欲穷千里目 Q(x):更上一层楼 （1）?x（~A（x）） （2）（?x）（Q（x） P（x）） 四、1. 得到的解路径为：S-B-F-J-T 2.启发式搜索图：
状态空间图：
3.
4.证明： R1：所有不贫穷且聪明的人都快乐：?x（~Poor（x）∧Smart（x）→Happy （x）） R2：那些读书的人是聪明的：?x（read（x）→Smart（x）） R3：约翰能读书且不贫穷：read（John）∧ ~Poor（John） R4：快乐的人过着幸福的生活：?x（Happy（x）→Blest（x）） 结论：约翰过着幸福的生活的否定：~ Blest（John） 将上述谓词公式转化为子句集并进行归结如下： 由R1可得子句： Poor（x）∨~Smart（x）∨Happy（x） 由R2可得子句： ~read（y）∨Smart（y） 由R3可得子句： read（John） ~Poor（John） 由R4可得子句： ~ Happy（z）∨Blest（z） 由结论的否定可得子句： ~ Blest（John） 根据以上6条子句，归结如下： ~ Happy（John）⑤⑥ John/z Poor（John）∨~Smart（John）⑦① John/x ~Smart（John）⑧④ ~ read（John）⑨② John/y □⑩③ 由上可得原命题成立。
安徽理工大学本科毕业生毕业设计撰写规范（修订） 校教务〔2004〕37号 毕业设计是学生毕业前最后一个重要学习环节，是学习深化与升华的重要过程。它既是学生学习、研究与实践成果的全面总结，又是对学生素质与能力的一次全面检验。为了进一步提高我校本科生毕业设计质量，特修订本规范。 一、毕业设计的内容 一份完整的毕业设计应包括以下几个方面： 1、标题 标题应简短、明确，具有概括性。标题字数要适当，不宜超过20字。如确因表达需要而字数过多又无法删减的，可以分成主标题和副标题。 2、目录 目录按三级标题编写（即：1、1.1、1.1.1），要求标题层次清晰。目录中的标题应与正文中的标题一致。 3、摘要 摘要应以浓缩的形式概括研究课题的内容，中文摘要应在300字左右，外文摘要为中文摘要翻译件。 4、设计总说明 设计总说明主要介绍设计任务来源、设计标准、设计原则及主要技术资料，中文字数应控制在1500－2000字。 5、引言（绪论） 绪论应说明本课题的意义、目的、研究范围及需达到的技术要求；简述本课题在国内外的发展概况及存在的问题；说明本课题的指导思想；简述本课题应解决的主要问题。 6、正文 毕业设计正文包括正文主体与结论，其内容分别如下： 正文主体是对研究工作的详细表述，其内容包括：问题的提出，研究工作的基本前提、假设和条件；模型的建立，实验方案的拟定；设计的主要方法和内容；实验方法、内容及其分析；理论论证，理论在课题中的应用，课题得出的结果，以及对结果的讨论等。 结论是对整个研究工作进行归纳和综合而得出的总结，对所得结果与已有结果的比较和课题尚存在的问题，以及下一步开展研究的见解与建议。结论应简短。 7、参考文献与附录
人工智能试卷四 一、选择题(每题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)陈述句 7、仅个体变元被量化的谓词称为 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、人工智能的远期目标是，近期目标是。 三、简答及计算题(每题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、C 15、B 二、1、随机性，模糊性，不完全性，不一致性 2、纯文字，永真式，类含 3、-CF(A)，min{CF(A1),CF(A2)}，max{CF(A1),CF(A2)} 4、节点，有向边，或图，与或图 5、最一般合一（MGU） 6、被触发规则 7、A→B，概率
一、选择题答案1、A2、A 二、填空题答案 1、基于规则的正向演绎系统使用的条件是（1）事实表达式是任意形式（2）规则形式为L→W或L1∨L2→W，其中L为单文字，W为任意形（3）目标公式为文字析取形 2、基于规则的逆向演绎系统使用的条件是（1）事实表达式是文字合取形（2）规则形式为W→L 或W→L1∧L2 ，其中L为单文字，W为任意形（3）目标公式为任意形式 3、归结法中，可以通过修改证明树的方法得到问题的解答。 三、问答题答案 第1题答：
得解图：
第2题 第3题 答：综合数据库： (m1, m5, m9, b) 设从河的左岸到右岸，其中m1, m5,m9分别表示过河时间需要1分钟，5分钟和9分钟的人，在河左岸的人数。b＝1表示船在左岸，b＝0表示船在右岸。规则集： 初始状态：(2, 1, 1, 1) 结束状态：(0, 0, 0, 0) h函数：h(n) = m - b，其中m为在左岸的人数，b为船是否在左岸。 对于任意两个节点ni和nj，其中nj是ni的子节点。 当ni中b＝1时，则nj中b＝0，因此：max(h(ni)-h(j))=(m-1)-(m-1)=0, 而C(ni, nj)最小为1， 因此h(ni)-h(nj) 因此该h函数满足单调性条件。所以h满足A*条件。 第4题 答：对事实和规则进行skolem化： （1）(s) ~P(a) （2）(s)(P(g(s))) P(g(s)) （3）(x)(s)(y)((P(s)∧Q(b，x，s))→H(y) (P(s)∧Q(b，c，s))→H(f(s)) （4）(x)(s)(Q(b，x，s)→Q(b，x，g(s))) Q(b，x，s)→Q(b，x，g(s)) （5）(x)(s)(y)(~P(s)→Q(b，x，y)) ~P(s)→Q(b，x，h(x, s)) 经变量换名后，有事实和规则如下： ~P(a) P(g(s1)) r1: (P(s2)∧Q(b，c，s2))→H(f(s2)) r2: Q(b，x3，s3)→Q(b，x3，g(s3)) r3: ~P(s4)→Q(b，x4，h(x4, s4)) 用对偶形式对目标skolem 化： (x)H(x) H(x) 演绎图如下图(这里只给出了一个一致解图)。 人工智能导论模拟试 卷 北京语言大学网络教育学院 《人工智能导论》模拟试卷一 注意： 1.试卷保密，考生不得将试卷带出考场或撕页，否则成绩作废。请监考老师负责监督。 2.请各位考生注意考试纪律，考试作弊全部成绩以零分计算。 3.本试卷满分100分，答题时间为90分钟。 4.本试卷分为试题卷和答题卷，所有答案必须答在答题卷上，答在试题卷上不给分。 一、【单项选择题】(本大题共5小题，每小题2分，共10分)在每小题列出的四个选项中只有一个选项是符合题目要求的，请将正确选项前的字母填在答题卷相应题号处。 1、AI的英文缩写是（ B ）。 [A] Automatic Intelligence[B] Artificial Intelligence [C] Automatic Information[D] Artificial Information 2、反演归结（消解）证明定理时，若当前归结式是（ C ）时，则定理得证。 [A] 永真式[B] 包孕式[C] 空子句[D] 恒等式 3、从已知事实出发，通过规则库求得结论的产生式系统的推理方式是 （ A ）。 [A] 正向推理[B] 反向推理[C] 双向推理[D]简单推理 4、仅个体变元被量化的谓词称为（ A ）。 [A] 一阶谓词[B] 原子公式[C] 二阶谓词[D]全称量词 5、MGU是（ A ）。 [A]最一般合一[B] 最一般替换[C] 最一般谓词[D]基替换 精心整理，用心做精品1 二、【判断题】(本大题共5小题，每小题2分，共10分)正确的填T，错误的填F，填在答题卷相应题号处。 6、人工智能是研究如何制造出人造的智能机器或智能系统，来模拟人类智能活动的能力，以延伸人们智能的科 学。（ T ） 7、目前大多数的专家系统都采用产生式系统的结构来建 造。（ T ） 8、规则表达的可以是与待求解的问题有关的经验方面的知识，也可以是对求解问题有帮助的策略方面的知 识。（ F ） 9、如果一个路径的第一个节点为问题的目的状态，最后一个节点为问题的初始状态，则该路径称为解路径。 （ F ） 10、某问题可能具有的状态的总数，称之为问题的规模。 （ T ） 三、【填空题】（本大题共12小题，20个空，每空2分，共40分）请将答案填写在答题卷相应题号处。 11、产生式系统的推理过程中，从可触发规则中选择一个规则来执行，被执行的规则称为（被触发规则）。 精心整理，用心做精品2 安徽理工大学《人工智能》试卷库（二） 一、选择题：（13小题，共13分） 1.人工智能的含义最早由一位科学家于1950年提出，并且同时提出一个机器智能的测试模型，请问这个科学家是（）。 A. 明斯基 B. 扎德 C. 图灵 D. 冯.诺依曼 2.下列哪个不是人工智能的研究领域（） A.机器证明 B.模式识别 C. 人工生命 D. 编译原理 3.神经网络研究属于下列（）学派 A. 符号主义 B. 连接主义 C. 行为主义 D. 都不是 4.已知初始问题的描述，通过一系列变换把此问题最终变为一个子问题集合；这些子问题的解可以直接得到，从而解决了初始问题。这是知识表示法叫（） A. 状态空间法 B. 问题归约法 C. 谓词逻辑法 D. 语义网络法 5.在公式中?y?xp(x,y))，存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义，它把每个y值映射到存在的那个x。这种函数叫做（） A. 依赖函数 B. Skolem函数 C. 决定函数 D. 多元函数 6.子句~P∨Q和P经过消解以后，得到（） A. P B. Q C. ~P D.P∨Q 7,8.A∧（A∨B）?A 称为（），~（A∧B）?~A∨~B称为（） A.结合律 B.分配律 C.吸收律 D.摩根律 9,10.如果问题存在最优解，则下面几种搜索算法中，（）必然可以得到该最优解，（）可以认为是“智能程度相对比较高”的算法。 A.广度优先搜索 B.深度优先搜索 C.有界深度优先搜索 D.启发式搜索 11.产生式系统的推理不包括（） A. 正向推理 B. 逆向推理 C. 双向推理 D. 简单推理 12.下列哪部分不是专家系统的组成部分（） A. 用户 B. 综合数据库 C. 推理机 D. 知识库 一、选择题(每题1分，共15分) 1、人工智能是一门D A)数学和生理学B)心理学和生理学C)语言学 D)综合性的交叉学科和边缘学科 2、语义网络表达知识时，有向弧AKO链、ISA链是用来表达节点知识的（C）。 A)无悖性B)可扩充性C)继承性 3、(A->B)∧A=>B是C A)附加律B)拒收律C)假言推理 D)US 4、命题是可以判断真假的D A)祈使句B)疑问句C)感叹句 D)陈述句 5、仅个体变元被量化的谓词称为A A)一阶谓词B)原子公式C)二阶谓词 D)全称量词 6、MGU是A A)最一般合一B)最一般替换C)最一般谓词D)基替换 最一般合一 7、下列不在人工智能系统的知识包含的4个要素中D A)事实B)规则C)控制 D)关系 8、当前归结式是（）时，则定理得证。C A)永真式B包孕式（subsumed）C)空子句 9、或图通常称为D A）框架网络B)语义图C)博亦图D)状态图 10、不属于人工智能的学派是B A)符号主义B)机会主义C)行为主义 D)连接主义。 11、所谓不确定性推理就是从(A)的初始证据出发，通过运用()的知识，最终推出具有一定程度的不确定性但却是合理或者近乎合理的结论的思维过程。 A)不确定性,不确定性B)确定性,确定性 C)确定性,不确定性D)不确定性确定性 12.要想让机器具有智能，必须让机器具有知识。因此，在人工智能中有一个研究领域，主要研究计算机如何自动获取知识和技能，实现自我完善，这门研究分支学科叫（B）。A)专家系统B)机器学习C)神经网络D)模式识别 13、下列哪部分不是专家系统的组成部分（A） A.）用户B）综合数据库C）推理机 D）知识库 14、产生式系统的推理不包括（D） A）正向推理B）逆向推理C）双向推理D）简单推理 15、C(B|A)表示在规则A->B中，证据A为真的作用下结论B为真的B A)可信度B)信度C)信任增长度D)概率 二、填空题(每题1分，共30分) 1、人工智能的含义最早由一位科学家于1950年提出，并且同时提出一个机器智能的测试模型，请问这个科学家是图灵 2、从已知事实出发，通过规则库求得结论的产生式系统的推理方式是 正向推理。 3、AI的英文缩写是ArtificalIntelligence 。 4、不确定性类型按性质分：不确定性，模糊性， 不完全性，不一致性。 6、对证据的可信度CF（A）、CF（A1）、CF（A2）之间，规定如下关系： CF（~A）=、CF（A1∧A2）=、 CF（A1∨A2）=。-CF(A)，min{CF(A1),CF(A2)}，max{CF(A1),CF(A2)}) 7、图：指由节点和有向边组成的网络。按连接同一节点的各边的逻辑关系又可分为和或图与或图。 8、合一算法：求非空有限具有相同谓词名的原子公式集的MGU。 9、1997年５月，着名的“人机大战”，最终名为“深蓝”的计算机以3.5比2.5的总比分将世界国际象棋棋王卡斯帕罗夫击败。 10、人工智能的远期目标是制造智能机器，近期目标是实现机器智能。 三、简答及计算题(每题5分，共25分) 安徽理工大学地球与环境学院 本科毕业论文（设计）大纲 课程名称：毕业论文（设计）课程类别：必修 学时：360 学分：12 开课学期：8 毕业论文（设计）阶段是学生离开校门、走向社会的最后一个环节，是教学计划的重要组成部分，是培养学生综合运用所学知识、独立解决实际问题的能力和创新探索的精神的重要环节。为了抓好最后一个环节，规范毕业论文（设计）教学环节的工作，加强该阶段中对学生的管理、检查和指导，进一步提高教学质量，根据“教务【2004】5号文《安徽理工大学毕业设计(论文)工作管理规定》”、“校教务【2004】36号文《安徽理工大学本科毕业生毕业论文撰写规范（修订）》”及有关通知精神，特制定本大纲。 对于我院本科毕业生而言，一般采用毕业论文形式。 一、毕业论文的目的 通过毕业论文，培养学生综合运用已学知识，独立进行分析和解决问题的能力，使学生具备初步的科技论文写作能力，较好的外文专业资料的阅读、翻译能力，较高的计算机编程能力，初步的实际工作能力和良好的综合专业素质。 二、毕业论文阶段的组织形式 1、各系部(教研室)于第7学期中期，向指导教师布置毕业论文工作。各指导教师根据学生人数，给出毕业论文题目和大纲。每名指导教师指导的学生人数原则上不得超过10人，师资力量不足的系部(教研室)，每名指导教师指导的学生人数不得超过12人。 2、各系部(教研室)于第7学期结束前一周，召开毕业生会议，公布毕业论文题目和大纲，学生进行选题。各系部(教研室)根据选题结果，将学生和指导教师名单进行汇总上报。 3、各系部(教研室)于第8学期的第5周星期一，进行毕业论文阶段的总动员，进一步明确毕业论文阶段的目的、总体要求。会后，各指导教师分组向学生详细布置毕业论文。人工智能导论模拟试卷
《人工智能导论》试卷库-20
人工智能导论试卷
安徽理工大学地球与环境学院本科毕业论文(设计)大纲
相关主题
文本预览