2021年人工智能复习新版题库.doc

一、 填空：
1. 人工智能研究途径有 心理模仿 、生理模仿 和行为模仿。
2. 任意列举人工智能四个应用性领域难题求解 、定理证明 、智能控制 、机器翻译 。
3. 人工智能基本技术涉及搜索技术、推理技术、知识表达和知识库技术归纳技术、联想技术。
4. 谓词逻辑是一种表达能力很强形式语言，其真值特点和命题逻辑区别是（10）。
5. 谓词逻辑中，重言式（tautlogy）值是 真 。
6. 设P是谓词公式，对于P任何论域，存在P为真状况，则称P为永真式。
7. 在知名医疗专家系统MYCIN中规定，若证据A可信度CF（A）=0，则意味着 无关，CF（A）=-1，则意味着假，CF（A）=1，则意味着真。
8. 谓词公式G是不可满足，当且仅当对所有解释G都为假。
9. 谓词公式与其子句集关系是 包括。
10. 运用归结原理证明定理时，若得到归结式为 空集，则结论成立。
11. 若C1=┐P∨Q，C2=P∨┐Q，则C1和C2归结式R（C1，C2）= ┐P∨P或┐Q∨Q。
12. 若C1=P(x) ∨Q(x)，C2=┐P(a) ∨R(y)，则C1和C2归结式R（C1，C2）= （20）Q（a）∨R（y）
13. 有谓词公式G，置换δ，则G·ε= （21） ，δ·ε= （22） 。
14. 有子句集S=｛P(x),P(y)｝，其MGU= {y/x} 。
15. 在归结原理中，几种常用归结方略并且具备完备性是 删除方略 支持集方略 线性归结方略
16. 状态图启发式搜索算法特点是 （27）。
17. 广度优先搜索算法中，OPEN表数据构造实际是一种 二叉树，深度优先搜索算法中，OPEN表数据构造实际是一种单链表 。
18. 产生式系统有三某些构成 综合数据库， 知识库和推理机。其中推理可分为 正向推理和反向推理。
19. 专家系统构造包括人机界面、知识库 ， 推理机 ， 动态数据库 ， 知识库答理系统 和解释模块。
20. 在MYCIN推理中，对证据可信度CF（A）、CF（A1）、CF（A2）之间，规定如下关系：CF（~A）= ~CF（A） ，CF（A1∧A2 ）= min{CF（A1），CF（A2）} ，CF（A1∨A2 ）= max{CF（A1），CF（A2）} 。
21. 开发专家系统所要解决基本问题有三个，那就是知识获取、知识表达和知识运用，知识表达办法重要有 逻辑表达法（谓词表达法） ， 框架， 产生式和语义网络等，在语义网络表达知识时，所使用推理办法有 AKO 和 ISA
22. MYCIN系统中使用不拟定推理，规则A→B由专家指定其可信度CF（B，A），若A真支持B真，则指定CF（B，A）（与零比较）应 （47） ；若A真不支持B真，则指定CF（B，A）应 （48） 。
23. 机器学习含义是 指机器面对自行为修正或性能改进和机器对客观规律和发展 。
24. 自然语言理解不但涉及计算机能对的理解人们用自然语言输入信息，能对的回答输入信息中关于问题，并且还涉及 语法分析 、 语用分析 、语句分析 。
25. 设U={a,b,c,d}，A={a,b}，B={a,b,c}，m(A)=0.6，m(U)=0.4，U其他子集基本概率分派函数m值均为0，则Bel(A)= （53） ，Bel(B)= （54） 。
26. 证据理论中集合A信任区间为[1，1]，则其语意解释为 （55） 。
27. 人工智能三大学派是符号主义、联结主义、行为主义
28. 化成子句形式为： 。
29. 从已知事实出发，通过规则库求得结论产生式系统推理方式是 正向推理
30. AI英文缩写是 Artifical Inteligence
31. 在谓词公式中，紧接于量词之后被量词作用谓词公式称为该量词辖域 ，而在一种量词辖域中与该量词指引变元相似变元称为 约束变元 ，其她变元称为 自由变元
32. 假言推理（A®B）ÙAÞ B ，假言三段论（A®B）Ù（B®C）Þ A®C
33. 几种惯用归结方略： 删除方略 、支持集方略、线形归结方略、输入归结方略、单元归结方略
34. 在诸如走迷宫、下棋、八数码游戏等游戏中，惯用到一种人工智能核心技术称为 图搜索 技术，解此类问题时，常把在迷宫位置、棋布局、八数码所排成形势用图来表，这种图称为 状态空间图（或状态图）
35. 在启发式搜索当中，通惯用 启发函数 来表达启发性信息。。
36. 在二人博弈问题中，最惯用一种分析技术是 极大极小分析法 ，这种办法思想是先生成一棵博弈树，然后再计算其倒推值。但它效率较低，因而人们在此基本上，又提出了 a-b剪枝技术
37. 某产生式系统中一条规则：A（x）®B（x），则前件是 A（x） ，后件是 B（x）
38. 在框架和语义网络两种知识表达办法中， 框架 适合于表达构造性强知识，而 语义网络 则适合表达某些复杂关系和联系知识。 面向对象 不但仅是一种知识表达办法，也是一种流行软件设计和开发技术。
39. 不拟定性类型按性质分：　　随机性，模糊性，不完全性，不一致性　。
40. 在删除方略归结过程中删除如下子句：具有　纯文字　　子句;具有　　永真式 子句;子句集中被别子句 类含　　子句。对证据可信度CF（A）、CF（A1）、CF（A2）之间，规定如下关系：CF（~A）=　-CF(A)　、CF（A1∧A2 ）=　 min{CF(A1),CF(A2)}　　、CF（A1∨A2 ）=　max{CF(A1),CF(A2)}
41. 合一算法：求非空有限具备相似谓词名原子公式集　　最普通合一　　　　　　　
42. 产生式系统推理过程中，从可触发规则中选取一种规则来执行，被执行规则称为　　　被触发规则　　　。
43. P(B|A) 表达在规则A→B　中，证据A为真作用下结论B为真　概率　　。
44. 惯用二种盲目搜索办法是_随机碰撞式搜索__和___完全式搜索______；引入启发式知识来指引OPEN表中节点排序可划分为二种方式__全局择优搜索 和___局部择优搜索。
45. 产生式系统推理可以分为__正向推理___和_反向推理________两种基本方式。
46. 知识表达性能应从如下二个方面评价：_________和_________；后者又分二个方面_________和 _________。
47. 人工智能体现形式至少有________、________、________、________和________几种。
48. 当前所用知识表达形式有____框架 语义网络 面向对象_等。
49. 框架系统特性继承功能可通过组合应用槽三个侧面来灵活实现，它们是_________、_________和_________。
50. 产生式系统是由___综合数据库 知识库___和_推理机________三某些构成.
51. _________就是所考察判断事物或对象集合，记为____。它子集构成_________。
52. 证据理论是典型概率论一种扩充形式，构成这一理论函数有__基本概念全分函数_、_信任函数____和___似真函数______。
53. 对于模糊不拟定性，普通采用___模糊集合____或__模糊逻辑_____来刻划。
54. 归结法中，可以通过----修改证明树-----办法得到问题解答。
55. 从已知事实出发，通过规则库求得结论产生式系统推理方式是 正向推理
56. 人工智能远期目的是 制造智能机器，　，近期目的是　　　实现机器智能　。
57. 运用归结原理证明定理时，若得到归结式为 空集 ，则结论成立。
58. 在启发式搜索当中，通惯用 启发函数 来表达启发性信息。
二、选取题
选取题：（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
D. PÚQ
7,8.AÙ（AÚB）ÛA 称为（ C ），~（AÙB）Û~AÚ~B称为（D ）
A. 结合律 B.分派律 C.吸取律 D.摩根律
9,10.如果问题存在最优解，则下面几种搜索算法中，（ A ）必然可以得到该最优解，（ D）可以以为是“智能限度相对比较高”算法。
A. 广度优先搜索
B. 深度优先搜索
C. 有界深度优先搜索
D. 启发式搜索
11.产生式系统推理不涉及（D ）
A. 正向推理
B. 逆向推理
C. 双向推理
D. 简朴推理
12.下列哪某些不是专家系统构成某些（　A ）
A. 顾客
B. 综合数据库
C. 推理机
D. 知识库
13. 要想让机器具备智能，必要让机器具备知识。因而，在人工智能中有一种研究领域，重要研究计算机如何自动获取知识和技能，实现自我完善，这门研究分支学科叫（B ）。
A. 专家系统
B. 机器学习
C. 神经网络
D. 模式辨认！
14、AI英文缩写是B
A)Automatic Intelligence B)Artifical Intelligence
C)Automatice Information D)Artifical Information
15、反演归结（消解）证明定理时，若当前归结式是（C ）时，则定理得证。
A)永真式 B)包孕式（subsumed） C)空子句
16、从已知事实出发，通过规则库求得结论产生式系统推理方式是（ A）
A)正向推理 B)反向推理 C)双向推理
17、语义网络表达知识时，有向弧AKO 链、ISA 链是用来表达节点知识（C ）。
A)无悖性 B)可扩充性 C)继承性
18、(A→B)∧A => B是C
A)附加律　 B)拒收律　 C)假言推理　 D)US
19、命题是可以判断真假D
A)祈使句　 B)疑问句　 C)感叹句　 D)陈述句
20、仅个体变元被量化谓词称为 A
A)一阶谓词　 B)原子公式　 C)二阶谓词　 D)全称量词
21、MGU是A
A)最普通合一　 B)最普通替代　 C)最普通谓词　 D)基替代
22、1997年５月，知名“人机大战”，最后计算机以3.5比2.5总比分将世界国际象棋棋王卡斯帕罗夫击败，这台计算机被称为（A ）
A）深蓝 B）IBM C）深思 D）蓝天
23、下列不在人工智能系统知识包括4个要素中D
A)事实　 B)规则　 C)控制和元知识　 D)关系
24、谓词逻辑下，子句，C1=L∨C1‘，C2= ¬ L∨C2‘, 若σ是互补文字（最普通）合一置换，则其归结式C=（ A ）
A) C1’σ∨C2’σ　 B)C1’∨C2’　 C)C1’σ∧C2’σ　 D)C1’ ∧C2’
25、或图普通称为D
A）框架网络 B)语义图 C)博亦图 D)状态图
26、不属于人工智能学派是B
A)符号主义 B)机会主义 C)行为主义 D)连接主义。
27、人工智能是一门D
A)数学和生理学 B)心理学和生理学 C)语言学
D)综合性交叉学科和边沿学科 D
28、下列不在人工智能系统知识包括4个要素中D
A) 事实　　 B) 规则　　 C) 控制　　 D) 关系
29、当前归结式是（C）时，则定理得证。
A) 永真式 B 包孕式（subsumed） C) 空子句
30、或图普通称为D
A）框架网络 B)语义图 C)博亦图 D)状态图
31、所谓不拟定性推理就是从( B )初始证据出发，通过运用( )知识，最后推出具备一定限度不拟定性但却是合理或者近乎合理结论思维过程。
A)不拟定性，不拟定性 B)拟定性，拟定性
C)拟定性，不拟定性 D) 不拟定性 拟定性
32、C(B|A) 表达在规则A->B中，证据A为真作用下结论B为真B
A)可信度 B)信度 C)信任增长度 D)概率
33. 谓词逻辑下，子句，C1=L∨C1‘，C2= ¬ L∨C2‘, 若σ是互补文字（最普通）合一置换，则其归结式C=（ A ）
A) C1’σ∨C2’σ　 B)C1’∨C2’　 C)C1’σ∧C2’σ　 D)C1’ ∧C2’
二、 简答题
1.将下列自然语言转化为谓词表达形式：
(1) 所有人都是要呼吸。
(2) 每个学生都要参加考试。
(3) 任何整数或是正或是负。
解：设 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.何谓“图灵实验”？简朴描述之
答：所谓“图灵实验”，是为了判断一台机器与否具备智能实验。实验由三个封闭房间构成，分别放置主持人、参加人和机器。主持人向参加人和机器提问，通过提问成果来判断谁是人，谁是机器。如果主持人无法判断谁是人，谁是机器，则这台机器具备智能，即所谓“智能机器”。
3.写出图中树结点两个访问序列，规定分别满足如下两个搜索方略：
5
1
4
2
3
6
7
8
9
10
11
12
13
(1) 深度优先搜索
(2) 广度优先搜索

