工智典考试试题答案
选择题(题1分15分)
1AI英文缩写
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)全称量词
8MGU
A)般合 B)般换 C)般谓词 D)基换
91997年５月著名机战终计算机3525总分世界国际象棋棋王卡斯帕罗夫击败台计算机称（ ）
A）深蓝 B）IBM C）深思 D）蓝天
10列工智系统知识包含4素中
A)事实 B)规 C)控制元知识 D)关系
11谓词逻辑子句 C1L∨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)模式识
二填空题(空15分30分)
1确定性类型性质分：
2删策略结程中删子句：含 子句含
子句子句集中子句 子句
3证信度CF（A）CF（A1）CF（A2）间规定关系：
CF（~A） CF（A1∧A2 ）
CF（A1∨A2 ）
4图：指 组成网络连接节点边逻辑关系分
5合算法：求非空限具相谓词名原子公式集
6产生式系统推理程中触发规中选择规执行执行规称
7P(B|A) 表示规 中证A真作结B真
8工智远期目标
期目标
三简答计算题(题5分25分)
1填写面三值逻辑表
中TFU分表示真假判定
2什产生式？产生式规语义什？
3谓词公式G通８步骤子句集合S称G子句集请写出步骤
4已知S{P(f(x)yg(y))P(f(x)zg(x))}求MGU
5证明G否F逻辑结
四应题(30分)
1语义网络表示列信息：
(1)胡途思源公司理35岁住飞天胡68号
(2)清华学北京学进行蓝球赛89：102分结束
答：
2图示博弈树中末行数字假设估值请利αβ剪枝技术剪必分枝（节点边直接加注释）
3设关系：（1）果xy父亲yz父亲xz祖父（2）老李李父亲（3）李李父亲问述员中谁谁祖孙关系？
答案：
1 B 2C 3A 4C 5C
6 D 7A 8A 9A 10D
11A 12D 13B 14C 15B
二1机性模糊性完全性致性
2纯文字永真式类含
3CF(A)min{CF(A1)CF(A2)}max{CF(A1)CF(A2)}
4节点边图图
5般合（MGU）
6触发规
7A→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解：k0S0Sδ0εS0单元素集求差异集D0{yz}中y变元z项yz中出现kk+11
δ1δ0·｛zy｝ε·｛zy｝｛zy｝
S1S0·｛zy｝{P(f(x)zg(z))P(f(x)zg(x))}S1单元素集
求差异集D1｛zx｝kk+12δ2δ1·｛zx｝｛zyzx｝
S2S1·｛zx｝｛P(f(z)zg(z))｝单元素集
根求MGU算法MGUδ2｛zyzx｝
5证①P(x) ．．．F变换
②Q(a)∨Q(x) ．．．F变换
③┓P(y)∨┓Q(y) ．．．结否定
④┓Q(x) ．．．①③结{xy}
⑤□ ．．．②④结置换{ax}
证
四
2
3解现定义谓词
F(xy) xy父亲
G(xz) xy祖父
谓词逻辑表示已知求解
(1) F(xy)∧F(yz)→G(xz)
(2) F(LD)
(3) F(DX)
(4) G(uv)uv
中L表示老李D表示李X表示李
先证存祖孙关系
① ┓F(xy)∨┓F(yz)∨G(xz)．．．(1)变换
② F(LD) ．．．(2)变换
③ F(DX) ．．．(3)变换
④ ┓G(uv) ．．．结否定
⑤ ┓F(Dz)∨G(Lz) ．．．①②结置换｛LxDy｝
⑥ G(LX) ．．．③⑤结置换｛Xz｝
⑦ □ ．．．④⑥结置换｛LuXv｝
证说明存祖孙关系
求解重言式④
④ ┓G(uv)∨G(uv) ．．．重言式代结否定重言式恒真
⑤ ┓F(Dz)∨G(Lz) ．．．①②结置换｛LxDy｝
⑥ G(LX) ．．．③⑤结置换｛Xz｝
⑦ G(LX) ．．．④⑥结置换｛LuXv｝
结果LX祖父老李李祖父
三简答计算题(题5分25分)
1解释列模糊性知识：
1) 张三体型（胖09））
2) (患者症状(头疼095) )∧ (患者症状(发烧11) ) →(患者疾病(感12) )
答：
2简单阐述产生式系统组成：
答：
3补齐产生式系统图搜索表
答：
4已知W{P(f(xg(Ay))z)P(f(xz)z)}求MGU
解：
5证明G否F1F2逻辑结
四应题(30分)
1命题：某学生读三国演义分谓词公式语义网络表示
2图示博弈树中末行数字假设估值请利αβ剪枝技术剪必分枝（节点边直接加注释）
3利谓词逻辑表示列知识（包括已知结）然化成子句集：
（1）清洁东西喜欢
（2）喜欢苍蝇
求证：苍蝇清洁
1D 2C 3C 4D 5A
6A 7D 8C 9D 10B
11A 12B 13A 14D 15B
二1图林 2正推理 3Artifical Intelligence
4机性模糊性完全性致性
5纯文字永真式类含
6CF(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解：k0S0Sδ0εS0单元素集求差异集D0{g(Ay)}z}中z变元g(Ay)项zg(Ay)中出现kk+11
δ1δ0·｛g(Ay)z｝ε·｛g(Ay)z｝｛g(Ay)z｝
S1S0·｛g(Ay)z｝{P(f(xg(Ay))g(Ay))}S1单元素集
根求MGU算法MGUδ1｛g(Ay)z｝
5证①┓P(x)∨Q(x) ．．．F1变换
②┓P(y)∨R(y) ` ．．．F1变换
③P(a) ．．．F2变换
④S(a) ．．．F2变换
⑤┓S(z)∨┓R(z) ．．．结否定
⑥R(a) ．．．②③结｛ay｝
⑦┓R(a) ．．．④⑤结｛az｝
⑧□ ．．．⑥⑦结
证
四1答：谓词公式表示：
x(student(x)∧read(x三国演义))
语义网络表示图：
2
3证：现定义谓词
L(xy)某x喜欢某物y
P(y) 某物y清洁东西
(1) yx(P(y)→L(xy)) > ┓P(y)∨L(f(y)y)
(2) x(┓L(xFly)) > ┓L(xFly)
(3) P(Fly) ．．．结反
(4) L(f(Fly) Fly) ．．．(1)(3)结置换{Flyy}
(5) □ ．．．(2)(4)结{f(Fly)x}
证
试题部分：
选择题（15题15分）
197年５月著名机战终计算机3525总分世界国际象棋棋王卡斯帕罗夫击败台计算机称（ ）
A）深蓝 B）IBM C）深思 D）蓝天
2列工智系统知识包含4素中
A)事实 B)规 C)控制元知识 D)关系
3谓词逻辑子句 C1L∨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）简单推理
10C(B|A) 表示规A>B中证A真作结B真
A)信度 B)信度 C)信增长度 D)概率
11AI英文缩写
A)Automatic Intelligence B)Artifical Intelligence
C)Automatice Information D)Artifical Information
12反演结（消解）证明定理时前结式（ ）时定理证
A)永真式 B)包孕式（subsumed） C)空子句
13公式中yxp(xy))存量词全称量词辖域允许存x赖y值令种赖关系明显函数定义y值映射存x种函数做（ ）
A 赖函数
B Skolem函数
C 决定函数
D 元函数
14子句~PÚQP消解（ ）
A P
B Q
C ~P
D PÚQ
15果问题存优解面种搜索算法中（ ）必然该优解
A 广度优先搜索
B 深度优先搜索
C 界深度优先搜索
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α－β剪枝条件什？
3某问题列公式描述：
(1)试结法证明(x)R(x)
4 专家系统般步骤？专家系统开发般软件系统开发相较点特点？（7分）
5谓图灵实验？简单描述（5分）
6设关系：（1）果xy父亲yz父亲xz祖父（2）老李李父亲（3）李李父亲问述员中谁谁祖孙关系？(10分)
7 1～9九数字排序列该序列前n(n19) 数字组成整数n整
(1)讨知识帮助该问题求解
(2)产生式系统描述该问题 (15分)
答案部分
选择题
A
D
A
D
B
C
B
A
D
B
B
C
B
B
A
二填空题
1辖域 约束变元 变元
2 B A®C
3删策略
4图搜索 状态空间图（状态图）
5启发函数
6极极分析法 ab剪枝技术
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(xy)：xy
形式化：
者
2回答 α剪枝：极值层节点β值等先辈极值节点α值α（先辈层）≥β（继层）中止该极值层中MIN节点搜索程MIN节点终倒推值确定β值
β剪枝：极值层节点α值等先辈极值层节点β值α（继层）≥β（先辈层）中止该极值层中MAX节点搜索程MAX节点终倒推值确定α值
3化子句集：
4答：（１）专家系统般软件系统开发异开发程样遵循软件工程步骤原进行系统分析系统设计等阶段工作
（２）专家系统般软件系统独特方包括步骤：
１） 系统总体分析设计
２） 知识获取
３） 知识表示知识描述语言设计
４） 知识库设计知识库理系统设计
５） 推理机解释模块设计
６） 总控界面设计
７） 编程调试
８） 测试评价
９） 运行维护
（３）出特点：
１） 知识获取知识表示设计切工作起点
知识表示知识描述语言确定设计时进行
5答：谓图灵实验判断台机器否具备智实验实验三封闭房间组成分放置持参机器持参机器提问通提问结果判断谁谁机器果持法判断谁谁机器台机器具备智谓智机器
6解现定义谓词
F(xy) xy父亲
G(xz) xy祖父
谓词逻辑表示已知求解
(1) F(xy)∧F(yz)→G(xz)
(2) F(LD)
(3) F(DX)
(4) G(uv)uv
中L表示老李D表示李X表示李
先证存祖孙关系
① ～F(xy)∨～F(yz)∨G(xz)．．．(1)变换
② F(LD) ．．．(2)变换
③ F(DX) ．．．(3)变换
④ ～G(uv) ．．．结否定
⑤ ～F(Dz)∨G(Lz) ．．．①②结置换｛LxDy｝
⑥ G(LX) ．．．③⑤结置换｛Xz｝
⑦ □ ．．．④⑥结置换｛LuXv｝
证说明存祖孙关系
求解重言式④
④ ～G(uv)∨G(uv) ．．．重言式代结否定重言式恒真
⑤ ～F(Dz)∨G(Lz) ．．．①②结置换｛LxDy｝
⑥ G(LX) ．．．③⑤结置换｛Xz｝
⑦ G(LX) ．．．④⑥结置换｛LuXv｝
结果LX祖父老李李祖父
7知识帮助求解该问题：
（1）序列中偶数偶数位置奇数奇数位置
（2）第五数5
综合数库：
19序列表示：N {x}中x19数字
规集：
r1 IF len(N)4 THEN {x}∪{5}
r2 IF len(N)偶数and nIn(1 3 7 9) THEN {x}∪{n}
r3 IF len(N)奇数and nIn(2 4 6 8) THEN {x}∪{n}
中len(N)求序列长度In(a b c d)取abcd
初始状态：{}
结束条件：序列N前i数组成整数i整
选择题(题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)全称量词
6MGU
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）简单推理
15C(B|A) 表示规A>B中证A真作结B真
A)信度 B)信度 C)信增长度 D)概率
二填空题(题1分30分)
1工智含义早位科学家1950年提出时提出机器智测试模型请问科学家
2已知事实出发通规库求结产生式系统推理方式
3AI英文缩写
4确定性类型性质分：
5删策略结程中删子句：含 子句含 子句子句集中子句 子句
6证信度CF（A）CF（A1）CF（A2）间规定关系：
CF（~A） CF（A1∧A2 ）
CF（A1∨A2 ）
7图：指 组成网络连接节点边逻辑关系分
8合算法：求非空限具相谓词名原子公式集
91997年５月著名机战终名 计算机3525总分世界国际象棋棋王卡斯帕罗夫击败
10工智远期目标 期目标
三简答计算题(题5分25分)
1解释列模糊性知识：
1) 张三体型（胖09））
2) (患者症状(头疼095) )∧ (患者症状(发烧11) ) →(患者疾病(感12) )
答：
2简单阐述产生式系统组成：
答：
3补齐产生式系统图搜索表
答：
4已知W{P(f(xg(Ay))z)P(f(xz)z)}求MGU
解：
5证明G否F1F2逻辑结
证
四应题(30分)
1命题：某学生读三国演义分谓词公式语义网络表示
答：
2图示博弈树中末行数字假设估值请利αβ剪枝技术剪必分枝（节点边直接加注释）
3利谓词逻辑表示列知识（包括已知结）然化成子句集：
（1）清洁东西喜欢
（2）喜欢苍蝇
求证：苍蝇清洁
证：
答案：
1D 2C 3C 4D 5A
6A 7D 8C 9D 10B
11A 12B 13A 14D 15B
二1图林 2正推理 3Artifical Intelligence
4机性模糊性完全性致性
5纯文字永真式类含
6CF(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解：k0S0Sδ0εS0单元素集求差异集D0{g(Ay)}z}中z变元g(Ay)项zg(Ay)中出现kk+11
δ1δ0·｛g(Ay)z｝ε·｛g(Ay)z｝｛g(Ay)z｝
S1S0·｛g(Ay)z｝{P(f(xg(Ay))g(Ay))}S1单元素集
根求MGU算法MGUδ1｛g(Ay)z｝
5证①┓P(x)∨Q(x) ．．．F1变换
②┓P(y)∨R(y) ` ．．．F1变换
③P(a) ．．．F2变换
④S(a) ．．．F2变换
⑤┓S(z)∨┓R(z) ．．．结否定
⑥R(a) ．．．②③结｛ay｝
⑦┓R(a) ．．．④⑤结｛az｝
⑧□ ．．．⑥⑦结
证
四1答：谓词公式表示：
x(student(x)∧read(x三国演义))
语义网络表示图：
2
3证：现定义谓词
L(xy)某x喜欢某物y
P(y) 某物y清洁东西
(1) yx(P(y)→L(xy)) > ┓P(y)∨L(f(y)y)
(2) x(┓L(xFly)) > ┓L(xFly)
(3) P(Fly) ．．．结反
(4) L(f(Fly) Fly) ．．．(1)(3)结置换{Flyy}
(5) □ ．．．(2)(4)结{f(Fly)x}
证
单选题：
1：类智特性表现4方面
A：聪明灵活学运
B：感知客观世界信息通思维获知识进行加工处理通学积累知识增长干适应环境变化外界刺激作出反应传递信息
C：感觉适应学创新
D：捕捉外界环境信息够利利外界利素够传递外界信息够综合外界信息进行创新思维
2：工智目机器够 实现某脑力劳动机械化
A：具智 B：样工作
C：完全代脑 D：模拟延伸扩展智
3：列关工智叙述正确：
A：工智技术科学技术相结合极提高应技术智化水
B：工智科学技术发展趋势
C：工智系统研究世纪五十年代开始非常新十分重
D：工智力促进社会发展
4：工智研究项基容机器感知列举中 属机器感知领域
A：机器具视觉听觉触觉味觉嗅觉等感知力
B：机器具理解文字力
C：机器具够获取新知识学新技巧力
D：机器具听懂类语言力
5：然语言理解工智重应领域面列举中 实现目标
A：理解讲话 B：然语言表示信息进行分析概括编辑
C：欣赏音乐 D：机器翻译
6：解决模拟类感性思维例视觉理解直觉思维悟性等研究者找重信息处理机制：
A：专家系统 B：工神网络 C：模式识 D：智代理
7：果知识作分类述 分类范围
A：控制策略表示知识控制性知识
B：通文字语言图形声音等形式编码记录传播知识显性知识
C：提供关状态变化问题求解程操作演算行动知识程性知识
D：提供概念事实知道什知识陈述性
8：述 知识特征
A：复杂性明确性 B：进化相性
C：客观性附性 D：重性享性
9：述 工智中常知识格式化表示方法
A：框架表示法 B：状态空间表示法
C：语义网络表示法 D：形象描写表示法
10：关图表示法叙述中正确：
A：图ANDOR连续部分图形描述部分果关系
B：图ANDOR连续部分图形描述部分间确定关系
C：图节点节点组合起树形图描述某类问题层次关系
D：图节点节点组合起树形图描述某类问题求解程
11：构成状态空间4素：
A：开始状态目标状态规操作
B：初始状态中间状态目标状态操作
C：空间状态规操作
D：开始状态中间状态结束状态状态
12：关图表示知识叙述错误
A：图表示知识方便程序设计语言表达便计算机存储处理
B：图表示知识时定时节点节点
C：图方便表示陈述性知识程性知识
D：图表示知识适宜方法表示
13：列知识表示法
A：计算机表示法 B：图表示法
C：状态空间表示法 D：产生式规表示法
14：般讲列语言属工智语言
A：VB B：Pascal C：Logo D：Prolog
15：Prolog语言三种基语句：
A：序循环分支 B：陈述询问感叹
C：事实规询问 D：肯定疑问感叹
16：匹配两知识模式进行 较
A：相性 B：致性 C：性 D：类性
17：列程序运行结果
A：ellen B：john C：eric D：ellenjohneric
predicates
likes(symbolsymbol)
clauses
likes(ellenreading)
likes(johncomputers)
likes(johnswimming)
likes(leonardbadminton)
likes(ericswimming)
likes(ericreading)
goal
likes(Personreading)likes(Personswimming)
18：列Prolog程序运行结果：
A：xiaohua B：xiaoming C：xiaofang Dpingpong
predicates
likes(symbolsymbol)
friend(symbolsymbol)
clauses
likes(xiaofangswimming)
likes(xiaomingpingpong)
friend(Xxiaohua)likes(Xpingpong)
goal
friend(Xxiaohua)
19：列程序运行结果
A：bill
tammy
sue
B：tammy
joe
sue
C：bill
sue
joe
D：bill
joe
tammy
predicates
male(symbol)
female(symbol)
parent(symbolsymbol)
clauses
male(bill)
male(joe)
female(sue)
female(tammy)
parent(billjoe)
parent(suejoe)
parent(joetammy)
goal
parent(Parent_)
20：专家系统复杂智软件处理象符号表示知识处理程
程
A：思维 B：思考 C：推理 D：递推
21：进行专家系统开发通常采方法
A：逐步求精 B：实验法 C：原型法 D：递推法
22：专家系统开发程中专家系统工具般分专家系统 通专家系统工具两类
A：模型工具 B：外壳 C：知识库工具 D：专工具
23：专家系统 基础推理核心系统
A：专家 B：软件 C：知识 D：解决问题
24： 专家系统重特征
A：具某专家验 B：模拟类解决问题
C：专家 D：解决复杂问题
25：般专家系统包括 部分
A：4 B：2 C：8 D：6
26：类专家知识通常包括两类：
A：理科知识文科知识 B：书知识验知识
C：基础知识专业知识 D：理知识操作知识
27：确定性知识指 知识
A：精确表示 B：正确
C：学中学知识 D：够解决问题
28： 列关确定性知识描述错误
A：确定性知识精确表示
B：专家知识通常属确定性知识
C：确定性知识处理知识
D：确定性知识事实结关系简单
29：知识获取目类专家知识转换专家系统知识库中知识知识获取方法通常 种
A：2 B：3 C：4 D：5
30：专家系统推理机基方式
A：直接推理间接推理 B：正推理反推理
C：逻辑推理非逻辑推理 D：准确推理模糊推理
31：专家系统正推理 作出发点定策略应知识库中知识推断出结程
A：需解决问题 B：已知事实
C：证明结 D：表示目标谓词命题
32列关精确推理程叙述错误
A：精确推理程确定事实出发
B：精确推理程终够推出确定结
C：精确推理程运确定知识
D：精确推理程终推出确定性结
33：列属专家系统解释功作
A：户说明什结 B：户说明结
C：提高专家系统信赖程度 D：户说明专家系统知识结构
34：重排九宫问题状态树中（图）选项中全分支节点
A：B2C2D2E2 B：B4C2D3D8
C：B3C5D7E7 D：C6D1E5E14
35：重排九宫问题中启发函数H（x）+D（x）中D（x）表示
A：节点x目标状态位置棋子数 B：节点x目标状态位置相棋子数
C：节点x子节点数 D：节点x层数
36：农夫带匹狼羊棵白菜河（河北岸南岸）果没农夫狼吃羊羊吃白菜船够农夫带样东西河01表示狼羊白菜分运南岸状态0表示南岸1表示南岸（：100表示狼运南岸）初始时南岸状态000表示狼羊白菜没运南岸终状态111表示狼羊白菜运南岸状态空间农夫找出河方法狼羊白菜南岸出现序列
A：000010100101111 B：000010001101111
C：000100110111 D：000001011111
37：图迷宫S0入口Sg出口入口作初始节点出口作目标节点通道作分支画出入口S0出发寻找出口Sg状态树根深度优先搜索方法搜索路径
A：s0s4s5s6s9sg B：s0s4s1s2s3s6s9sg
C：s0s4s1s2s3s5s6s8s9sg D：s0s4s7s5s6s9sg
38：井字棋弈中假设甲乙双方采博弈策略启发函数：
摆棋子增加分机会摆子：1分
摆棋子减少方取胜机会摆子：1分
摆棋子增加分机会减少方分机会：2分
列弈中● 代表甲方×代表乙方乙方2分步骤
●
×
●
A：
乙方摆棋
●
×
×
●
●
×
●
乙方摆棋
B：
●
×
×
●
●
●
×
×
×
●
●
乙方摆棋
C：
●
×
●
●
×
×
●
乙方摆棋
D：
39：工智发展历程划分
A：诞生期成长期 B：形成期发展期
C：初期中期 D：初级阶段高级阶段
40：国学者吴文俊院士工智 领域作出贡献
A：机器证明 B：模式识 C：工神网络 D：智代理
二 判断题
1广度优先搜索方法原理：树根节点开始树中层层查找找目标节点时搜索结束（ ）
2工智重分支Pattern Recognition中文名称模式识研究视觉听觉识（ ）
3工智研究先驱者认智表现学知识运知识知识智基础学者专门知识集规集附加程组成知识库开发出许专家系统（英文缩写ES）领域获成功（ ）
4知识框架表示法中框架干称槽结构组成样结构拥干侧面（ ）
5知识规表示法中产生式基形式P<>Q（ ）
6工智语言Prolog语言（ ）
7知识获取方法手动获取知识动获取知识两种方法（ ）
8反推理已知事实作出发点定策略运知识库中知识推断出结程（ ）
9知识工程属工智科学范畴（ ）
10框架表示法马文明斯基首创（ ）
三 简答题：
1：什机机器会踢足球？试分析机器会踢足球必须具力
2：知识格式化形式表示Prolog语言表示知识
学校4活动社团：舞蹈队戏剧社体操队义工团曹毅参加戏剧社刘中参加义工团张萍参加体操队义工团张萍朋友
参考答案
选择题
1 B 2D 3C 4C 5C 6B 7B 8A 9D 10D
11B 12D 13A 14D 15C 16B 17C 18B 19C 20C
21C 22B 23C 24B 25D 26B 27A 28C 29B 30B
31B 32B 33D 34B 35D 36B 37C 38D 39B 40A
二 判断题
1 2 34 5错 6错 7错 8错 9 10
三 简答题
1：
（1）机器具类似类某力机器会踢足球
（2）机器踢足球应具力：
够感觉足球位置处位置
够根感觉信息分析判断
够根判断作出快速反应做出踢球射门等动作
2：参考答案
（1） 专家系统名称设置：交通工具识
（2） 谓词设置：
含义
谓词
交通工具
jiaotong_is
类
it_is
事实
positive
（3） 知识库设置：
it_is(动力车)positive(动力源)
it_is(力车)positive(动力源)
jiaotong_is(电动车)it_is(动力车)positive(耗电)
jiaotong_is(摩托车)it_is(动力车)positive(耗汽油)
jiaotong_is(行车)it_is(力车)
说明：专家系统谓词设置必须知识库中规中谓词相匹配
文档香网(httpswwwxiangdangnet)户传
《香当网》用户分享的内容，不代表《香当网》观点或立场，请自行判断内容的真实性和可靠性！
该内容是文档的文本内容，更好的格式请下载文档
选择题(题1分15分)
1AI英文缩写
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)全称量词
8MGU
A)般合 B)般换 C)般谓词 D)基换
91997年５月著名机战终计算机3525总分世界国际象棋棋王卡斯帕罗夫击败台计算机称（ ）
A）深蓝 B）IBM C）深思 D）蓝天
10列工智系统知识包含4素中
A)事实 B)规 C)控制元知识 D)关系
11谓词逻辑子句 C1L∨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)模式识
二填空题(空15分30分)
1确定性类型性质分：
2删策略结程中删子句：含 子句含
子句子句集中子句 子句
3证信度CF（A）CF（A1）CF（A2）间规定关系：
CF（~A） CF（A1∧A2 ）
CF（A1∨A2 ）
4图：指 组成网络连接节点边逻辑关系分
5合算法：求非空限具相谓词名原子公式集
6产生式系统推理程中触发规中选择规执行执行规称
7P(B|A) 表示规 中证A真作结B真
8工智远期目标
期目标
三简答计算题(题5分25分)
1填写面三值逻辑表
中TFU分表示真假判定
2什产生式？产生式规语义什？
3谓词公式G通８步骤子句集合S称G子句集请写出步骤
4已知S{P(f(x)yg(y))P(f(x)zg(x))}求MGU
5证明G否F逻辑结
四应题(30分)
1语义网络表示列信息：
(1)胡途思源公司理35岁住飞天胡68号
(2)清华学北京学进行蓝球赛89：102分结束
答：
2图示博弈树中末行数字假设估值请利αβ剪枝技术剪必分枝（节点边直接加注释）
3设关系：（1）果xy父亲yz父亲xz祖父（2）老李李父亲（3）李李父亲问述员中谁谁祖孙关系？
答案：
1 B 2C 3A 4C 5C
6 D 7A 8A 9A 10D
11A 12D 13B 14C 15B
二1机性模糊性完全性致性
2纯文字永真式类含
3CF(A)min{CF(A1)CF(A2)}max{CF(A1)CF(A2)}
4节点边图图
5般合（MGU）
6触发规
7A→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解：k0S0Sδ0εS0单元素集求差异集D0{yz}中y变元z项yz中出现kk+11
δ1δ0·｛zy｝ε·｛zy｝｛zy｝
S1S0·｛zy｝{P(f(x)zg(z))P(f(x)zg(x))}S1单元素集
求差异集D1｛zx｝kk+12δ2δ1·｛zx｝｛zyzx｝
S2S1·｛zx｝｛P(f(z)zg(z))｝单元素集
根求MGU算法MGUδ2｛zyzx｝
5证①P(x) ．．．F变换
②Q(a)∨Q(x) ．．．F变换
③┓P(y)∨┓Q(y) ．．．结否定
④┓Q(x) ．．．①③结{xy}
⑤□ ．．．②④结置换{ax}
证
四
2
3解现定义谓词
F(xy) xy父亲
G(xz) xy祖父
谓词逻辑表示已知求解
(1) F(xy)∧F(yz)→G(xz)
(2) F(LD)
(3) F(DX)
(4) G(uv)uv
中L表示老李D表示李X表示李
先证存祖孙关系
① ┓F(xy)∨┓F(yz)∨G(xz)．．．(1)变换
② F(LD) ．．．(2)变换
③ F(DX) ．．．(3)变换
④ ┓G(uv) ．．．结否定
⑤ ┓F(Dz)∨G(Lz) ．．．①②结置换｛LxDy｝
⑥ G(LX) ．．．③⑤结置换｛Xz｝
⑦ □ ．．．④⑥结置换｛LuXv｝
证说明存祖孙关系
求解重言式④
④ ┓G(uv)∨G(uv) ．．．重言式代结否定重言式恒真
⑤ ┓F(Dz)∨G(Lz) ．．．①②结置换｛LxDy｝
⑥ G(LX) ．．．③⑤结置换｛Xz｝
⑦ G(LX) ．．．④⑥结置换｛LuXv｝
结果LX祖父老李李祖父
三简答计算题(题5分25分)
1解释列模糊性知识：
1) 张三体型（胖09））
2) (患者症状(头疼095) )∧ (患者症状(发烧11) ) →(患者疾病(感12) )
答：
2简单阐述产生式系统组成：
答：
3补齐产生式系统图搜索表
答：
4已知W{P(f(xg(Ay))z)P(f(xz)z)}求MGU
解：
5证明G否F1F2逻辑结
四应题(30分)
1命题：某学生读三国演义分谓词公式语义网络表示
2图示博弈树中末行数字假设估值请利αβ剪枝技术剪必分枝（节点边直接加注释）
3利谓词逻辑表示列知识（包括已知结）然化成子句集：
（1）清洁东西喜欢
（2）喜欢苍蝇
求证：苍蝇清洁
1D 2C 3C 4D 5A
6A 7D 8C 9D 10B
11A 12B 13A 14D 15B
二1图林 2正推理 3Artifical Intelligence
4机性模糊性完全性致性
5纯文字永真式类含
6CF(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解：k0S0Sδ0εS0单元素集求差异集D0{g(Ay)}z}中z变元g(Ay)项zg(Ay)中出现kk+11
δ1δ0·｛g(Ay)z｝ε·｛g(Ay)z｝｛g(Ay)z｝
S1S0·｛g(Ay)z｝{P(f(xg(Ay))g(Ay))}S1单元素集
根求MGU算法MGUδ1｛g(Ay)z｝
5证①┓P(x)∨Q(x) ．．．F1变换
②┓P(y)∨R(y) ` ．．．F1变换
③P(a) ．．．F2变换
④S(a) ．．．F2变换
⑤┓S(z)∨┓R(z) ．．．结否定
⑥R(a) ．．．②③结｛ay｝
⑦┓R(a) ．．．④⑤结｛az｝
⑧□ ．．．⑥⑦结
证
四1答：谓词公式表示：
x(student(x)∧read(x三国演义))
语义网络表示图：
2
3证：现定义谓词
L(xy)某x喜欢某物y
P(y) 某物y清洁东西
(1) yx(P(y)→L(xy)) > ┓P(y)∨L(f(y)y)
(2) x(┓L(xFly)) > ┓L(xFly)
(3) P(Fly) ．．．结反
(4) L(f(Fly) Fly) ．．．(1)(3)结置换{Flyy}
(5) □ ．．．(2)(4)结{f(Fly)x}
证
试题部分：
选择题（15题15分）
197年５月著名机战终计算机3525总分世界国际象棋棋王卡斯帕罗夫击败台计算机称（ ）
A）深蓝 B）IBM C）深思 D）蓝天
2列工智系统知识包含4素中
A)事实 B)规 C)控制元知识 D)关系
3谓词逻辑子句 C1L∨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）简单推理
10C(B|A) 表示规A>B中证A真作结B真
A)信度 B)信度 C)信增长度 D)概率
11AI英文缩写
A)Automatic Intelligence B)Artifical Intelligence
C)Automatice Information D)Artifical Information
12反演结（消解）证明定理时前结式（ ）时定理证
A)永真式 B)包孕式（subsumed） C)空子句
13公式中yxp(xy))存量词全称量词辖域允许存x赖y值令种赖关系明显函数定义y值映射存x种函数做（ ）
A 赖函数
B Skolem函数
C 决定函数
D 元函数
14子句~PÚQP消解（ ）
A P
B Q
C ~P
D PÚQ
15果问题存优解面种搜索算法中（ ）必然该优解
A 广度优先搜索
B 深度优先搜索
C 界深度优先搜索
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α－β剪枝条件什？
3某问题列公式描述：
(1)试结法证明(x)R(x)
4 专家系统般步骤？专家系统开发般软件系统开发相较点特点？（7分）
5谓图灵实验？简单描述（5分）
6设关系：（1）果xy父亲yz父亲xz祖父（2）老李李父亲（3）李李父亲问述员中谁谁祖孙关系？(10分)
7 1～9九数字排序列该序列前n(n19) 数字组成整数n整
(1)讨知识帮助该问题求解
(2)产生式系统描述该问题 (15分)
答案部分
选择题
A
D
A
D
B
C
B
A
D
B
B
C
B
B
A
二填空题
1辖域 约束变元 变元
2 B A®C
3删策略
4图搜索 状态空间图（状态图）
5启发函数
6极极分析法 ab剪枝技术
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(xy)：xy
形式化：
者
2回答 α剪枝：极值层节点β值等先辈极值节点α值α（先辈层）≥β（继层）中止该极值层中MIN节点搜索程MIN节点终倒推值确定β值
β剪枝：极值层节点α值等先辈极值层节点β值α（继层）≥β（先辈层）中止该极值层中MAX节点搜索程MAX节点终倒推值确定α值
3化子句集：
4答：（１）专家系统般软件系统开发异开发程样遵循软件工程步骤原进行系统分析系统设计等阶段工作
（２）专家系统般软件系统独特方包括步骤：
１） 系统总体分析设计
２） 知识获取
３） 知识表示知识描述语言设计
４） 知识库设计知识库理系统设计
５） 推理机解释模块设计
６） 总控界面设计
７） 编程调试
８） 测试评价
９） 运行维护
（３）出特点：
１） 知识获取知识表示设计切工作起点
知识表示知识描述语言确定设计时进行
5答：谓图灵实验判断台机器否具备智实验实验三封闭房间组成分放置持参机器持参机器提问通提问结果判断谁谁机器果持法判断谁谁机器台机器具备智谓智机器
6解现定义谓词
F(xy) xy父亲
G(xz) xy祖父
谓词逻辑表示已知求解
(1) F(xy)∧F(yz)→G(xz)
(2) F(LD)
(3) F(DX)
(4) G(uv)uv
中L表示老李D表示李X表示李
先证存祖孙关系
① ～F(xy)∨～F(yz)∨G(xz)．．．(1)变换
② F(LD) ．．．(2)变换
③ F(DX) ．．．(3)变换
④ ～G(uv) ．．．结否定
⑤ ～F(Dz)∨G(Lz) ．．．①②结置换｛LxDy｝
⑥ G(LX) ．．．③⑤结置换｛Xz｝
⑦ □ ．．．④⑥结置换｛LuXv｝
证说明存祖孙关系
求解重言式④
④ ～G(uv)∨G(uv) ．．．重言式代结否定重言式恒真
⑤ ～F(Dz)∨G(Lz) ．．．①②结置换｛LxDy｝
⑥ G(LX) ．．．③⑤结置换｛Xz｝
⑦ G(LX) ．．．④⑥结置换｛LuXv｝
结果LX祖父老李李祖父
7知识帮助求解该问题：
（1）序列中偶数偶数位置奇数奇数位置
（2）第五数5
综合数库：
19序列表示：N {x}中x19数字
规集：
r1 IF len(N)4 THEN {x}∪{5}
r2 IF len(N)偶数and nIn(1 3 7 9) THEN {x}∪{n}
r3 IF len(N)奇数and nIn(2 4 6 8) THEN {x}∪{n}
中len(N)求序列长度In(a b c d)取abcd
初始状态：{}
结束条件：序列N前i数组成整数i整
选择题(题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)全称量词
6MGU
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）简单推理
15C(B|A) 表示规A>B中证A真作结B真
A)信度 B)信度 C)信增长度 D)概率
二填空题(题1分30分)
1工智含义早位科学家1950年提出时提出机器智测试模型请问科学家
2已知事实出发通规库求结产生式系统推理方式
3AI英文缩写
4确定性类型性质分：
5删策略结程中删子句：含 子句含 子句子句集中子句 子句
6证信度CF（A）CF（A1）CF（A2）间规定关系：
CF（~A） CF（A1∧A2 ）
CF（A1∨A2 ）
7图：指 组成网络连接节点边逻辑关系分
8合算法：求非空限具相谓词名原子公式集
91997年５月著名机战终名 计算机3525总分世界国际象棋棋王卡斯帕罗夫击败
10工智远期目标 期目标
三简答计算题(题5分25分)
1解释列模糊性知识：
1) 张三体型（胖09））
2) (患者症状(头疼095) )∧ (患者症状(发烧11) ) →(患者疾病(感12) )
答：
2简单阐述产生式系统组成：
答：
3补齐产生式系统图搜索表
答：
4已知W{P(f(xg(Ay))z)P(f(xz)z)}求MGU
解：
5证明G否F1F2逻辑结
证
四应题(30分)
1命题：某学生读三国演义分谓词公式语义网络表示
答：
2图示博弈树中末行数字假设估值请利αβ剪枝技术剪必分枝（节点边直接加注释）
3利谓词逻辑表示列知识（包括已知结）然化成子句集：
（1）清洁东西喜欢
（2）喜欢苍蝇
求证：苍蝇清洁
证：
答案：
1D 2C 3C 4D 5A
6A 7D 8C 9D 10B
11A 12B 13A 14D 15B
二1图林 2正推理 3Artifical Intelligence
4机性模糊性完全性致性
5纯文字永真式类含
6CF(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解：k0S0Sδ0εS0单元素集求差异集D0{g(Ay)}z}中z变元g(Ay)项zg(Ay)中出现kk+11
δ1δ0·｛g(Ay)z｝ε·｛g(Ay)z｝｛g(Ay)z｝
S1S0·｛g(Ay)z｝{P(f(xg(Ay))g(Ay))}S1单元素集
根求MGU算法MGUδ1｛g(Ay)z｝
5证①┓P(x)∨Q(x) ．．．F1变换
②┓P(y)∨R(y) ` ．．．F1变换
③P(a) ．．．F2变换
④S(a) ．．．F2变换
⑤┓S(z)∨┓R(z) ．．．结否定
⑥R(a) ．．．②③结｛ay｝
⑦┓R(a) ．．．④⑤结｛az｝
⑧□ ．．．⑥⑦结
证
四1答：谓词公式表示：
x(student(x)∧read(x三国演义))
语义网络表示图：
2
3证：现定义谓词
L(xy)某x喜欢某物y
P(y) 某物y清洁东西
(1) yx(P(y)→L(xy)) > ┓P(y)∨L(f(y)y)
(2) x(┓L(xFly)) > ┓L(xFly)
(3) P(Fly) ．．．结反
(4) L(f(Fly) Fly) ．．．(1)(3)结置换{Flyy}
(5) □ ．．．(2)(4)结{f(Fly)x}
证
单选题：
1：类智特性表现4方面
A：聪明灵活学运
B：感知客观世界信息通思维获知识进行加工处理通学积累知识增长干适应环境变化外界刺激作出反应传递信息
C：感觉适应学创新
D：捕捉外界环境信息够利利外界利素够传递外界信息够综合外界信息进行创新思维
2：工智目机器够 实现某脑力劳动机械化
A：具智 B：样工作
C：完全代脑 D：模拟延伸扩展智
3：列关工智叙述正确：
A：工智技术科学技术相结合极提高应技术智化水
B：工智科学技术发展趋势
C：工智系统研究世纪五十年代开始非常新十分重
D：工智力促进社会发展
4：工智研究项基容机器感知列举中 属机器感知领域
A：机器具视觉听觉触觉味觉嗅觉等感知力
B：机器具理解文字力
C：机器具够获取新知识学新技巧力
D：机器具听懂类语言力
5：然语言理解工智重应领域面列举中 实现目标
A：理解讲话 B：然语言表示信息进行分析概括编辑
C：欣赏音乐 D：机器翻译
6：解决模拟类感性思维例视觉理解直觉思维悟性等研究者找重信息处理机制：
A：专家系统 B：工神网络 C：模式识 D：智代理
7：果知识作分类述 分类范围
A：控制策略表示知识控制性知识
B：通文字语言图形声音等形式编码记录传播知识显性知识
C：提供关状态变化问题求解程操作演算行动知识程性知识
D：提供概念事实知道什知识陈述性
8：述 知识特征
A：复杂性明确性 B：进化相性
C：客观性附性 D：重性享性
9：述 工智中常知识格式化表示方法
A：框架表示法 B：状态空间表示法
C：语义网络表示法 D：形象描写表示法
10：关图表示法叙述中正确：
A：图ANDOR连续部分图形描述部分果关系
B：图ANDOR连续部分图形描述部分间确定关系
C：图节点节点组合起树形图描述某类问题层次关系
D：图节点节点组合起树形图描述某类问题求解程
11：构成状态空间4素：
A：开始状态目标状态规操作
B：初始状态中间状态目标状态操作
C：空间状态规操作
D：开始状态中间状态结束状态状态
12：关图表示知识叙述错误
A：图表示知识方便程序设计语言表达便计算机存储处理
B：图表示知识时定时节点节点
C：图方便表示陈述性知识程性知识
D：图表示知识适宜方法表示
13：列知识表示法
A：计算机表示法 B：图表示法
C：状态空间表示法 D：产生式规表示法
14：般讲列语言属工智语言
A：VB B：Pascal C：Logo D：Prolog
15：Prolog语言三种基语句：
A：序循环分支 B：陈述询问感叹
C：事实规询问 D：肯定疑问感叹
16：匹配两知识模式进行 较
A：相性 B：致性 C：性 D：类性
17：列程序运行结果
A：ellen B：john C：eric D：ellenjohneric
predicates
likes(symbolsymbol)
clauses
likes(ellenreading)
likes(johncomputers)
likes(johnswimming)
likes(leonardbadminton)
likes(ericswimming)
likes(ericreading)
goal
likes(Personreading)likes(Personswimming)
18：列Prolog程序运行结果：
A：xiaohua B：xiaoming C：xiaofang Dpingpong
predicates
likes(symbolsymbol)
friend(symbolsymbol)
clauses
likes(xiaofangswimming)
likes(xiaomingpingpong)
friend(Xxiaohua)likes(Xpingpong)
goal
friend(Xxiaohua)
19：列程序运行结果
A：bill
tammy
sue
B：tammy
joe
sue
C：bill
sue
joe
D：bill
joe
tammy
predicates
male(symbol)
female(symbol)
parent(symbolsymbol)
clauses
male(bill)
male(joe)
female(sue)
female(tammy)
parent(billjoe)
parent(suejoe)
parent(joetammy)
goal
parent(Parent_)
20：专家系统复杂智软件处理象符号表示知识处理程
程
A：思维 B：思考 C：推理 D：递推
21：进行专家系统开发通常采方法
A：逐步求精 B：实验法 C：原型法 D：递推法
22：专家系统开发程中专家系统工具般分专家系统 通专家系统工具两类
A：模型工具 B：外壳 C：知识库工具 D：专工具
23：专家系统 基础推理核心系统
A：专家 B：软件 C：知识 D：解决问题
24： 专家系统重特征
A：具某专家验 B：模拟类解决问题
C：专家 D：解决复杂问题
25：般专家系统包括 部分
A：4 B：2 C：8 D：6
26：类专家知识通常包括两类：
A：理科知识文科知识 B：书知识验知识
C：基础知识专业知识 D：理知识操作知识
27：确定性知识指 知识
A：精确表示 B：正确
C：学中学知识 D：够解决问题
28： 列关确定性知识描述错误
A：确定性知识精确表示
B：专家知识通常属确定性知识
C：确定性知识处理知识
D：确定性知识事实结关系简单
29：知识获取目类专家知识转换专家系统知识库中知识知识获取方法通常 种
A：2 B：3 C：4 D：5
30：专家系统推理机基方式
A：直接推理间接推理 B：正推理反推理
C：逻辑推理非逻辑推理 D：准确推理模糊推理
31：专家系统正推理 作出发点定策略应知识库中知识推断出结程
A：需解决问题 B：已知事实
C：证明结 D：表示目标谓词命题
32列关精确推理程叙述错误
A：精确推理程确定事实出发
B：精确推理程终够推出确定结
C：精确推理程运确定知识
D：精确推理程终推出确定性结
33：列属专家系统解释功作
A：户说明什结 B：户说明结
C：提高专家系统信赖程度 D：户说明专家系统知识结构
34：重排九宫问题状态树中（图）选项中全分支节点
A：B2C2D2E2 B：B4C2D3D8
C：B3C5D7E7 D：C6D1E5E14
35：重排九宫问题中启发函数H（x）+D（x）中D（x）表示
A：节点x目标状态位置棋子数 B：节点x目标状态位置相棋子数
C：节点x子节点数 D：节点x层数
36：农夫带匹狼羊棵白菜河（河北岸南岸）果没农夫狼吃羊羊吃白菜船够农夫带样东西河01表示狼羊白菜分运南岸状态0表示南岸1表示南岸（：100表示狼运南岸）初始时南岸状态000表示狼羊白菜没运南岸终状态111表示狼羊白菜运南岸状态空间农夫找出河方法狼羊白菜南岸出现序列
A：000010100101111 B：000010001101111
C：000100110111 D：000001011111
37：图迷宫S0入口Sg出口入口作初始节点出口作目标节点通道作分支画出入口S0出发寻找出口Sg状态树根深度优先搜索方法搜索路径
A：s0s4s5s6s9sg B：s0s4s1s2s3s6s9sg
C：s0s4s1s2s3s5s6s8s9sg D：s0s4s7s5s6s9sg
38：井字棋弈中假设甲乙双方采博弈策略启发函数：
摆棋子增加分机会摆子：1分
摆棋子减少方取胜机会摆子：1分
摆棋子增加分机会减少方分机会：2分
列弈中● 代表甲方×代表乙方乙方2分步骤
●
×
●
A：
乙方摆棋
●
×
×
●
●
×
●
乙方摆棋
B：
●
×
×
●
●
●
×
×
×
●
●
乙方摆棋
C：
●
×
●
●
×
×
●
乙方摆棋
D：
39：工智发展历程划分
A：诞生期成长期 B：形成期发展期
C：初期中期 D：初级阶段高级阶段
40：国学者吴文俊院士工智 领域作出贡献
A：机器证明 B：模式识 C：工神网络 D：智代理
二 判断题
1广度优先搜索方法原理：树根节点开始树中层层查找找目标节点时搜索结束（ ）
2工智重分支Pattern Recognition中文名称模式识研究视觉听觉识（ ）
3工智研究先驱者认智表现学知识运知识知识智基础学者专门知识集规集附加程组成知识库开发出许专家系统（英文缩写ES）领域获成功（ ）
4知识框架表示法中框架干称槽结构组成样结构拥干侧面（ ）
5知识规表示法中产生式基形式P<>Q（ ）
6工智语言Prolog语言（ ）
7知识获取方法手动获取知识动获取知识两种方法（ ）
8反推理已知事实作出发点定策略运知识库中知识推断出结程（ ）
9知识工程属工智科学范畴（ ）
10框架表示法马文明斯基首创（ ）
三 简答题：
1：什机机器会踢足球？试分析机器会踢足球必须具力
2：知识格式化形式表示Prolog语言表示知识
学校4活动社团：舞蹈队戏剧社体操队义工团曹毅参加戏剧社刘中参加义工团张萍参加体操队义工团张萍朋友
参考答案
选择题
1 B 2D 3C 4C 5C 6B 7B 8A 9D 10D
11B 12D 13A 14D 15C 16B 17C 18B 19C 20C
21C 22B 23C 24B 25D 26B 27A 28C 29B 30B
31B 32B 33D 34B 35D 36B 37C 38D 39B 40A
二 判断题
1 2 34 5错 6错 7错 8错 9 10
三 简答题
1：
（1）机器具类似类某力机器会踢足球
（2）机器踢足球应具力：
够感觉足球位置处位置
够根感觉信息分析判断
够根判断作出快速反应做出踢球射门等动作
2：参考答案
（1） 专家系统名称设置：交通工具识
（2） 谓词设置：
含义
谓词
交通工具
jiaotong_is
类
it_is
事实
positive
（3） 知识库设置：
it_is(动力车)positive(动力源)
it_is(力车)positive(动力源)
jiaotong_is(电动车)it_is(动力车)positive(耗电)
jiaotong_is(摩托车)it_is(动力车)positive(耗汽油)
jiaotong_is(行车)it_is(力车)
说明：专家系统谓词设置必须知识库中规中谓词相匹配
文档香网(httpswwwxiangdangnet)户传
《香当网》用户分享的内容，不代表《香当网》观点或立场，请自行判断内容的真实性和可靠性！
该内容是文档的文本内容，更好的格式请下载文档
