(?y)(? L(Zhang, y)→L(Wang, y))
(5) 把已知事实、规则和目标化成推理所需要的形式
事实已经是文字的合取形式：
f1: A(Zhang)∧A(Wang)∧A(Li) f2: L (Zhang , Rain)∧L(Zhang , Snow) 将规则转化为后件为单文字的形式：
r1: A(x)∧?S(x)→C(x)) r2: ?L(x, Rain)→C(x) r3: ?L(x, Snow)→? S(x) r4: L(Zhang, y)→? L(Wang ,y) r5: ? L(Zhang, y)→L(Wang , y)
将目标公式转换为与/或形式
? A(x)∨(C(x)∧? S(x))
(6) 进行逆向推理
逆向推理的关键是要能够推出L(Zhang , Rain)∧L(Zhang , Snow)，其逆向演绎过程如下图所示。
? A(x)∨(C(x)∧? S(x)) ? A(x) C(x) r2 ?L(x, Rain) {Wang/x, ?L(Wang, y) r4 L(Zhang, y) {Rain/yL(Zhang, Rain) {Snow/yL(Zhang, Snow) r4 L(Zhang, y) {Wang /x, ?L(Wang, y) r3?L(x, Snow) C(x)∧? S(x) ? S(x) 1. 智能 智能是一种认识客观事物和运用知识解决问题的综合能力。 1. 什么叫知识？ 知识是人们在改造客观世界的实践中积累起来的认识和经验
2. 确定性推理 指推理所使用的知识和推出的结论都是可以精确表示的，其真值要么为真、要么为假。 3. 推理 推理是指按照某种策略从已知事实出发利用知识推出所需结论的过程。
4. 不确定性推理 指推理所使用的知识和推出的结论可以是不确定的。所谓不确定性是对非精确性、模糊
型和非完备性的统称。
5. 人工智能 人工智能就是用人工的方法在机器（计算机）上实现的智能，或称机器智能
6. 搜索 是指为了达到某一目标，不断寻找推理线路，以引导和控制推理，使问题得以解决的过程。 7. 规划 是指从某个特定问题状态出发，寻找并建立一个操作序列，直到求得目标状态为止的一个行动过
程的描述。
8. 机器感知 就是要让计算机具有类似于人的感知能力，如视觉、听觉、触觉、嗅觉、味觉 9. 模式识别 是指让计算机能够对给定的事务进行鉴别，并把它归入与其相同或相似的模式中。
10. 机器行为 就是让计算机能够具有像人那样地行动和表达能力，如走、跑、拿、说、唱、写画等。 11. 知识表示 是对知识的描述，即用一组符号把知识编码成计算机可以接受的某种结构。 12. 事实 是断言一个语言变量的值或断言多个语言变量之间关系的陈述句 13. 综合数据库 存放求解问题的各种当前信息 14. 规则库 用于存放与求解问题有关的所有规则的集合 15. 人工智能有哪些应用？
16. 人工智能的研究目标 远期目标:揭示人类智能的根本机理，用智能机器去模拟、延伸和扩展人类的智
能涉及到脑科学、认知科学、计算机科学、系统科学、控制论等多种学科，并依赖于它们的共同发展 近期目标:研究如何使现有的计算机更聪明，即使它能够运用知识去处理问题，能够模拟人类的智能行为。 17. 智能包含哪些能力？ 感知能力 记忆和思维能力 学习和自适应能力 行为能力 18. 知识有哪几种表示方法？一阶谓词逻辑表示法 产生式表示法 语义网络表示法
框架表示法 过程表示法
19. 演绎推理与归纳推理的区别
演绎推理是在已知领域内的一般性知识的前提下，通过演绎求解一个具体问题或者证明一个结论的正确性。它所得出的结论实际上早已蕴含在一般性知识的前提中，演绎推理只不过是将已有事实揭露出来，因此它不能增殖新知识。 归纳推理所推出的结论是没有包含在前提内容中的。这种由个别事物或现象推出一般性知识的过程，是增殖新知识的过程。 20. 子句集的化简的步骤
（1） （2） （3） （4） （5） （6） （7） （8） （9）
消去连接词“→”和“?” 减少否定符号的辖域 对变元标准化 化为前束范式 消去存在量词 化为Skolem标准形 消去全称量词 消去合取词 更换变量名称
21. 鲁滨逊归结原理基本思想
首先把欲证明问题的结论否定，并加入子句集，得到一个扩充的子句集S'。然后设法检验子句集S'是否含有空子句，若含有空子句，则表明S'是不可满足的；若不含有空子句，则继续使用归结法，在子句集中选择合适的子句进行归结，直至导出空子句或不能继续归结为止。 22. 全局择优搜索A算法描述：
(1)把初始节点S0放入Open表中，f(S0)=g(S0)+h(S0)； (2)如果Open表为空，则问题无解 ，失败退出；
(3)把Open表的第一个节点取出放入Closed表，并记该节点为n； (4)考察节点n是否为目标节点。若是，则找到了问题的解，成功退出； (5)若节点n不可扩展，则转第(2)步；
(6)扩展节点n，生成其子节点ni(i=1, 2, …)，计算每一个子节点的估价值f(ni)(i=1, 2, …)，并为每一个子节点设置指向父节点的指针，然后将这些子节点放入Open表中；
(7)根据各节点的估价函数值，对Open表中的全部节点按从小到大的顺序重新进行排序； (8)转第(2)步。
23. 命题逻辑的归结法与谓词逻辑的归结法的不同之处是什么？
答：谓词逻辑比命题逻辑更复杂，由于谓词逻辑中的变量受到量词的约束，在归结之前需要对变量进行重命名即变量标准化，而在命题逻辑中的归结则不需要。 24. 产生式系统的推理过程
(1) 初始化综合数据库，即把欲解决问题的已知事实送入综合数据库中； (2) 检查规则库中是否有未使用过的规则，若无转 (7)；
(3) 检查规则库的未使用规则中是否有其前提可与综合数据库中已知事实相匹配的规则，若有，形成当前可用规则集；否则转(6)；
(4) 按照冲突消解策略，从当前可用规则集中选择一个规则执行，并对该规则作上标记。把执行该规则后所得到的结论作为新的事实放入综合数据库；如果该规则的结论是一些操作，则执行这些操作；
(5) 检查综合数据库中是否包含了该问题的解，若已包含，说明解已求出，问题求解过程结束；否则，转(2)；
(6) 当规则库中还有未使用规则，但均不能与综合数据库中的已有事实相匹配时，要求用户进一步提供关于该问题的已知事实，若能提供，则转(2)；否则，执行下一步；
(7) 若知识库中不再有未使用规则，也说明该问题无解，终止问题求解过程。
25. 图4-32是5个城市的交通图，城市之间的连线旁边的数字是城市之间路程的费用。要求从A城出发，
经过其它各城市一次且仅一次，最后回到A城，请找出一条最优线路。 解：这个问题又称为旅行商问题（travelling salesman problem, TSP）或货郎担问题，是一个较有普遍性的实际应用问题。根据数学理论，对n个城市的旅行商问题，其封闭路径的排列总数为：
(n!)/n=(n-1)!
其计算量相当大。例如，当n=20时，要穷举其所有路径，即使用一个每秒一亿次的计算机来算也需要350年的时间。因此，对这类问题只能用搜索的方法来解决。
下图是对图4-32按最小代价搜索所得到的搜索树，树中的节点为城市名称，节点边上的数字为该节点的代价g。其计算公式为
g(ni+1)=g(ni)+c(ni, ni+1)
其中，c(ni,ni+1)为节点ni到ni+1节点的边代价。
3 8 C 18 8 B 10 12 6 D 22
16 E 10 C 2 8 3 B 10 D 5 12 6
8 E 10 2 A 0 9 11 D 9 12 3
9 18 E 6 B 17 E 11 8 9 C 19
20 D
B 21 C 12
8 8 8 12 3 6 9 12 8 6 8 12 6 8 9 3 8 9 23 29 22 16 19 20 20 C 25 D B 32 C C 25 E 31 16 B E D D B E
22
21 26 24 25 14 26 B 24 27 17 D 20 27 C D B E C E C E B D 8 8 9 9 12 12 3 6 6 8 6 6 12 9 8 9 3 3 31 27 28 31 26 33 26 31 E E D D B E B B D 28
34 32 B 30 23 20 C E D 27 C 28 E D 35 B E 28
可以看出，其最短路经是 A-C-D-E-B-A 或
2 30 A
10 A 30
3 9
图4.32的最小代价搜索树
A-B-E-D-C-A 其实，它们是同一条路经。
26. 设有如图4-34的与/或/树，请分别按和代价法及最大代价法求解树的代价。
5 B 7 D 2 t1
2 E 3 t2
A 6 C 2 t3 1 t4 图4.34 习题4.14的与/或树
解：若按和代价法，则该解树的代价为： h(A)=2+3+2+5+2+1+6=21 若按最大代价法，则该解树的代价为：
h(A)=max{h(B)+5, h(C)+6} = max{(h(E)+2)+5, h(C)+6} = max{(max(2, 3)+2)+5, max(2, 1)+6}
=max((5+5, 2+6)=10
5. 判断下列子句集中哪些是不可满足的：
(1) {?P∨Q, ?Q, P, ?P}
(2) { P∨Q , ?P∨Q, P∨?Q, ?P∨?Q } (3) { P(y)∨Q(y) , ?P(f(x))∨R(a)}
(4) {?P(x)∨Q(x) , ?P(y)∨R(y), P(a), S(a), ?S(z)∨?R(z)} (5) {?P(x)∨Q(f(x),a) , ?P(h(y))∨Q(f(h(y)), a)∨?P(z)} (6) {P(x)∨Q(x)∨R(x) , ?P(y)∨R(y), ?Q(a), ?R(b)}
解：(1) 不可满足，其归结过程为：
(2) 不可满足，其归结过程为：
(3) 不是不可满足的，原因是不能由它导出空子句。
?P∨Q ?Q ?P P NIL P∨Q ?P∨Q P∨?Q ?Q ?P∨?Q Q NIL (4) 不可满足，其归结过程
?P(y)vR(y){a/y}R(a){a/z}?S(a)S(a)?S(z)vR(z)P(a)NIL (5) 不是不可满足的，原因是不能由它导出空子句。 (6) 不可满足，其归结过程
P(x)vQ(x)vR(x){a/x}P(a)vR(a){a/y}?Q(a)?P(y)vR(y)R(a){a/b}NIL27. 设有如下语句，请用相应的谓词公式分别把他们表示出来：
?R(b) (1) 有的人喜欢梅花，有的人喜欢菊花，有的人既喜欢梅花又喜欢菊花 。 解：定义谓词 P(x)：x是人 L(x,y)：x喜欢y
其中，y的个体域是{梅花，菊花}。
将知识用谓词表示为：
(?x )(P(x)→L(x, 梅花)∨L(x, 菊花)∨L(x, 梅花)∧L(x, 菊花)) (2) 有人每天下午都去打篮球。 解：定义谓词 P(x)：x是人 B(x)：x打篮球 A(y)：y是下午 将知识用谓词表示为： (?x )(?y) (A(y)→B(x)∧P(x))
(3) 新型计算机速度又快，存储容量又大。 解：定义谓词
NC(x)：x是新型计算机 F(x)：x速度快 B(x)：x容量大 将知识用谓词表示为： (?x) (NC(x)→F(x)∧B(x))
(4) 不是每个计算机系的学生都喜欢在计算机上编程序。 解：定义谓词