解：（１）深度优先搜索：
１－２－５－６－１０－１１－３－７－１２－１３－４－８－９
（２）广度优先搜索：
１－２－３－４－５－６－７－８－９－１０－１１－１２－１３－１４
4.试实现一种“大学教师”框架，大学教师类属于教师，涉及如下属性：学历（学士、研究生、博士）、专业（计算机、电子、自动化、……）、职称（助教、讲师、副专家、专家）
解：框架名：<大学教师>
类属：<教师>
学历：(学士、研究生、博士)
专业：（计算机、电子、自动化、…..）
职称：（助教、讲师、副专家、专家）
5.用谓词逻辑形式化下列描述
“不存在最大整数”
解：定义谓词G(x)：x为整数
D(x,y)：x不不大于y
形式化为：

或者
6.用语义网络表达“苹果”知识。
7. 什么是产生式？产生式规则语义是什么？
答：产生式规则基本形式：P→Q 或者 IF P THEN Q
P 是产生式前提（前件），用于指出该产生式与否可用条件
Q 是一组结论或操作（后件），用于指出当前提 P 所批示条件满足时，应当得出结论或应当执行操作
产生式规则语义：如果前提P被满足，则可推出结论 Q 或执行 Q 所规定操作
8. 谓词公式G通过８个环节所得子句集合S，称为G子句集。请写出这些环节。答：(1）消去蕴含式和等价式→，<-> (2）缩小否定词作用范畴，直到其作用于原子公式：(3）恰当改名，使量词间不含同名指引变元和约束变元。(4.）消去存在量词（形成Skolem原则型） (5）消去所有全称量词(6) 化成合取范式(7).恰当改名，使子句间无同名变元( 8). 消去合取词∧，用逗号代替，以子句为元素构成一种集合S
9. （1）已知S={P(f(x),y,g(y)),P(f(x),z,g(x))}，求MGU
（2）已知W={P(f(x,g(A,y)),z),P(f(x,z),z)}，求MGU
解：（1）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｝
（2）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｝
10.（1） 证明G与否是F逻辑结论；

证:①P(x) ．．．从F变换
②Q(a)∨Q(x) ．．．从F变换
③┓P(y)∨┓Q(y) ．．．结论否定
④┓Q(x) ．．．①③归结,{x/y}
⑤□ ．．．②④归结,置换{a/x}
得证。

（2）证明G与否是F1、F2逻辑结论；

证:①┓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｝
⑧□ ．．．⑥⑦归结
得证.

11. 1、用语义网络表达下列信息：
(1)胡途是思源公司经理，她35岁，住在飞天胡同68号

(3) 清华大学与北京大学进行蓝球比赛，最后以89：102比分结束。

（3）将命题：“某个学生读过三国演义”分别用谓词公式和语义网络表达

答：谓词公式表达：
$x(student(x)∧read(x,三国演义))
语义网络表达如图：

（4）把语句“每个学生都喜欢教师上一门课。”表达为语义网络。
（5）请把下列命题表达事实用一种语义网络表达出来。
1)树和草都是植物；
2)树和草都是有根有叶；
3)水草是草，且长在水中；
4)果树是树，且会成果；
5)樱桃树是一种果树，它结樱桃。
（6）用语义网络表达下列事实
姚明是一位年近半百男教师，中档身材，她在本年第二学期给计算机专业学生讲授“人工智能”课程。该课程是一门选修课，比较难。

