13本四班-人工智能复习提纲

复习提纲:
第二章:
1.一个表的表头和表尾的求法;
2.Prolog程序的基本构成部分:给出几个部分,能够通过添加补充成一个完整的可运行的程序;
3. Prolog程序的基本运行过程;
4. Prolog程序的中关于循环控制的实现方法: 读程序,写出程序结果.
第三章:
1.搜索算法中,OPEN表和CLOSE表的作用;
2.掌握画出问题的状态空间搜索图(不断扩展节点的方法),并给出解路径.
3.按和代价法及最大代价法求解树的代价.
第五章:
1.文字,互补文字;纯文字;
2.子句,求一个命题逻辑公式的子句集,求一个谓词逻辑的子句集,求一个命题(有前提和结论)的子句集;
3.求一个公式在一个替换下的例;求两个公式之间的所有差异集;求一个公式集的最一般合一.
4.判断一个子句集是否不可满足;
5.命题逻辑中的归结原理; 谓词逻辑中的归结原理,有归结原理进行推理.
6.Horn子句归结方法;
7.课本后面所有的习题.
第六章:
1.产生式系统的三个组成部分;
2.推理机的正向推理基本过程;
3.产生式系统常推理方法;
4.产生式系统常用的产生式规则冲突消解策略.
第七章:
知识表示: 1.常见事物之间8种关系的语义网络表示方法;
2.用语义网络表示命题.(习题七:4,5题)
一、填空题
1、文字P（X）与文字互补。

2、产生式系统由产生式规则库、动态数据库和三部分组成。

3、已知表：[[a,b],[c],[d,e]]，则表头是：，表尾是：
4、设谓词公式：G= ∃x∀y∀z (P(x,y,z)∧⌝Q(x,y,z))，则G的子句集为：
5、命题“不是每个计算机系的学生都喜欢计算机程序设计语言”，用谓词公式表达为：
6、公式G=P(x,y,z),θ={a/x,b/y,f(c)/z}是一个替换,则G在θ下的例为:
7、设S={P(x,y,z), p(x,f(a),h(b))}，则S的所有差异集为：
8、产生式系统由产生式规则库、推理机和三部分组成。

9、表[[a,b],[c],[d,e]]的表尾为：
10、谓词公式G=（P∨Q）∧（P→R）∧（Q→S）的子句集为：
11、在状态图搜索算法中，数据结构OPEN表的作用是：
12、子句集{p(x)∨ Q(x,y) ∨R(x), ⌝p(a) ∨Q(u,v), ⌝Q(b,z), ⌝P(w)}中，文字是一个纯文字。

13、有以下程序：
p(b).
p(a).
q(b).
r(X):-p(X),q(X),!.
则对于目标：r(Y). Y的解为：Y=
二、把以下命题用语义网络表达出来:
(1) 高老师7月给计算机系学生讲《计算机网络》课。

(2) 红队与蓝队进行足球比赛，最后以3：2的比分结束。

(3) 王老师6月给网络工程系学生讲《操作系统》课程。

(4) 下列语句请用一个语义网络表示:
（1）树和草都是植物；
（2）树和草都是有根有叶的；
（3）水草是草，且长在水中.
三、判断解答题（每小题6分，共12分）
1.判断下列谓词公式集是否为可合一，若可合一，则求出其最一般合一：
S={ P(f(x), f(b)), P(x,y) }
2.判断下列子句集是否是不可满足的，给出判断过程：
S= { P∨Q , ¬P∨Q, P∨¬Q,¬P∨¬Q }
四、证明题
1．用归结原理证明R是P，（P∧Q）→R，（S∨U）→Q，U的逻辑结果。

2．试用Horn子句归结法，证明P(a,c)是子句集{(1),(2),(3),(4)}的逻辑结论.
(1)P(x,z)←P1(x,y),P2(y,z)
(2)P1(u,v) ←P11(u,v)
(3)P11(a,b) ←
(4)P2(b,c) ←
(5) ←P(a,c)
3.计算机科学系要招聘一名教师，有A，B，C三人前来应聘，经面试后，计算机系表示如下想法：
①如果录用B，则一定录用C；
②如果录用A而不录用B，则一定录用C；
③三人中至少录用一人。

请分别利用以下方法证明：C一定被录用。

（1）利用归结原理证明；（9分）
（2）利用Horn子句归结法证明。

（9分）
4.假设张被盗，公安局派出5个人去调查。

案情分析时，侦察员A说：“赵与钱中至少有一个人作案”，侦察员B说：“钱与孙中至少有一个人作案”，侦察员C说：“孙与李中至少有一个人作案”，侦察员D 说：“赵与孙中至少有一个人与此案无关”，侦察员E说：“钱与李中至少有一个人与此案无关”。

如果这5个侦察员的话都是可信的，使用归结演绎推理求出谁是盗窃犯。

五、程序分析题（每小题6分，共12分）。

1、写出下面Prolog程序的输出结果：
predicates
city(integer,symbol)
print_city
clauses
city(1,"Guangzhou").
city(2,"Shanghai").
city(3,"Beijing").
city(4,"Nanjing").
print_city:-city(N,X),write(X), nl, N=3.
print_city.
goal
print_city.
程序输出结果为：
2、写出下面Prolog程序的输出结果：
predicates
city(integer,symbol)
print_city
clauses
city(1,"Guangzhou").
city(2,"Shanghai").
city(3,"Beijing").
city(4,"Nanjing").
print_city:-city(N,X),write(X), nl, fail.
print_city.
goal
print_city.
程序输出结果为：
3.给出以下目标、事实和规则，请补充成一个完整的可运行的Prolog语言程序：程序的目标是： friend(john,Y).
事实：likes(bell,sports).
likes(mary,music).
likes(mary,sports).
likes(jane,smith).
规则：friend(john,X):- likes(X,sports),likes(X,music).
friend(john,X):- likes(X,reading),likes(X,music).
4.写出下面Prolog程序的输出结果：
domains
num=integer
s=symbol
predicates
name(s,num)
result
clauses
name ("bell",1).
name ("jane",2).
name ("smith",3).
name ("mary",4).
result:- name (X,Num),write(X), nl, Num=3.
result.
goal
result.
程序输出结果为：
六、综合应用题
1．设有三个电源开关一字排开，电源开关的特点是，若第一次按下时它为“开”，则第二次按下时它就变成了“关”。

设三个电源开关初始状态为“关、开、关”，问连按三次后是否出现“开、开、开”或“关、关、关”的状态？要求每次必须按下一个开关，而且只能按一个开关。

请画出状态空间图。

2．下图是5个城市的交通图，城市之间的连线旁边的数字是城市之间路程的费用。

要求从A城出发，经过其它各城市一次且仅一次，最后回到A城，请画出状态空间搜索图，并找出一条最优线路。

3.设有如图的与或树，请分别按和代价法及最大代价法求解树的代价。

t1
t2。