13. 图示博弈树，其中末一行数字为假设估值，请运用α-β剪枝技术剪去不必要分枝。（在节点及边上直接加注释）

14. 设有如下关系：（1）如果x是y爸爸，y又是z爸爸，则x是z祖父；
（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祖父，即老李是小李祖父。
15解释下列模糊性知识：
1) 张三，体型，（胖，0.9））。
2) (患者，症状，(头疼，0.95) )∧ (患者，症状，(发热，1.1) ) →(患者，疾病，(感冒，1.2) )
答：（1）表达：命题“张三比较胖” （2）解释为：如果患者有些头疼并且发高烧，则她患了重感冒。
16. 简朴阐述产生式系统构成。
答：（1）产生式规则库：描述相应领域知识产生式规则集
（2）数据库：（事实集合）存储问题求解过程中当前信息数据构造（初始事实、外部数据库输入事实、中间成果事实和最后成果事实）
（3）推理机：（控制系统）是一种程序，控制协调规则库与数据库运营，包括推理方式和控制方略。

17. 试用线性消解方略证明：子句集S={ P∨Q，﹁P∨R，﹁Q∨R，﹁R }是可消解。
18广度优先搜索与深度优先搜索各有什么特点？
19.语义网络可以表达事物之间哪些关系？

20.假设已知下列事实：
（1）超市（Supermarket）卖（Sail）商品(Goods)便宜(Cheap)。
（2）王（Wang）买（Buy）需要（Want）便宜商品。
（3）自行车（Bicycle）是商品且超市卖自行车。
（4）王需要自行车。
（5）赵（Zhao）跟随王买同样商品。
请应用归结反演证明办法回答如下问题：
（1）王买自行车吗？
（2）赵买什么商品？
21.已知一种使用可信度办法推理网络如图所示，其证据可信度均标示在图中。推理规则可信度分别为：A∧B→H，0.7 C∨D→H，0.9 E→H，0.3
试按照可信度办法求解环节计算每个证据节点对假设H推理可信度，并据此推算所有证据（复合证据）对于H推理可信度。

22. 求子句R(x，y)∨﹁Q(B，y)∨W(x，f(y)) 和R(x，C)∨Q(y，C) 归结式。
23. 何谓估价函数？启发式图搜索A算法和A*算法最明显区别是什么？
24. 什么是置换？置换是可互换吗？
答：通惯用有序对集合s＝{t1/v1，t2/v2，…，tn/vn}来表达任一置换，置换集元素ti/vi含义是表达式中变量vi处处以项ti来替代，用s对表达式E作置换后例简记为Es。
普通来说，置换是不可互换，即两个置换合成成果与置换使用顺序关于。
25. 给1～9九个数字排一种序列，使得该序列前n(n=1,...,9) 个数字构成整数能被n整除。
　　(1)、讨论哪些知识可以协助该问题求解。
　　(2)、用产生式系统描述该问题.
答；如下知识可以协助求解该问题：
（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整除
26. .α－β剪枝条件是什么？
答：α剪枝：若任一极小值层节点β值不大于或等于它任一先辈极大值节点α值，即α（先辈层）≥β（后继层），则可中断该极小值层中这个MIN节点如下搜索过程。这个MIN节点最后倒推值就拟定为这个β值。
β剪枝：若任一极大值层节点α值不不大于或等于它任一先辈极小值层节点β值，即α（后继层）≥β（先辈层），则可以中断该极大值层中这个MAX节点如下搜索过程。这个MAX节点最后倒推值就拟定为这个α值。
28、人工智能重要有哪几种研究途径和技术办法，简朴阐明之。
答：（１）符号智能：重要以符号知识为基本，通过符号推理进行问题求解而实现智能，重要涉及知识工程和符号解决技术；
（２）计算智能：是以数据计算为基本，通过数值计算进行问题求解而实现智能，涉及人工神经网络，进化计算，模糊技术等。

三、 1、（1）将下列谓词公式化成子句集

答：

（2）把下列谓词公式分别化成相应子句集："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(～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.若谓词公式E=P(x,f(y),z),置换s1=｛f(x,y)/z,z/w｝，s2=｛a/x,b/y,w/z｝，求E（s1·s2），E（s2·s1）。
A
B
E
D
C
4
5
3
2
3
4
3.用加权图启发式搜索算法（不能用Dijkstra算法）求解下列问题：下图是一种交通图，设A是出发地，E是目地，边上数字表达两都市之间交通费。求从A到E最小费用旅行路线，画出搜索树，画出Closed表和Open表变化过程。

4.用原则逻辑（典型逻辑，谓词逻辑）子句集表达下述刑侦知识，并用反演归解线性方略证明结论
现定义如下谓词（其项变量X，Y，Z，皆为全称量词）。
Thief(X)-----某人X是贼；
Likes(X,Y)------某人X喜欢某物Y；
May-steal(X,Y)------某人X也许会盗窃某物Y。
5.用子句集表达下述刑侦知识：
I. John是贼。
II. Paul喜欢酒（wine）
III. Paul( 也)喜欢奶酪（cheese）
IV. 如果Paul喜欢某物则John 也喜欢某物。
V. 如果某人是贼，并且她喜欢某物，则她就也许会盗窃该物。
6.求证结论:John也许会盗窃了什么？即求证目的：may-steal(John,Z)，Z=?（规定将求证目的作为顶子句，按线性方略进行归结推理，注明每次求归结式所进行置换及其父子句编号）
7.（1）已知一组规则和证据（事实）：
R1：A1→B1,CF（B1，A1）=0.8
R2：A2→B1,CF（B1，A2）=0.5
R3：B1∧A3->B2，CF（B2，B1∧A3）=0.8
初始证据A1，A2，A3，并且CF(A1)=CF(A2)=CF(A3)=1，并且初始时对B1，B2一无所知。依照Shortliffe拟定性理论（可信度办法），求证据B1，B2可信度在执行规则R1，R2，R3后更新值CF(B1),CF(B2)。
（2）已知有如下不拟定推理规则：
r1：C11∨C12 Þ H1 0.7；
r2：H1 Þ H 0.5；
r3：C21∧C22 Þ H －0.6；
r4：(C31∧C32)∨C33 Þ H 0.8；
CF(C11) = 0.8， CF(C12) = 0.9，CF(C21) = 0.3，CF(C22) = 0.6，
CF(C31) = 0.9，CF(C32) = 0.5，CF(C33) =0.7；
请应用MYCIN拟定性办法求出CF(H)。
8.设有A，B，C三人中有人从不说真话，也有人从不说假话，某人向这三人分别提出同一种问题：谁是说谎者？A 答：“B和C都是说谎者”；B答：“A和C都是说谎者”；C答：“A和B中至少有一种是说谎者”。求谁是诚实人，谁是说谎者？（15分）
解：设用Ｔ(x)表达x说真话。
　　如果Ａ说是真话，则有

　　如果Ａ说是假话，则有：

　　对Ｂ和Ｃ说话作相似解决，可得：

　　把上面这些公式化成子句集，得到Ｓ：

　　下面一方面求谁是诚实人。把并入Ｓ得到。即比Ｓ多如下一种子句：

　　应用消解原理对Ｓ１进行消解：

　　因此，Ｃ是诚实人，即Ｃ从不说假话
　　除此之外，无论如何对进行消解，都推不出ANSWER(B)和ANSWER(A)。
　　下面来证明Ａ和Ｂ不是诚实人。
　　设Ａ不是诚实人，则有把它否定并入Ｓ中，得到子句集，即比Ｓ多如下一种子句：

　　应用消解原理对Ｓ2进行消解：

　　因此，Ａ不是诚实人。
　　同理，可以证明Ｂ也不是诚实人。

9. 1）设已知:
(1)能阅读者是识字;
(2)海豚不识字;
(3)有些海豚是聪颖;
求证:有些聪颖者并不能阅读.
证:定义如下命题:
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归结
得证.

2）运用谓词逻辑表达下列知识（涉及已知和结论），然后化成子句集：
（1）凡是清洁东西就有人喜欢；
（2）人们都不喜欢苍蝇
求证：苍蝇是不清洁。
证：现定义如下谓词
L(x,y)------某人x喜欢某物y；
P(y)------ 某物y是清洁东西
(1) yx(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}
得证。

10. 八数码游戏，初始棋局和目的棋局如图，定义启发函数h（x）表达某状态下与目的数码不同位置个数，用全局择优法画出搜索过程。
初始状态：，目的状态：

解：

11. 张某被盗，公安局派了五个侦察员去调查。研究案情时，侦察员Ａ说：“赵与钱中至少有一人作案”；侦察员Ｄ说：“钱与孙至少有一人作案”；侦察员Ｃ说：“孙与李中至少有一种作案”；侦察员Ｄ说“赵与孙至少一种与案无关”；侦察员Ｅ说“钱与李中至少有一人与此案无关”。如果这五个侦察员话都是可信，试用消解原理推理求出谁是盗窃犯。
解：设用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进行消解可得答案：钱和孙是作案者。

12. 某公司欲招聘一种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
另有一社会招聘人员乙，参加工作三年，曾做过数据库管理员和数据库开发人员
依照拟定性理论，问该公司应当招聘谁？如果你是该本科生，为了能在招聘中胜出，你应当加强哪门课程，并使该门课程成绩至少达到多少？
解：（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（工作两年以上